facebookarchive / smt2utils
Libraries and tools for the SMT-LIB-2 standard.
☆21Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for smt2utils
- A generic library to interact with SMT-LIB 2 compliant solvers running in a separate system process, such as Z3 and CVC4.☆65Updated 8 months ago
- ☆37Updated 3 months ago
- DRAT proof processor☆13Updated last year
- A high-level API for interacting with SMT solvers.☆23Updated 2 months ago
- SFI verifier of Wasm binaries☆81Updated last year
- A Prototype Formal Semantics of WebAssembly in K☆78Updated 3 weeks ago
- Ed25519 suitable for use in consensus-critical contexts.☆46Updated 3 months ago
- Comprehensive timing leak protection for Rust programs https://www.chosenplaintext.ca/open-source/rust-timing-shield/☆51Updated last year
- Easy-to-use grammar-based black-box fuzzer. Has found dozens of bugs in important targets like Clang, Deno, and rustc.☆67Updated this week
- Symbolic execution tool for Sail ISA specifications☆62Updated last month
- ☆14Updated 2 years ago
- Rust library for Intel TDX☆21Updated 3 months ago
- Easy SMT solver interaction☆24Updated last month
- The Eldarica model checker☆80Updated 3 weeks ago
- Abstractions for iterating and mapping over struct fields☆15Updated last week
- Interface with the rustc compiler for the purpose of program verification☆103Updated this week
- Obsolete☆13Updated last year
- CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives☆58Updated 4 months ago
- An API that can be used to expose an SMT-LIB compliant SMT solver to a developer tool written in Rust.☆36Updated 4 years ago
- wassail (WebAssembly static analyzer and inspection library) is a toolkit to perform both lightweight and heavyweight static analysis of …☆48Updated 9 months ago
- Exercises for the Dafny Tutorial☆10Updated 6 years ago
- Implementation of the IC3 / Property Directed Reachability algorithm using the the Z3 SMT solver.☆15Updated 8 years ago
- Synthesis of Loop-free Programs in Rust☆63Updated 4 years ago
- Rust refactoring templates for comby, the structural find-and-replace tool.☆33Updated 2 years ago
- the CheckMate protocol verification tool☆10Updated this week
- SAW front end for the MIR language from rustc☆36Updated 3 years ago
- An implementation of the DudeCT constant-time function tester☆21Updated last year
- toy implementation of bfv in rust☆26Updated 2 years ago
- A library for deadlock-free multiparty session-typed communication in Rust.☆26Updated 2 months ago