Status
Unless otherwise indicated, new releases fix bugs reported to us on the
Yices mailing lists.
History:
- February 25, 2013
Yice 1.0.38 released
Two new commands to control max-sat heuristics.
- January 8, 2013
Yice 1.0.37 released
Bug fixes.
- August 27, 2012
Yice 1.0.36 released
Bug fixes.
- August 3, 2012
Yice 2.1.0 released
Bug fixed + added support for lambda-terms in definitions.
- July 26, 2012
Yices 2.0.5 released
Bug fixes.
- July 17, 2012
Yices 1.0.35 released
Bug fixes.
- July 10, 2012
Yices 2.0.4 released
Bug fixes.
- July 05, 2012
Yices 2.0.2 released
Bug fix.
- July 03, 2012
Yices 2.0.1 released
Bug fixes.
- 26 May, 2012
Yices 2.0.0 released
- 24 February, 2012
Yices 1.0.34 released
Added API functions to deal with scalar types
Upgraded to GMP 5.0.4
- 16 January, 2012
Yices 1.0.33 released
Bug fix.
- 2 December, 2011
Yices 1.0.32 released
minor improvement to the API
- 20 October, 2011
Yices 1.0.31 released
Bug fix.
- 12 October, 2011
Yices 1.0.30 released
Fixed several bugs and improved the API
Added a distribution for 64bit Windows
Removed the MacOS X Power PC distributions
- 6 January, 2011
Yices 1.0.29 released
Fixed a bug in Fourier-Motzkin quantifier elimination
Improved the C-lite API.
- 21 May, 2010
Yices 1.0.28 released
Fixed a bug in max-sat.
- 2 Februrary, 2010
Yices 1.0.27 released
- 8 December, 2009
Yices 1.0.26 released.
Bug fix.
- 30 November, 2009
Yices 1.0.25 released.
Fixed bugs and added API functions to obtain the unsat core.
- 6 October, 2009
Yices~2 for SMT-LIB released.
This version is similar to the Yices~2 version that entered the SMT solver
competition in August 2009. It fixes a few bugs and adds support for generating
models.
- 17 August, 2009
Yices 1.0.23 released.
This release adds an option to control the expansion of recursive functions.
- 12 August, 2009
Yices 1.0.22 released.
- 6 May, 2009
Yices 1.0.21 released.
- 22 April, 2009
Yices 1.0.20 released.
- 14 February, 2009
Yices 1.0.19 released.
- 26 January, 2009
Yices 1.0.18 released.
- 6 January, 2009
Yices 1.0.17 released.
- 25 September, 2008
Yices 1.0.16 released.
- 29 August, 2008
Yices 1.0.15 released.
- 24 July, 2008
Yices 1.0.14 released.
- 13 May, 2008
Yices 1.0.13 released.
- 5 May, 2008
Yices 1.0.12 released.
- 10 January, 2008
Yices 1.0.11 released.
Now supports 64-bit executables and libraries for MacOS X Version 5 (Leopard).
- 23 October, 2007
Yices 1.0.10 released.
- 26 April, 2007
Yices 1.0.9 released.
- 17 April, 2007
Yices 1.0.8 released.
- 23 March, 2007
Yices 1.0.7 released.
- 15 March, 2007
Yices 1.0.6 released.
- 8 March, 2007
Yices 1.0.5 released.
The distribution now includes a version that can run standalone on Windows XP,
without requiring cygwin.
- 22 Feb, 2007
Yices 1.0.4 released.
- 9 Dec, 2006
Yices 1.0.3 released.
- 13 Nov, 2006
Yices 1.0.2 released.
- 08 Aug, 2006
Yices 1.0 released.
- 10 Jul, 2005
Yices 0.1 released.
Last modified: Mon 25 Feb 2013 10:18 PST