JonasAlaif / russol-alpha
A tool for synthesis of Rust code, very early prototype
☆13Updated 8 months ago
Related projects: ⓘ
- RustHorn: A CHC-based automated verifier for Rust☆71Updated 3 weeks ago
- A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust☆73Updated this week
- A generic library to interact with SMT-LIB 2 compliant solvers running in a separate system process, such as Z3 and CVC4.☆65Updated 6 months ago
- Interface with the rustc compiler for the purpose of program verification☆79Updated this week
- A verification toolchain for Rust programs☆181Updated last week
- Define compiler intermediate representation usable by external tools☆57Updated 3 months ago
- automatially find crashes in the rust compiler & tooling☆66Updated 5 months ago
- The axiom profiler for exploring and visualizing SMT solver quantifier instantiations (made via E-matching).☆15Updated last week
- UB-free and deterministic rustc fuzzer☆44Updated 2 months ago
- Rewrite Rule Inference Using Equality Saturation☆113Updated 3 months ago
- ☆129Updated 3 months ago
- A framework for large scale analysis of the Rust ecosystem.☆35Updated this week
- Verifying the Rust standard library☆17Updated last week
- ☆41Updated last month
- A high-level API for interacting with SMT solvers.☆18Updated last week
- RVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.☆273Updated 2 years ago
- A Rust hashconsing library.☆23Updated 2 months ago
- 🎶 Choreographic programming in Rust 🎶☆37Updated last week
- ☆31Updated last month
- Symbolic-execution-based verifier for the Viper intermediate verification language.☆78Updated this week
- A language for symbolic transitions system, inspired by Ivy.☆64Updated 5 months ago
- ☆48Updated last year
- Compiler optimizer for arbitrary control flow based on equality saturation☆83Updated 2 years ago
- Concurrent-C to Rust Automatic Translator☆12Updated last year
- Statically Enforce Privacy and Security Policies on Rust code using dataflow analysis enhanced by exploiting ownership types. You can sig…☆14Updated last week
- SAW front end for the MIR language from rustc☆35Updated 3 years ago
- Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rust☆22Updated 5 months ago
- Liquid Types implementation for Rust☆26Updated last year
- ☆22Updated 2 years ago
- ☆60Updated 6 months ago