kaist-plrg / concrat
Concurrent-C to Rust Automatic Translator
☆12Updated last year
Related projects: ⓘ
- ☆19Updated 5 months ago
- SLOT: SMT-LLVM Optimizing Translation☆27Updated last year
- Verifying the Rust standard library☆17Updated last week
- ☆11Updated this week
- ☆14Updated last year
- Apron Numerical Abstract Domain Library☆102Updated last month
- Solver for Constrained Horn Clauses☆34Updated this week
- ☆14Updated last year
- A tool for testing SMT solvers for incompleteness bugs☆15Updated last year
- Memento: A Framework for Detectable Recoverability in Persistent Memory (PLDI 2023)☆15Updated last year
- ☆54Updated 3 months ago
- A delta debugger for SMT benchmarks in SMT-LIB v2.☆49Updated 4 months ago
- ANTLR SMT-LIB v2 Grammar☆21Updated 2 years ago
- Symbolic-execution-based verifier for the Viper intermediate verification language.☆78Updated this week
- Deductive verification infrastructure for probabilistic programs☆13Updated 3 weeks ago
- ☆30Updated 3 weeks ago
- ☆44Updated last week
- ☆19Updated 10 months ago
- A tool for synthesis of Rust code, very early prototype☆13Updated 8 months ago
- A framework for testing compilers' type checkers☆17Updated this week
- Rust Analysis Platform☆26Updated last week
- A language for symbolic transitions system, inspired by Ivy.☆64Updated 5 months ago
- ☆11Updated 3 months ago
- Definition of the Viper intermediate verification language.☆78Updated last week
- ☆11Updated last month
- ☆25Updated 3 months ago
- A translation validation framework for MLIR☆71Updated last year
- Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not…☆40Updated 3 years ago
- TriCera: a model checker for C programs☆17Updated this week
- A compiler from TIP to llvm bitcode☆61Updated last week