Difference between revisions of "NewsEntry (2018/01/20)"

From LRDE

(Created page with "{{News |title=[http://spot.lrde.epita.fr/ Spot 2.5] was released |subtitle=Functions for parity acceptance, co-Büchi generation, LTL synthesis. |date=2018/01/20 }} The main f...")
 
 
Line 1: Line 1:
 
{{News
 
{{News
 
|title=[http://spot.lrde.epita.fr/ Spot 2.5] was released
 
|title=[http://spot.lrde.epita.fr/ Spot 2.5] was released
|subtitle=Functions for parity acceptance, co-Büchi generation, LTL synthesis.
+
|subtitle=The main features of this release are algorithms for working with parity acceptance, new functions to convert to co-Büchi when possible, a new tool for LTL synthesis, and some speedup of our determinization algorithm.
 
|date=2018/01/20
 
|date=2018/01/20
 
}}
 
}}
The main features of this release are algorithms for working with parity acceptance, new functions to convert to co-Büchi when possible, a new tool for LTL synthesis, and some speedup of our determinization algorithm.
 

Latest revision as of 18:26, 20 January 2018

Title Spot 2.5 was released
Sub-Title The main features of this release are algorithms for working with parity acceptance, new functions to convert to co-Büchi when possible, a new tool for LTL synthesis, and some speedup of our determinization algorithm.
Date 2018/01/20