NewsEntry (2018/01/20)
From LRDE
Revision as of 19:26, 20 January 2018 by Alexandre Duret-Lutz (talk | contribs)
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.
| 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 |