Btor2 parser, circuit mitter, and code optimizer
-
Updated
Jan 26, 2026 - Python
#
btor2
Here are 4 public repositories matching this topic...
A VIM plugin that adds support for the BTOR2 word-level model checking format
-
Updated
Jan 31, 2019 - Vim Script
One data structure, two orders of magnitude: hash-consing back-ported into selfie's C rotor generates models ~93x faster (139 s -> 1.5 s) with byte-identical output - evidence that the speed-up is the algorithm, not the language.
-
Updated
Jul 10, 2026 - C
Turn a RISC-V binary into a bit-precise BTOR2 model and let a model checker hunt bugs across every possible input - in ~0.1 s where the reference takes 139 s. Includes a browser-based witness visualizer and symbolic command-line arguments (working; design still being rethought). Equivalence with selfie's rotor: 36/36 paired verdicts.
rust symbolic-execution visualizer riscv model-checking selfie formal-verification bounded-model-checking btor2
-
Updated
Jul 10, 2026 - Rust
Improve this page
Add a description, image, and links to the btor2 topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the btor2 topic, visit your repo's landing page and select "manage topics."