Status

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