newsGNU Ferret - News


Ferret 0.7 scheduled for September

Item posted by Jose E. Marchesi <jemarch> on Tue 22 Aug 2006 08:58:41 AM UTC.

 The release of Ferret 0.7 is scheduled at 11-09-2006. Ferret 0.7 (actually the HEAD on CVS) is a total rewrite of Ferret 0.6.

Improvements include a new GUI and the use of the new diagram engine. There is also a domain tree that implement backend-independent abstract domains.

Back to the top

Powered by Savane 3.13-4b48.
Corresponding source code