Status
Unless otherwise indicated, new releases fix bugs reported to us on the
Yices mailing lists.
History:
- 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 17 Aug 2009 14:57 PDT