uclid5 v0.9.0 alpha release

Pre-release

Pre-release

pramodsu released this 12 Mar 05:21

· 1840 commits to master since this release

49f2541

New to this release:

Support for (bounded) model checking of LTL properties.
Added the define keyword for defining macros.
Performance improvements in the VC generator.
Lots and lots of bugfixes.

Assets 3