Skip to content

VERDICT-1.6.0
Compare
Choose a tag to compare
@baoluomeng baoluomeng released this 01 Jun 13:28
· 534 commits to master since this release
1.6.0
2f14d25
  • Minor bug fixes to the translator toolchain
  • CRV supports computation of single and all MVCs
  • Replace the VDM to Lustre translator with a new translator based on the Kind 2 Java API
Assets 4
Loading