Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in
Toggle navigation
Menu
Open sidebar
TASTE
Ocarina
Repository
b11527aeb7318bf25f36252bc9d727d6d5b79951
Switch branch/tag
ocarina
src
core
model
ocarina-analyzer-real.adb
Find file
Blame
History
Permalink
* Reset list of theorems to run
· 46cd5ac2
Jerome Hugues
authored
Jun 17, 2016
46cd5ac2