Difference between revisions of "NewsEntry (2016/02/19)"

Revision as of 11:55, 12 April 2016

Title	Spot 2.0 released
Sub-Title	Spot is a C++ library for model checking and manipulation of temporal logic formula and omega-automata. It also comes with command-line tools and Python bindings. Spot 2.0 is the result of 28 months of work, as we started working on this branch after the release of Spot 1.2.1 (Dec 2013).
Date	2016/04/12

@@ Line 1: / Line 1: @@
 {{News
-|title=[https://www.lrde.epita.fr/wiki/Vcsn  Vcsn] 2.2 released
+|title=[https://www.lrde.epita.fr/wiki/Spot  Spot] 2.0 released
-|subtitle=Vcsn is a platform for weighted automata and rational expressions.
-It consists of an efficient C++ generic library, shell tools, Python
+|subtitle=Spot is a C++ library for model checking and manipulation
-bindings, and a graphical interactive environment on top of IPython.
+of temporal logic formula and omega-automata.  It also
-This version features some noteworthy changes.
+comes with command-line tools and Python bindings.
-|date=2016/02/19
+Spot 2.0 is the result of 28 months of work, as we started working on
+this branch after the release of Spot 1.2.1 (Dec 2013).
+|date=2016/04/12
 }}