| 02-01-2009: |
Version 2.7 released. The header of goto-binaries
has changed; to avoid problems, please recompile your binaries.
Get it from the downloads page. |
| 11-11-2009: |
Version 2.6.2 released; bugfix release.
|
| 11-02-2009: |
Version 2.6.1 released; bugfix release.
|
| 09-29-2009: |
Version 2.6 released. This release features an
optimized binary model format. To avoid problems, recompile please!
|
| 03-19-2009: |
Version 2.5.3 released; bugfix release.
|
| 02-17-2008: |
Version 2.5.2 released. This is a bugfix
release.
|
| 11-05-2007: |
Version 2.5.1 released. This is a bugfix
release.
|
| 05-23-2007: |
Version 2.5 released. More front-end fixes
and we switched to a binary
format. Don't forget to update to the new versions of
our modelcheckers that can read this format!
|
| 03-01-2007: |
Version 2.1.2 released. Minor bug fixes. |
| 02-02-2007: |
Version 2.1.1 released. Minor bug fixes. |
| 01-28-2007: |
Version 2.1 released. Major front-end
overhaul, library linking fully in place now. |
| 10-26-2006: |
Version 2.0.1 released (minor bugfixes). |
|
| 09-13-2006: |
Version 2.0 released. |
| 07-10-2006: |
First public version released. |