zv / z3-modeLinks
An interactive development environment for SMT-LIB files and Z3
☆25Updated 2 years ago
Alternatives and similar repositories for z3-mode
Users that are interested in z3-mode are comparing it to the libraries listed below
Sorting:
- ☆37Updated 3 weeks ago
- Abstracting Definitional Interpreters☆68Updated 7 years ago
- Tools for interacting with Boogie☆47Updated 2 months ago
- Reference sheet for the Coq language.☆15Updated 4 years ago
- An Emacs major mode to edit and run SMTLIB v2 files☆9Updated 9 years ago
- Guile with tracing JIT VM.☆15Updated 8 years ago
- Emacs support for F*☆70Updated 2 months ago
- A LaTeX package for formatting meta-theory.☆46Updated 4 years ago
- A prototype of soft contract verification for an untyped functional language☆35Updated 4 years ago
- ☆55Updated 2 months ago
- ☆22Updated 9 years ago
- A symbolic debugger for C/C++ (via LLVM), machine code, and JVM programs☆18Updated 4 years ago
- Semantic model for aspects of ELF static linking and DWARF debug information☆44Updated 5 months ago
- A formalization of bitset operations in Coq and the corresponding axiomatization and extraction to OCaml native integers [maintainer=@ant…☆23Updated last month
- A formalization of properties of a simple imperative, memory-safe language.☆19Updated 3 years ago
- Metacompiler library supporting incremental transformation based on reference attribute grammar controlled rewriting.☆31Updated last week
- Program analysis grad seminar at SU (2019)☆57Updated 5 years ago
- Optimizing Abstract Abstract Machines☆31Updated 8 years ago
- Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine☆26Updated 4 years ago
- SML Parser Combinator Library☆28Updated 9 years ago
- Common Lisp package providing an SMT object supporting SMT-LIB communication over input and output streams☆19Updated 3 years ago
- A Gallina compiler with C++17 as an intermediate representation☆43Updated 4 years ago
- My Own Linear Lisp☆40Updated 6 years ago
- Linux kernel library functions formally verified.☆52Updated 4 years ago
- Lecture material for DeepSpec Summer School 2018☆68Updated 6 years ago
- Generic implementation of different CFA families based on monadic decomposition☆21Updated 12 years ago
- GoNative project: formal machines models in Coq☆36Updated 7 years ago
- Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2018☆23Updated 7 years ago
- racket llvm C-API bindings☆17Updated 5 months ago
- Generation of mutant programs☆20Updated 6 years ago