model-checking / kani-vscode-extensionLinks
Kani VSCode Extension
☆19Updated this week
Alternatives and similar repositories for kani-vscode-extension
Users that are interested in kani-vscode-extension are comparing it to the libraries listed below
Sorting:
- A high-level API for interacting with SMT solvers.☆32Updated last week
- Arbitrary width integers☆22Updated 4 months ago
- A fast, brute force, automatic theorem prover for first order logic☆42Updated last year
- We have Crater At Home☆36Updated last year
- Easy SMT solver interaction☆34Updated 4 months ago
- Example implementation of stack tokens for Rust☆33Updated 3 years ago
- Propositional logic with types in Rust☆64Updated 2 years ago
- Cargo dephell analyzes the third-party dependencies of a Rust workspace☆48Updated 2 years ago
- A C expression parser and evaluator☆49Updated 2 years ago
- A radioactive stabilization of the ptr_meta RFC.☆35Updated 2 months ago
- Serializer and Deserializer adapters that avoid stack overflows by dynamically growing the stack☆35Updated 3 weeks ago
- Experimental JIT compiler generator☆28Updated last year
- A newtype with alignment of at least `A` bytes☆32Updated this week
- Reverse engineering framework.☆36Updated 3 years ago
- A simple macro to create correct opaque pointers☆21Updated 4 years ago
- Zero overhead tracing garbage collection for rust (WIP)☆50Updated last year
- ☆45Updated 3 years ago
- Elementary Number Theory for Integers in Rust☆19Updated 9 months ago
- watt-based inline procedural macros☆14Updated 5 years ago
- Target "triple" support☆53Updated 3 months ago
- A Rust implementation of interval arithmetic (IEEE 1788)☆44Updated 10 months ago
- Efficient sampling with uniform probability☆31Updated 3 years ago
- Rust port of C++ llvm::APFloat library☆17Updated last week
- Rust crate for runtime x86 assembler template generation☆20Updated 6 years ago
- Experimenting with Rust's fundamental data model☆55Updated 2 months ago
- A simple library to use Rust's type system to handle endianness.☆16Updated 2 months ago
- Port of https://github.com/plasma-umass/Mesh to Rust☆16Updated 2 years ago
- Support for requesting objects from other objects dynamically based on type☆11Updated 5 years ago
- A generic library to interact with SMT-LIB 2 compliant solvers running in a separate system process, such as Z3 and CVC4.☆67Updated last year
- Sruth Lùbach: A toy optimization engine☆23Updated 4 years ago