unison-code / unison
Unison's source code
☆107Updated last year
Alternatives and similar repositories for unison:
Users that are interested in unison are comparing it to the libraries listed below
- Synthesis of Heap-Manipulating Programs from Separation Logic☆126Updated last year
- ☆86Updated 2 years ago
- ☆89Updated 3 years ago
- microsat☆132Updated 2 years ago
- Parser for the llvm bitcode format☆60Updated this week
- A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.☆104Updated 6 months ago
- Alive: Automatic LLVM's Instcombine Verifier☆218Updated last year
- The Higher-Order Intermediate Representation☆154Updated 3 weeks ago
- ☆51Updated 8 years ago
- DEPRECATED. Soufflé is a translator of declarative Datalog programs into the C++ language.☆49Updated 7 years ago
- Semantic model for aspects of ELF static linking and DWARF debug information☆43Updated 3 months ago
- Lem semantic definition language☆137Updated last week
- This repository contains the Maude 2 interpreter source tree.☆43Updated 7 years ago
- A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point☆39Updated 2 weeks ago
- Datalog with support for SMT queries and first-order functional programming☆155Updated 4 months ago
- The LTSmin model checking toolset☆57Updated 4 months ago
- The VerCors verification toolset for verifying parallel and concurrent software☆70Updated this week
- The Yices SMT Solver☆392Updated 2 months ago
- Runtime support for LLVM's GC Statepoints☆42Updated 5 years ago
- A correct C89/C90/C99/C11/C18 parser written using Menhir and OCaml☆193Updated 9 months ago
- Definition of the Viper intermediate verification language.☆82Updated last week
- Semantics of x86-64 in K☆147Updated 5 years ago
- Coq library for verified low-level programming☆57Updated 7 years ago
- ☆50Updated last year
- LVC verified compiler☆57Updated 6 years ago
- A formal semantics of the RISC-V ISA in Haskell☆163Updated last year
- An awesome list of e-graph resources☆139Updated last month
- Some fun examples of solving problems with symbolic execution☆113Updated 6 years ago
- ☆27Updated 9 months ago
- A generic C++ API for SMT solving. It provides abstract classes which can be implemented by different SMT solvers.☆121Updated last week