v0.0.214: [Wasm] Fix `compile_cnf()` for empty CNF.
·
19 commits
to main
since this release
c05d0fc
This commit was signed with the committer’s verified signature.
lucagretscher
Luca Gretscher
Solves issue #238 for the `WasmV8` backend. However, the issue remains open as the interpreter backend still crashes.