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 last month
- An Emacs major mode to edit and run SMTLIB v2 files☆9Updated 9 years ago
- Tools for interacting with Boogie☆47Updated 3 months ago
- Metacompiler library supporting incremental transformation based on reference attribute grammar controlled rewriting.☆31Updated 3 weeks ago
- Offline partial evaluation system for Prolog written using the cogen approach☆19Updated 8 years ago
- My Own Linear Lisp☆40Updated 6 years ago
- Supplementary files for SSFT 2015 summer school☆11Updated 5 years ago
- ☆55Updated 2 months ago
- A clone of DrRacket-style Unicode symbol input for Emacs☆16Updated 2 years ago
- Abstracting Definitional Interpreters☆68Updated 7 years ago
- Linux kernel library functions formally verified.☆52Updated 4 years ago
- Gallina to Bedrock2 compilation toolkit☆56Updated last week
- Common Lisp package providing an SMT object supporting SMT-LIB communication over input and output streams☆19Updated 3 years ago
- #lang for writing C code☆15Updated 8 years ago
- Reference sheet for the Coq language.☆15Updated 4 years ago
- Lecture material for DeepSpec Summer School 2018☆68Updated 6 years ago
- Emacs support for F*☆70Updated 2 months ago
- ☆58Updated 11 years ago
- Formal semantics of LLVM IR in K☆46Updated 7 years ago
- Racket bindings for Z3☆20Updated 12 years ago
- Notes for CIS 700 (Fall '19) at Syracuse U.☆13Updated 5 years ago
- Racket bindings for Z3☆24Updated 6 years ago
- A prototype of soft contract verification for an untyped functional language☆35Updated 4 years ago
- racket llvm C-API bindings☆17Updated 6 months ago
- Optimizing Abstract Abstract Machines☆31Updated 8 years ago
- "Toy" SMT Solver for Educational Purposes☆20Updated 12 years ago
- Verification-condition-generation-based verifier for the Viper intermediate verification language.☆30Updated last week
- Isabelle LLVM Code Generator and Refinement☆28Updated 3 months ago
- ☆43Updated last month
- Emacs mode for Lean☆69Updated 2 years ago