Commits

Commits on Sep 20, 2024

Fix storing coverage data in cargo projects (model-checking#3527 )
adpaco-aws
authored

Commits on Aug 27, 2024

Adopt Rust's source-based code coverage instrumentation (model-checking#3119 )
adpaco-aws
authored
RFC: Source-based code coverage (model-checking#3143 )
adpaco-aws
authored

Commits on Aug 2, 2024

Update crates documentation with info. on #[safety_constraint(...)] attribute for structs (model-checking#3405 )
adpaco-aws
authored

Commits on Jul 31, 2024

Define a struct-level #[safety_constraint(...)] attribute (model-checking#3270 )
adpaco-aws
authored

Commits on Jul 22, 2024

Enable an #[safety_constraint(...)] attribute helper for the Arbitrary and Invariant macros (model-checking#3283 )
adpaco-aws
authored

Commits on Jul 8, 2024

CI: Allow use of node16 for release jobs (model-checking#3322 )
adpaco-aws
authored

Commits on Jul 3, 2024

Bump Kani version to 0.53.0 (model-checking#3317 )
adpaco-aws
authored

Commits on Jul 2, 2024

Upgrade toolchain to nightly-2024-07-01 (model-checking#3314 )
adpaco-aws
authored

Commits on Jun 13, 2024

Add a #[derive(Invariant)] macro (model-checking#3250 )
adpaco-aws
authored

Commits on Jun 6, 2024

(Re)introduce Invariant trait (model-checking#3190 )
adpaco-aws
authored

Commits on May 3, 2024

Fix copyright check for expected tests (model-checking#3170 )
adpaco-aws
authored

Commits on Mar 28, 2024

Use intrinsic_name to get the intrinsic name (model-checking#3114 )
adpaco-aws
authored

Commits on Mar 27, 2024

Upgrade Rust toolchain to nightly-2024-03-21 (model-checking#3102 )

adpaco-aws
and
celinval
authored

Commits on Mar 8, 2024

Add option to override --crate-name from kani (model-checking#3054 )
adpaco-aws
authored

Commits on Mar 4, 2024

Upgrade Rust toolchain to nightly-2024-03-01 (model-checking#3052 )
adpaco-aws
authored

Commits on Feb 29, 2024

Commits on Jan 12, 2024

Rethink should_panic and fail_uncoverable options as global conditions (model-checking#2967 )
adpaco-aws
authored

Commits on Jan 2, 2024

Build CBMC with cmake in all "CBMC latest" jobs (model-checking#2965 )
adpaco-aws
authored

Commits on Dec 19, 2023

Update Rust toolchain to nightly-2023-12-18 (model-checking#2953 )
adpaco-aws
authored

Commits on Dec 8, 2023

Update Rust toolchain to nightly-2023-12-08 (model-checking#2926 )

adpaco-aws
and
celinval
authored

Commits on Nov 7, 2023

Fix setup for aarch64-unknown-linux-gnu platform (model-checking#2864 )
adpaco-aws
authored

Commits on Nov 2, 2023

Fix docker build step in release workflow (model-checking#2854 )
adpaco-aws
authored

Commits on Oct 31, 2023

Update CBMC version to 5.95.1 (model-checking#2844 )
adpaco-aws
authored

Commits on Oct 30, 2023

Run regression tests on Apple Silicon runners, only on changes to main (model-checking#2845 )
adpaco-aws
authored

Commits on Oct 24, 2023

Ease setup in Amazon Linux 2 (model-checking#2833 )
adpaco-aws
authored

Commits on Oct 23, 2023

Upgrade tracing dependency (model-checking#2834 )
adpaco-aws
authored

Commits on Sep 29, 2023

Avoid mismatch when generating structs that represent scalar data but also include ZSTs (model-checking#2794 )
adpaco-aws
authored

Commits on Sep 12, 2023

Add support for the ARM64 Linux platform (model-checking#2757 )
adpaco-aws
authored

Commits on Sep 9, 2023

Remove build files generated with cargo doc command (model-checking#2750 )
adpaco-aws
authored

Commits on Sep 7, 2023

Do not run performance benchmarks for tags (model-checking#2745 )
adpaco-aws
authored