Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / davidmazarro/wasm-verify issues and pull requests
#3 - Add new flag to `wasm-verify` to support dumping of SMT to files
Issue -
State: open - Opened by DavidMazarro over 1 year ago
Labels: good first issue, app
#2 - Add support for deferred error reporting in VerifiWASM monad
Issue -
State: open - Opened by DavidMazarro over 1 year ago
- 1 comment
Labels: error reporting
#1 - Add property-based test(s) to check the CFG simplification function
Issue -
State: open - Opened by DavidMazarro over 1 year ago
Labels: testing