joewhaley / bddbddbLinks
☆11Updated 9 years ago
Alternatives and similar repositories for bddbddb
Users that are interested in bddbddb are comparing it to the libraries listed below
Sorting:
- Datalog + Egg = Good☆66Updated 2 years ago
- Datalog engine with extensions for integrating analyses☆39Updated 8 years ago
- A rust crate for boolean expressions (expression trees, decision diagrams, etc.)☆36Updated 3 weeks ago
- An attribute grammar-based programming language for composable language extensions☆68Updated last month
- Implementation of "Warren's Abstract Machine: A Tutorial Reconstruction" by Hassan Aït-Kaci.☆29Updated 8 years ago
- Symbolic formula representation and solver interaction library☆174Updated this week
- Slog 1.0☆46Updated last year
- Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.☆80Updated last week
- Incremental Program Analysis Framework☆94Updated 4 years ago
- SWORD: A Whole Program Race Detector for Java☆13Updated 5 years ago
- The Daedalus data description language☆87Updated this week
- Electrum is a temporal extension to Alloy. Alloy is a language for describing structures and a tool for exploring them. It has been used …☆49Updated 3 years ago
- An overview of property-based testing functionality☆81Updated 2 months ago
- The axiom profiler for exploring and visualizing SMT solver quantifier instantiations (made via E-matching).☆32Updated 11 months ago
- A tool for testing C compilers automatically☆21Updated 10 years ago
- A synthesis-enabled solver for relational logic☆29Updated 7 years ago
- A script for running TLA+/TLC from the command line☆81Updated 4 years ago
- Attribute grammar Based Language Extensions for C☆42Updated 3 months ago
- Alloy with browser-based visualizations☆30Updated 4 years ago
- The Cubicle model checker☆14Updated 3 weeks ago
- Code for enumeration from a CFG☆20Updated 2 years ago
- Educational implementation of a subset of the JVM bytecode to illustrate imperative and object-oriented programming.☆58Updated last year
- Optimizing Synthesis with Metasketches, POPL 2016☆24Updated 9 years ago
- Synthesis of Heap-Manipulating Programs from Separation Logic☆128Updated 2 years ago
- Datalog with support for SMT queries and first-order functional programming☆165Updated last week
- CN separation logic refinement type system for C☆44Updated last week
- a Rust implementation of first-order term rewriting systems (TRS)☆28Updated 4 years ago
- Simple grammar-based test case generator☆39Updated last week
- Datalog that's as easy as ABC.☆67Updated 5 months ago
- Regionalized Value State Dependence Graph written in Rust☆11Updated 6 years ago