Bump dependencies and Kani's version to 0.50.0#3148

Merged

celinval merged 1 commit intomodel-checking:mainfrom celinval:prep-kani-0.50.0

Apr 17, 2024

+92-71

Commits on Apr 17, 2024

Bump dependencies and Kani's version to 0.50.0
celinval
committed