Labels

Pull requests that update Java code

Bugs or features of importance to Kani Rust Verifier

This PR claims improvements that require further data to substantiate the claims.

Only merge with explicit approval from test-gen maintainers

Request for comment

Replication Reducing Abstraction

Issues pertaining to the CBCM Rust API

Soundness bug? Review and add "aws" if it is, or remove "soundness" if it isn't.

Invariant synthesis