Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
wrap
python
ajax
spot.in
Find file
Blame
History
Permalink
* wrap/python/ajax/spot.in: Use the degeneralized automaton if
· 0792fb74
Alexandre Duret-Lutz
authored
Mar 04, 2011
available while computing the emptiness check.
0792fb74