Skip to content
GitLab
Explore
Sign in
TASTE
Ocarina
Repository
ocarina
src
backends
ocarina-backends-pn.adb
Find file
Blame
History
Permalink
* Change output of Petri Nets to files instead of standard
· 61048977
yoogx
authored
Apr 06, 2013
output. Update reference output accordingly.
61048977