unreleased

add owi instrument to instrument Webassembly module annotated by Weasel specification language
add --srac option to sym and conc cmd
add --rac option to run, sym and conc cmd
add --output option to wat2wasm, wasm2wat and opt cmd
Change free prototype to now return a pointer on which tracking is deactivated
add --emit-file option to wasm2wat to emit .wat files
adds flags --fail-on-trap-only and fail-on-assertion-only
parameterize the Thread module on the symbolic memory and the Choice_monad module on a Thread
adds a owi_char function to create char symbolic value
adds a Mem argument to external function to allow direct manipulation of the memory.
add owi c --e-acsl to instrument the program by Frama-C's E-ACSL plugin before subsequent steps
support other solvers through the --solver option (Z3, Colibri2, Bitwuzla and CVC5)
support the extended constant expressions proposal
owi opt and owi sym can run on .wasm files directly
remove dependency on wabt
better API for Parse, Compile and Simplified (renamed to Binary), added a Binary_to_text module
add owi conc subcommands and owi c --concolic: concolic mode
start benchmarking against test-comp
fix handling of select and call_indirect in the text format
add owi wat2wasm subcommand
add a no-assert-failure-expression-printing flag to owi c, owi sym and owi conc

0.2 - 2024-04-24

use a subcommand system for the owi binary
add owi c, owi fmt, owi opt, owi sym, owi validate and owi wasm2wat subcommands
add a fuzzer
add a profiling mode
make spectec print stuff for real