Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Spot
Spot
Issues
#5
Closed
Open
Issue created
Dec 06, 2014
by
Alexandre Duret-Lutz
@adl
Owner
get rid of the Kripke parser
once
#4 (closed)
is done, we can teach the HOA parser how to fill such a structure