From 6d047a1d6bbaf2fc288d3ca4901af5226fa85018 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Tue, 19 Jun 2012 22:13:00 +0200 Subject: [PATCH] Document recent changes. * NEWS: Update. * wrap/python/ajax/README: Explain the ltl3ba requirement. --- NEWS | 9 +++++++++ wrap/python/ajax/README | 3 +++ 2 files changed, 12 insertions(+) diff --git a/NEWS b/NEWS index f96694d9f..445dc756c 100644 --- a/NEWS +++ b/NEWS @@ -1,5 +1,8 @@ New in spot 0.9.1a: + * New features to the web interface. + - It can run ltl3ba (Babiak et al., TACAS'12) where available. + - "a loading logo" is displayed when result is not instantaneous. * Speed improvements: - The unicity hash table of BuDDy has been separated separated node table for better cache-friendliness. The resulting speedup @@ -13,6 +16,12 @@ New in spot 0.9.1a: * Bug fixes: - The CGI script running for ltl2tgba.html will correctly timeout after 30s when Spot's translation takes more time. + - Applying WDBA-minimization on an automaton generated by the + Couvreur/LaCIM translator could lead to an incorrect automaton + due to a bug in the definition of product with symbolic + automata. + - The Makefile.am of BuDDy, LBTT, and Spot have been adjusted to + accomodate Automake 1.12 (while still working with 1.11). New in spot 0.9.1 (2012-05-23): diff --git a/wrap/python/ajax/README b/wrap/python/ajax/README index 2b3e6f9ad..7f1c8748c 100644 --- a/wrap/python/ajax/README +++ b/wrap/python/ajax/README @@ -8,6 +8,9 @@ Apache, or standalone. In both cases you should ensure that the command `dot', from the GraphViz package, is in the PATH. configure should have picked it up. +The "ltl3ba" tab will only be enabled if ltl3ba is available (as +checked by ./configure) and supports options -v/-U/-T (checked by the +CGI script). Any version strickly greater than 1.0.1 should be OK. Standalone usage