Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
src
taalgos
emptinessta.cc
Find file
Blame
History
Permalink
Single-pass Testing Automata (STA) optimizations
· c7f4b8e2
Ala-Eddine Ben-Salem
authored
Jun 28, 2011
and
Alexandre Duret-Lutz
committed
Jul 15, 2012
* src/taalgos/sba2ta.cc, src/taalgos/emptinessta.cc: STA optimizations
c7f4b8e2