Skip to content

uclid5 v0.9.1 alpha release

Pre-release
Pre-release
Compare
Choose a tag to compare
@pramodsu pramodsu released this 02 Apr 00:44
· 1830 commits to master since this release
v0.9.1
635d6d5

UCLID5 v0.9.1 Release

What's new?

  • Support for mixing procedural and parallel modeling using primed variables.
  • Simplified syntax by removing '::' and '->' operators and replacing them with '.'
  • Support for constant literals and their use in for loops.
  • Verifier bugfixes.
Assets 3
Loading