owi

owi copied to clipboard

add a flag to print the solver statistics

9

fixes #184

epatrizio

Add dichotomic symbolic clz and ctz

9

This is supposedly SMT friendly, and keeps the bit-hacks for the concrete case.

krtab

redianthus

it is quite useful to debug

redianthus

make binary parser error messages spec compliant (see the diff in #251)

2

redianthus

add missing proposals

1

Some should be easy: - [X] extended const - [ ] multi memory - [ ] SIMD - [ ] memory64 Others are more involved: - [ ] exception -...

redianthus

Looking at the file extension is enough to know which one should be called (`.wasm` and `.wat` for `run` and `.wast` for `script`)

redianthus

redianthus

support binary format

1

we should be able to parse and print the binary format

redianthus

symbolic instruction error: extend_i32/64

2

symbolic_value: I32 and I64 modules ```ocaml (* FIXME: This is probably wrong? *) let extend_s n x = cvtop ty (ExtS (32 - n)) (make (Extract (x, n / 8,...

epatrizio