uw-unsat / jitsynthLinks
☆18Updated 5 years ago
Alternatives and similar repositories for jitsynth
Users that are interested in jitsynth are comparing it to the libraries listed below
Sorting:
- egraph on top of sqlite☆13Updated 3 years ago
- Semantic model for aspects of ELF static linking and DWARF debug information☆51Updated 6 months ago
- Easy SMT solver interaction☆34Updated 6 months ago
- Implementing Halide's TRS inside of EGG☆34Updated 3 years ago
- Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine☆29Updated 4 years ago
- library learning w egraphs☆24Updated 2 years ago
- Formal semantics of LLVM IR in K☆46Updated 7 years ago
- Cyclic theorem prover for equalitional reasoning using egraphs☆27Updated 2 years ago
- easter egg is a flexible, high-performance e-graph library with support of multiple additional assumptions at once☆13Updated 10 months ago
- Dynamic analysis of multithreaded C programs☆13Updated 5 years ago
- ☆38Updated last week
- benchmarking e-graph extraction☆49Updated last week
- vertical + gpu + free join + datalog☆21Updated 11 months ago
- Fuzz testing for Dafny☆13Updated 3 years ago
- ☆43Updated 7 months ago
- Interpreter and compiler for the ISA specification language "Architecture Specification Language" (ASL)☆25Updated 4 months ago
- Verification of BPF JIT compilers☆58Updated 2 years ago
- sketches for egg: a flexible, high-performance e-graph library☆30Updated 4 months ago
- A formally verified bug finder☆14Updated last year
- llvm opt fuzzer and bounded exhaustive test generator☆47Updated 3 years ago
- Pull your compiler up with abstract bootstraps.☆31Updated 3 years ago
- Racket Equivalence Graph Library☆19Updated 3 years ago
- ☆15Updated 5 years ago
- ICRA: a static analyzer based on interprocedural compositional recurrence analysis☆11Updated 5 years ago
- SWORD: A Whole Program Race Detector for Java☆13Updated 5 years ago
- A Rust hashconsing library.☆38Updated last year
- ☆16Updated 4 years ago
- KORE to llvm translation☆41Updated 3 months ago
- LLVM support for the lean theorem prover☆53Updated 4 years ago
- Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2018☆23Updated 7 years ago