Skip to content

Snapshot 2018-01-16

Pre-release
Pre-release
Compare
Choose a tag to compare
@danielratiu danielratiu released this 16 Jan 22:27
· 2634 commits to master since this release

First baseline which provides:

  • core features of the NuSMV input language
  • unit-testing of modules
  • creation of architectures
  • simple state-machines