Commit graph

11 commits

Author SHA1 Message Date
Alexandre Duret-Lutz
e19e56fba3 * AUTHORS: Add Alexandre Lewkowicz 2014-01-13 17:27:58 +01:00
Alexandre Duret-Lutz
c5d59523dc * AUTHORS: Add Étienne 2013-04-28 11:46:43 +02:00
Alexandre Duret-Lutz
c2e96387e4 * AUTHORS: Add Elie (recent patches) and Heikki (very old patch). 2013-04-15 15:31:43 +02:00
Alexandre Duret-Lutz
bb1aa0ca13 * AUTHORS: Add Tomáš Babiak. 2013-04-09 15:05:55 +02:00
Ala-Eddine Ben-Salem
0ca40d72d7 Fix detection of the last iteration of minimize_dfa().
* src/tgbaalgos/minimize.cc (minimize_dfa): Fix detection of the
last iteration.  An extra iteration case could be missed in case
where a split generates only singletons, and yet predecessor
classes need to be refined.
2012-01-05 19:17:34 +01:00
Alexandre Duret-Lutz
e5196a5943 * AUTHORS: Sort alphabetically. 2011-11-28 18:40:37 +01:00
Alexandre Duret-Lutz
172ce2d7fd * AUTHORS: Add Thomas Badie. 2011-11-27 20:59:17 +01:00
Alexandre Duret-Lutz
b8f8441167 Cache results of the spot.py CGI script.
* wrap/python/ajax/spot.in: Use the QUERY_STRING as a hash key to
cache the result of the script.  Open stdout without buffering and
redirect it to a file that we can dump later on cache hits.  Parts
of this change are extracted from code from Pierre Parutto
<parutto@lrde.epita.fr>.
* AUTHORS: Add him.
2011-06-08 11:36:45 +02:00
Alexandre Duret-Lutz
98215ed9a4 more authors 2009-10-07 18:04:43 +02:00
Alexandre Duret-Lutz
52a672ec7e * AUTHORS: Update. 2004-05-25 12:58:13 +00:00
Alexandre Duret-Lutz
ea8a5782e2 * AUTHORS: New file.
* configure.ac (AM_INIT_AUTOMAKE): Remove `foreign' option.
2003-11-21 16:23:27 +00:00