Pinned Repositories
action
Cross-platform GitHub action
aws-viewer-for-cbmc
Scans the output of CBMC and produces a browsable summary of the results.
cbmc-proof-debugger
The CBMC proof debugger is a Visual Studio Code extension contributing a trace debugger for findings by CBMC.
jaisnan
Config files for my GitHub profile.
kani
Rust Model Checker
kani-github-action
This repository provides a GitHub Action for running the Kani Rust Verifier in CI.
kani-verifier-blog
blog posts
kani-vscode-extension
Kani VSCode Extension
rust-dev
Empowering everyone to build reliable and efficient software.
test-vscode-extension
A test crate to write some proofs in, for the purposes of testing the kani vscode extension
jaisnan's Repositories
jaisnan/rust-dev
Empowering everyone to build reliable and efficient software.
jaisnan/action
Cross-platform GitHub action
jaisnan/aws-viewer-for-cbmc
Scans the output of CBMC and produces a browsable summary of the results.
jaisnan/cbmc-proof-debugger
The CBMC proof debugger is a Visual Studio Code extension contributing a trace debugger for findings by CBMC.
jaisnan/jaisnan
Config files for my GitHub profile.
jaisnan/kani
Rust Model Checker
jaisnan/kani-github-action
This repository provides a GitHub Action for running the Kani Rust Verifier in CI.
jaisnan/kani-verifier-blog
blog posts
jaisnan/kani-vscode-extension
Kani VSCode Extension
jaisnan/test-vscode-extension
A test crate to write some proofs in, for the purposes of testing the kani vscode extension
jaisnan/this-week-in-rust
Data for this-week-in-rust.org
jaisnan/vscode-awesome-ux
Showcase of how to employ best practices to provide a high-fidelity user experience inside of VS Code extensions.
jaisnan/vscode-code-coverage
vscode extension to highlight lines not covered by unit tests
jaisnan/vscode-coverage-gutters
Display test coverage generated by lcov and xml - works with many languages