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