From 213b67e84b829da4562262cf970a2c321920adc8 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Sat, 27 Oct 2012 09:30:56 +0200 Subject: [PATCH] Release Spot 1.0. * NEWS, configure.ac: Bump version to 1.0. --- NEWS | 32 +++++++++++++++++--------------- configure.ac | 2 +- 2 files changed, 18 insertions(+), 16 deletions(-) diff --git a/NEWS b/NEWS index f385ac8b6..99c0dba19 100644 --- a/NEWS +++ b/NEWS @@ -1,4 +1,4 @@ -New in spot 0.9.2a: +New in spot 1.0 (2012-10-27): * License change: Spot is now distributed using GPL v3+ instead of GPL v2+. This is because we started using some third-party @@ -8,11 +8,11 @@ New in spot 0.9.2a: Useful command-line tools are now installed in addition to the library. Some of these tools were originally written for our test - suite and had evolved organically into useful programs with crapy + suite and had evolved organically into useful programs with crappy interfaces: they have now been rewritten with better argument parsing, saner defaults, and they come with man pages. - - genltl: Generate LTL formulas from scallable patterns. + - genltl: Generate LTL formulas from scalable patterns. This offers 20 patterns so far. - randltl: Generate random LTL/PSL formulas. @@ -26,7 +26,7 @@ New in spot 0.9.2a: equivalent, ... - ltl2tgba: Translate LTL/PSL formulas into Büchi automata (TGBA, - BA, or Monitor). A fondamental change to the + BA, or Monitor). A fundamental change to the interface is that you may now specify the goal of the translation: do you you favor deterministic or smaller automata? @@ -39,13 +39,15 @@ New in spot 0.9.2a: that supports PSL in addition to LTL, and that can output more statistics. - These binaries are built in the src/bin/ directory. The former - test versions of genltl and randltl have been removed from the - source tree. The old version of ltl2tgba with its gazillion - options is still is src/tgbatest/ and is meant to be used for - testing only. Although ltlcross is meant to replace LBTT, we - are still using both tools in this release, but this is likely - the last time we redistribute LBTT. + An introduction to these tools can be found on-line at + http://spot.lip6.fr/userdoc/tools.html + + The former test versions of genltl and randltl have been removed + from the source tree. The old version of ltl2tgba with its + gazillion options is still is src/tgbatest/ and is meant to be + used for testing only. Although ltlcross is meant to replace + LBTT, we are still using both tools in this release; however this + is likely to be the last release of Spot that redistributes LBTT. * New features in the Spot library: @@ -77,7 +79,7 @@ New in spot 0.9.2a: A discussion of these automata, part of Ala Eddine BEN SALEM's PhD work, should appear in ToPNoC VI (LNCS 7400). The web-based - interface and the aformentioned ltl2tgta tool can be used + interface and the aforementioned ltl2tgta tool can be used to build testing automata. - TGBA can now be reduced by Reverse Simulation (in addition to @@ -100,7 +102,7 @@ New in spot 0.9.2a: - to_wring_string() can be used to print an LTL formula into Wring's syntax. - - The LTL/PSL parser now has a lenient mode that can be usefull + - The LTL/PSL parser now has a lenient mode that can be useful to interpret atomic proposition with language-specific constructs. In lenient mode, any (...) or {...} block that cannot be parsed as formula will be assumed to be an atomic proposition. @@ -111,14 +113,14 @@ New in spot 0.9.2a: - minimize_obligation() has a new option to disable WDBA minimization it cases it would produce a deterministic automaton that is bigger than the original TGBA. This can help - chosing between less states or more determinism. + choosing between less states or more determinism. - new functions is_deterministic() and count_nondet_states() (The count of nondeterministic states is now displayed on automata generated with the web interface.) - A new class, "postprocessor", makes it easier to apply - all availlable simplification algorithms on a TGBA/BA/Monitors. + all available simplification algorithms on a TGBA/BA/Monitors. * Minor changes: diff --git a/configure.ac b/configure.ac index 811c12038..e8af1a036 100644 --- a/configure.ac +++ b/configure.ac @@ -20,7 +20,7 @@ # along with this program. If not, see . AC_PREREQ([2.61]) -AC_INIT([spot], [0.9.2a], [spot@lrde.epita.fr]) +AC_INIT([spot], [1.0], [spot@lrde.epita.fr]) AC_CONFIG_AUX_DIR([tools]) AC_CONFIG_MACRO_DIR([m4]) AM_INIT_AUTOMAKE([1.11 gnu tar-ustar color-tests parallel-tests])