Skip to content

4.5.0 Release

Choose a tag to compare

View all tags
@nickbattle nickbattle released this 28 Feb 15:24
· 1102 commits to master since this release
4.5.0-release
0a25086

This is the 4.5.0 release of VDMJ.

The most significant change in this release is the addition of the QuickCheck tool.

Assets 4
Loading