Jaisurya Nanduri
Jaisurya Nanduri
We don't have a plugin in an IDE for Kani. The plugin would help improve usability and ease of access for Kani. **Next Steps**: - [x] Write down design doc...
### Description of changes: Kani contains the harness metadata in a JSON file but it is only read temporarily before being deleted. The only way to retain this information was...
Requested feature: Call Kani over single harness with a button click in VSCode and display the results in the VSCode terminal or output channel.
The VSCode extension needs a `--list-harnesses` flag from Kani which gives a list of the metadata on all present harnesses in a crate. While this API is intended to be...
Adds `--use-local-toolchain` to Kani's setup flow, which accepts a local toolchain and then uses that to finish the Kani setup. Some notes: 1. Why? This is mainly for installing GPG...
In order to use GPG verified toolchain components, Kani needs to be able to use locally installed toolchains. These toolchains are typically fetched from the rust-lang server and then, verified...
Extension of the issue on `cbmc-viewer`: https://github.com/model-checking/cbmc-viewer/issues/146
The step `install latest CBMC` in `aws-c-common`'s `run_cbmc_proofs` CI workflow seems to be failing sporadically. Sometimes the failure disappears when the CI job is re-run but sometimes the failure does...
Current status: 1. Removing CBMC-Viewer invocation from kani 2. Remove `--visualize` flag Todo: 1. Remove python from CI jobs 3. Update documentation Resolves # By submitting this pull request, I...
**Proposed change:** Non-det values for new types `f16` and `f128` need to be tested with respect to core intrinsic methods. While these are still unstable and lack the methods that...