Skip to content

Commit

Permalink
Update CHANGELOG.md
Browse files Browse the repository at this point in the history 
Co-authored-by: Carolyn Zech <[email protected]>
  • Loading branch information
@tautschnig @carolynzech
tautschnig and carolynzech authored Dec 16, 2024
1 parent ed4a175 commit 11df469
Showing 1 changed file with 0 additions and 6 deletions.
6 changes: 0 additions & 6 deletions CHANGELOG.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -49,12 +49,6 @@ This file was introduced starting Kani 0.23.0, so it only contains changes from
* Automatic upgrade of CBMC from 6.3.1 to 6.4.1
* Rust toolchain upgraded to nightly-2024-12-13 by @zhassan-aws @carolynzech @qinheping @celinval @tautschnig

### New Contributors
* @c410-f3r made their first contribution in https://github.com/model-checking/kani/pull/3666
* @workingjubilee made their first contribution in https://github.com/model-checking/kani/pull/3675
* @Alexander-Aghili made their first contribution in https://github.com/model-checking/kani/pull/3360
* @AlgebraicWolf made their first contribution in https://github.com/model-checking/kani/pull/3692
* @thanhnguyen-aws made their first contribution in https://github.com/model-checking/kani/pull/3721

**Full Changelog**: https://github.com/model-checking/kani/compare/kani-0.56.0...kani-0.57.0

Expand Down

0 comments on commit 11df469

Please sign in to comment.