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 month
- A fast, brute force, automatic theorem prover for first order logic☆42Updated last year
- We have Crater At Home☆37Updated last year
- Propositional logic with types in Rust☆64Updated 2 years ago
- Rust port of C++ llvm::APFloat library☆20Updated last month
- Arbitrary width integers☆23Updated 5 months ago
- Where the work of WG-grammar, aiming to provide a canonical grammar for Rust, resides☆103Updated last year
- 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
- A newtype with alignment of at least `A` bytes☆33Updated 3 weeks ago
- Easy SMT solver interaction☆34Updated 5 months ago
- A radioactive stabilization of the ptr_meta RFC.☆39Updated 3 months ago
- Experimenting with Rust's fundamental data model☆57Updated 3 months ago
- Graph library for Rust☆27Updated 4 months ago
- Zero overhead tracing garbage collection for rust (WIP)☆50Updated last year
- Transport-polymorphic, asynchronous session types for Rust☆64Updated 3 years ago
- Serializer and Deserializer adapters that avoid stack overflows by dynamically growing the stack☆35Updated 3 weeks ago
- ☆46Updated 3 years ago
- ☆12Updated 3 weeks ago
- SPIR-🇹: shader-focused IR to target, transform and translate from 🦀☆28Updated 2 weeks ago
- A proc macro for real async traits, using nightly-only existential types and generic associated types to work around the need for type er…☆45Updated 3 years ago
- A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust☆102Updated 6 months ago
- Example implementation of stack tokens for Rust☆33Updated 3 years ago
- Crunchy unroller - deterministically unroll constant loops☆50Updated 6 months ago
- Prints various binary symbols in your crate☆14Updated 8 years ago
- Target "triple" support☆54Updated 3 weeks ago
- sptr: The Strict Provenance Polyfill☆75Updated 2 years ago
- A C expression parser and evaluator☆49Updated 2 years ago
- DWARF packaging utility, written in Rust, supporting GNU extension and DWARF 5 package formats.☆56Updated last month
- Experimental JIT compiler generator☆28Updated last year
- watt-based inline procedural macros☆14Updated 5 years ago