Status
History:
- 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: Thu 26 Apr 2007 09:53 PDT