diff --git a/ChangeLog b/ChangeLog index 254237b3f..7c8cb3d19 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,7 @@ +2011-06-08 Alexandre Duret-Lutz + + * NEWS: Update with recent changes. + 2011-06-08 Alexandre Duret-Lutz Implement cache pruning in the CGI script. diff --git a/NEWS b/NEWS index 67c75a231..58a9c3d2a 100644 --- a/NEWS +++ b/NEWS @@ -1,10 +1,31 @@ New in spot 0.7.1a: - * Spot can read DiVinE models. See iface/dve2/README for details. - * The experimental Nips interface has been removed. - * The dotty_reachable() has a new option "assume_sba" that can - be used for rendering automata with state-based acceptance. In - that case, acceptance states are displayed with a double circle. + * Major new features: + - Spot can read DiVinE models. See iface/dve2/README for details. + - The experimental Nips interface has been removed. + - The genltl tool can now output 20 differents LTL formula families. + It also replace the LTLcounter Perl scripts. + * Major interface changes: + - The destructor of all states is now private. Any code that looks like + "delete some_state;" will cause an compile error and should be + updated to "some_state->destroy();". This new syntax is supported + since version 0.7. + * Minor changes: + - The dotty_reachable() function has a new option "assume_sba" that + can be used for rendering automata with state-based acceptance. + In that case, acceptance states are displayed with a double + circle. ltl2tgba (both command line and on-line) Use it to display + degeneralized automata. + * Internal improvements: + - The on-line ltl2tgba CGI script uses a cache to produce faster + answers. + - Better memory managementmanagment for the states of explicit + automata. Thanks to the aforementioned ->destroy() change, we + can avoid cloning explicit states. + - tgba_product has learned how to be faster when one of the operands + is a Kripke structure (15% speedup). + - The reduction rule for "a M b" has been improved: it can be + reduced to "a & b" if "a" is a pure eventuallity. New in spot 0.7.1 (2001-02-07):