Release notes

Release 2.1.0

November 29, 2024
- This is a major release of nuXmv that provides some new features, some internals improvements and several bug fixes. The major changes include:
- replaced the GNU readline library with the BSD editline library
- add support for the generation of symbolic deterministic automata from an Extended Bounded Response LTL specification (LTL-EBR).
- add support for reqan verification in timed nuxmv
- add support for additional nonlinear operators (pow, square root, cos, tan, asin, acos, atan)
- handle input vars in check_traces_properties
- added support for VMT input (read_vmt_model command)

October 14, 2019
- This is a major release of nuXmv that provides some new features, some internals improvements and several bug fixes. See NEWS.txt for complete information about this release.

June 1, 2016
- This is a minor release of nuXmv that provides various bug fixes. See NEWS.txt for complete information about this release.

May 10, 2016
- This is a major release of nuXmv that provides some new features, some internals improvements and several bug fixes. See NEWS.txt for complete information about this release.

Nov 17, 2014
- This is a minor release of nuXmv that provides some internals improvements and several bug fixes. See NEWS.txt for complete information about this release.