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= |
+ | |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 |