SLUMPs superoptimization & randomization on muladd

ASSERT-KTH / slumps

Cool code analysis research for WebAssembly

https://kth.github.io/slumps/

66 stars 11 forks source link

Closed orestisfl closed 4 years ago

orestisfl commented 4 years ago

We should execute and upload the results of the superoptimization & randomization pipeline with https://raw.githubusercontent.com/kth-tcs/verificatum-vjsc/master/src/wasm/muladd.c

Jacarte commented 4 years ago

On it

monperrus commented 4 years ago

@Jacarte any news on this? Thanks!

monperrus commented 4 years ago

that's done