Skip to content
GitLab
About GitLab
GitLab: the DevOps platform
Explore GitLab
Install GitLab
How GitLab compares
Get started
GitLab docs
GitLab Learn
Pricing
Talk to an expert
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Projects
Groups
Snippets
Sign up now
Login
Sign in
Toggle navigation
Menu
Open sidebar
Spot
Spot
Repository
0f26125f0839faf302f0323c177a3621d0343ef7
Switch branch/tag
spot
spot
twa
acc.cc
Find file
Blame
History
Permalink
acc::name(): recognize generalized Streett
· 0f26125f
Alexandre Duret-Lutz
authored
Nov 05, 2017
* spot/twa/acc.cc: Implement this. * tests/python/randaut.ipynb: Adjust.
0f26125f
Alexandre Duret-Lutz authored