Bump Kani version to 0.37.0#2781

Closed

remi-delmas-3000 wants to merge 2 commits intomodel-checking:mainfrom

remi-delmas-3000:bump-version-0.37.0

Commits on Sep 19, 2023

Update version to 0.37.0 in Cargo.toml files
Remi Delmas
committed
Update changelog for 0.37.0
Remi Delmas
committed