uwplse / memsynthLinks
An advanced automated reasoning tool for memory consistency model specifications.
☆25Updated 4 years ago
Alternatives and similar repositories for memsynth
Users that are interested in memsynth are comparing it to the libraries listed below
Sorting:
- A SAT solver implementation in VHDL, team tussle☆21Updated 9 years ago
- ☆19Updated 11 years ago
- Liveness-driven random C code generator☆42Updated 5 months ago
- ☆90Updated 3 years ago
- A synthesis-enabled solver for relational logic☆29Updated 7 years ago
- Formal semantics of LLVM IR in K☆45Updated 10 years ago
- ☆19Updated 8 years ago
- Rigel is a language for describing image processing hardware embedded in Lua. Rigel can compile to Verilog hardware designs for Xilinx FP…☆56Updated 5 years ago
- Fuzz testing for Dafny☆13Updated 3 years ago
- soap - Structural Optimisation of Arithmetic Programs☆24Updated 9 years ago
- A tool for reversible computation in C++ based on incremental state saving.☆22Updated 5 years ago
- The Cubicle model checker☆14Updated 3 months ago
- Formal semantics of LLVM IR in K☆46Updated 7 years ago
- Symbolic execution engine for toy language.☆51Updated 7 years ago
- An executable specification of the RISCV ISA in L3.☆42Updated 6 years ago
- A standard for floating point accuracy benchmarks☆55Updated last month
- LVC verified compiler☆60Updated 7 years ago
- Linux kernel library functions formally verified.☆52Updated last month
- llvm opt fuzzer and bounded exhaustive test generator☆47Updated 3 years ago
- Build an educational formally verified version of the Nand 2 Tetris course using Coq (and other formal tools).☆58Updated 4 years ago
- A model checker based on SAT solving and induction☆15Updated 10 years ago
- Parser for the llvm bitcode format☆60Updated 3 weeks ago
- A LaTeX package for proof carrying papers☆24Updated 9 years ago
- Notes for CIS 700 (Fall '19) at Syracuse U.☆13Updated 6 years ago
- ☆52Updated 9 years ago
- A tool for testing C compilers automatically☆21Updated 9 years ago
- The Delphin Project☆10Updated 9 years ago
- Automatic inference of a formal specification of the x86_64 instruction set☆71Updated 9 years ago
- Superoptimizer using the z3 SMT solver☆17Updated 2 months ago
- firrtlator is a FIRRTL C++ library☆23Updated 9 years ago