search

avanhatt / wasmtime

Standalone JIT-style runtime for WebAssembly, using Cranelift
https://wasmtime.dev/
Apache License 2.0
0 stars 1 forks source link

veri: add bvsaddo spec operation #75

Closed mmcloughlin closed 11 months ago

mmcloughlin commented 11 months ago

Adds the bvsaddo SMT-LIB operator.

This operator is due to be standardized in SMT-LIB 2.7, and is already supported in Z3.

https://groups.google.com/g/smt-lib/c/J4D99wT0aKI https://github.com/Z3Prover/z3/pull/6715