Difference between revisions of "NewsEntry (2017/09/06)"
From LRDE
(Created page with "{{News |title=[http://spot.lrde.epita.fr/ Spot 2.4] was released |date=2017/09/06 }} This release contains two new tools (genaut for generating families of automata taken from...") |
m (Blanked the page) |
||
| Line 1: | Line 1: | ||
| − | {{News |
||
| − | |title=[http://spot.lrde.epita.fr/ Spot 2.4] was released |
||
| − | |date=2017/09/06 |
||
| − | }} |
||
| − | This release contains two new tools (genaut for generating families of automata taken from the literature, and autcross for comparing the output of tools transforming automata), more functions for working complex acceptance conditions, many optimizations, and some cleanup. |
||