sumith1896 / tusSATLinks
A SAT solver implementation in VHDL, team tussle
☆21Updated 9 years ago
Alternatives and similar repositories for tusSAT
Users that are interested in tusSAT are comparing it to the libraries listed below
Sorting:
- An advanced automated reasoning tool for memory consistency model specifications.☆25Updated 4 years ago
- Liveness-driven random C code generator☆42Updated 5 months ago
- custom type systems for Clang☆96Updated 10 years ago
- A research platform and active library for generalised SAT solving☆33Updated 7 months ago
- A minimalistic and high-performance SAT solver☆29Updated 2 years ago
- Source code for the equivalence checker presented in the PLDI 2019 paper, "Semantic Program Alignment for Equivalence Checking"☆44Updated 5 years ago
- llvm opt fuzzer and bounded exhaustive test generator☆47Updated 3 years ago
- Automatic inference of a formal specification of the x86_64 instruction set☆71Updated 9 years ago
- ☆19Updated 11 years ago
- ☆52Updated 9 years ago
- SAT instance generator for SHA-1☆49Updated 4 years ago
- GNU Superoptimizer Version 2☆26Updated 4 years ago
- A set of tools for visualizing and inspecting LLVM bitcode modules☆31Updated 11 years ago
- extensible interpreter for LLVM dynamic analyses☆45Updated 12 years ago
- manipulate LLVM IR files☆32Updated 10 years ago
- Solving floating point SMT constraints on a GPU☆50Updated 5 years ago
- There is a new version of dReal, available at https://github.com/dreal/dreal4☆50Updated 4 years ago
- The GNU Superoptimizer☆27Updated 11 years ago
- ☆91Updated 3 years ago
- An executable specification of the RISCV ISA in L3.☆42Updated 6 years ago
- ☆31Updated 3 months ago
- "CF3" is a C compiler test suite targeting arithmetic optimization.☆37Updated 8 years ago
- CCG is a random C Code Generator☆43Updated 3 years ago
- A model checker based on SAT solving and induction☆15Updated 10 years ago
- Formal semantics of LLVM IR in K☆45Updated 10 years ago
- SWORD: A Whole Program Race Detector for Java☆13Updated 4 years ago
- Test and benchmark repository for Z3.☆28Updated this week
- Static Analyzer and Verifier☆51Updated last year
- A fast and certifying solver for quantified Boolean formulas.☆26Updated 8 months ago
- The LTSmin model checking toolset☆60Updated last year