Skip to content

1.0.0
Compare
Choose a tag to compare
@grayswandyr grayswandyr released this 11 Jan 08:45
· 109 commits to master since this release
1.0.0
ff6b598

CHANGES:

  • build (using Github Actions) on Windows
  • fix nuXmv/NuSMV output parsing on Windows, which prevented correct behavior
Assets 3
Loading