This repository has been archived by the owner on Jul 28, 2023. It is now read-only.
1.5.5
Pre-release
Pre-release
Changelog 1.5.5…1.5.4
- Project hash by @RIg410 in #194
- Update diem revision. by @RIg410 in #195, #196
- Added reflect module declaration to the boogie. by @RIg410 in #197
- Fix for dove tests. by @RIg410 in #198
- [master] fix tests by @vladimirovmm in #199
- Bump version. by @RIg410 in #200
Full Changelog: 1.5.4...1.5.5
Contributors
RIg410 and vladimirovmm