Q*cert v2.2.0

jeromesimeon released this 21 May 17:48

· 47 commits to master since this release

Backend

Includes a new experimental WebAssembly (WASM) backend [Contribution by @pkel]

Build

Fixes for portability: Q*cert now compiles and is tested on Coq 8.11 through 8.15
Now uses Separate Extraction to OCaml code

Contributors

pkel

Assets 2