Skip to content

DICE Verification Tool v0.2.0

Pre-release
Pre-release
Compare
Choose a tag to compare
@franco-maroni franco-maroni released this 18 Mar 20:29
· 78 commits to master since this release

Features implemented:

  • D-VerT Client (Eclipse Plugin)
    • added default values
    • removed ae2zot from supported plugins
  • D-VerT Server (Docker Multi-Container application):
    • heavy code reorganization
    • improvements in TL model