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
Add this topic to your repo
To associate your repository with the btor2 topic, visit your repo's landing page and select "manage topics."