Skip to content

Snapshot 2019-01-27
Compare
Choose a tag to compare
@danielratiu danielratiu released this 27 Jan 22:24
· 2188 commits to master since this release
snapshot/v2019_01_27
a30b8a9
  • improvements for the SMV-base language
  • definition of "allowed scenarios" and "disallowed scenarios"
  • several handy low level extensions to the SMV language
    -- structured types, add optional types to parameters
  • improved importer of existing SMV files
  • cross-cutting usability improvements
Assets 3
Loading