ptal / AbSolute
Constraint solver based on abstract interpretation
☆10Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for AbSolute
- Testing and benchmarking tool for logic-related programs.☆25Updated 2 months ago
- Faithful reimplementation of Minisat 2.2 in OCaml.☆37Updated last year
- Software construction and deployment kit☆33Updated last week
- OCaml uncaught exception analyser☆12Updated 12 years ago
- Inspection of internal value representations and the object graph☆33Updated 8 years ago
- The MemCAD static analyzer☆25Updated 3 years ago
- A Deductive Verification Tool for OCaml Programs☆60Updated 4 months ago
- An ocaml implementation of conflict-driven reasoning☆15Updated 6 years ago
- Bigstring intrinsics and fast blits based on memcpy/memmove☆37Updated 4 months ago
- The Squirrel Prover repository. An interactive prover for the formal verification of security protocols.☆50Updated 2 months ago
- OCaml parsers for multiple key formats☆15Updated 3 months ago
- Optimized Patricia trie with disk storage☆31Updated 5 years ago
- Provides functions to invoke amd64 instructions (such as clz,popcnt,rdtsc,rdpmc) when available, or compatible software implementation on…☆29Updated last week
- Coq Enhancement Proposals☆49Updated 2 weeks ago
- A not-quite-so-simple Binary Decision Diagrams implementation for OCaml☆36Updated 2 years ago
- ☆16Updated 5 years ago
- An overlay for the OCaml Z3 binding.☆35Updated 2 years ago
- OCaml hash-consing library☆51Updated 9 months ago
- Efficient binder representation in OCaml☆39Updated 4 months ago
- A symbolic analyser for shell scripts.☆22Updated 3 years ago
- Library for writing IRC bots in OCaml, a collection of plugins, and a dramatic robotic actor.☆28Updated 10 months ago
- Small example MirageOS unikernels.☆15Updated 5 years ago
- OCamlPro public development repository for Alt-Ergo☆132Updated last week
- An OCaml library providing a C parser and lexer☆40Updated 2 weeks ago
- Coq library for tactics, basic definitions, sets, maps☆42Updated last week
- ☆50Updated 3 years ago
- OCaml bit vector library☆32Updated 3 weeks ago
- Efficient Bloom filters for OCaml☆36Updated 2 years ago
- Concurrency property fuzzing tool for Lwt-based OCaml programs☆28Updated 3 years ago
- A formalization of a Proof-of-Stake Nakamoto-style blockchain in Coq☆25Updated 3 years ago