NewsEntry (2017/09/06)
From LRDE
Revision as of 20:46, 16 November 2017 by Alexandre Duret-Lutz (talk | contribs) (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...")
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.4 was released |
---|---|
Sub-Title | |
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.