Skip to content

VERDICT-1.6.1
Compare
Choose a tag to compare
@tuxji tuxji released this 19 Aug 18:01
· 511 commits to master since this release
1.6.1
ad99c68
  • Make minor change to vdm2csv translator for aadl2csv translator compatibility
  • Remove aadl2iml (superseded by vdm2csv)
  • Include all Eclipse plugins in VERDICT update site
  • Bump versions of dependencies/actions
  • Bump VERDICT image to Ubuntu 21.04
  • Improve VERDICT's poms and workflows
  • Update install instructions in VERDICT's READMEs
  • Bump OCaml compiler from 4.07.1 to 4.09.1
Assets 4
Loading