ptal / AbSolute
Constraint solver based on abstract interpretation
☆10Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for AbSolute
- An ocaml implementation of conflict-driven reasoning☆15Updated 6 years ago
- Faithful reimplementation of Minisat 2.2 in OCaml.☆37Updated last year
- Testing and benchmarking tool for logic-related programs.☆25Updated last month
- The MemCAD static analyzer☆25Updated 3 years ago
- A not-quite-so-simple Binary Decision Diagrams implementation for OCaml☆36Updated 2 years ago
- OCaml uncaught exception analyser☆12Updated 12 years ago
- Software construction and deployment kit☆33Updated 2 weeks ago
- Programming language based on the synchronous and constraint paradigms☆15Updated 4 years ago
- A Deductive Verification Tool for OCaml Programs☆60Updated 4 months ago
- A modular library for CDCL(T) SMT solvers, with [wip] proof generation.☆24Updated 10 months ago
- Inspection of internal value representations and the object graph☆33Updated 8 years ago
- Bigstring intrinsics and fast blits based on memcpy/memmove☆37Updated 3 months ago
- Formally verified Coq serialization library with support for extraction to OCaml☆23Updated last year
- ☆19Updated 7 years ago
- Kleene algebra modulo theories☆26Updated last year
- A user-extensible lint for POSIX shell☆11Updated 5 years ago
- Coq Enhancement Proposals☆45Updated this week
- Provides functions to invoke amd64 instructions (such as clz,popcnt,rdtsc,rdpmc) when available, or compatible software implementation on…☆29Updated this week
- OCaml bindings to Zstandard☆24Updated 2 months ago
- OCaml bit vector library☆32Updated 2 weeks ago
- OCaml code for generating and analysing pcap (packet capture) files☆21Updated last year
- Small example MirageOS unikernels.☆15Updated 5 years ago
- QUICr parametric abstract domain for sets☆12Updated 9 years ago
- Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction☆80Updated last month
- The Squirrel Prover repository. An interactive prover for the formal verification of security protocols.☆50Updated 2 months ago
- A library of splittable pseudo-random number generators for OCaml☆34Updated 7 months ago
- An OCaml library providing a C parser and lexer☆40Updated this week
- Bindings to the Tracy profiler.☆25Updated last week
- Interactive memory profiler based on Memtrace☆29Updated last month