Skip to content

4.5.0 Release
Compare
Choose a tag to compare
@nickbattle nickbattle released this 28 Feb 15:24
· 249 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