Filename | Latest Rev | Last Changed | Committer | Comment | Size | ||
---|---|---|---|---|---|---|---|
.. | |||||||
Documentation | 47 | 10 years ago | Jiri Srba | updated documentation for rule B (missing conditio | |||
PetriEngine | 1 | 12 years ago | Jonas Finnemann Jensen | Import of sources from github | |||
PetriParse | 1 | 12 years ago | Jonas Finnemann Jensen | Import of sources from github | |||
Scripts | 44.2.40 | 10 years ago | Jiri Srba | Added TAPAAL initialization script of the competit | |||
Tests | 1 | 12 years ago | Jonas Finnemann Jensen | Import of sources from github | |||
CMakeLists.txt | 226 | 5 years ago | Niels Christensen | Pushing with the CMakeLists.txt | 1.2 KB | ||
LICENSE | 196 | 6 years ago | Jiri Srba | updated the license file | 33.4 KB | ||
makefile | 152.34.1 | 6 years ago | Jiri Srba | merged in branch lp:~verifypn-stub/verifypn/inhib_ | 26 bytes | ||
makefile.linux32 | 152.32.35 | 6 years ago | Peter G. Jensen | fixed linux32 compilation | 704 bytes | ||
makefile.linux64 | 215.1.2 | 5 years ago | Mark Glavind | Done removing redundant files for the first iterat | 708 bytes | ||
makefile.osx32 | 152.32.40 | 6 years ago | Peter G. Jensen | osx 32bit | 775 bytes | ||
makefile.osx64 | 78 | 8 years ago | Peter Gjøl Jensen | makefiles, still needs work | 750 bytes | ||
makefile.win32 | 152.32.36 | 6 years ago | Peter G. Jensen | removed flag not supported by gcc6 | 828 bytes | ||
makefile.win64 | 152.32.36 | 6 years ago | Peter G. Jensen | removed flag not supported by gcc6 | 830 bytes | ||
README.mkd | 44.2.47 | 10 years ago | Jiri Srba | updated README | 2.2 KB | ||
rules.mk | 197.3.52 | 6 years ago | Peter G. Jensen | fixed compiler flag | 2.2 KB | ||
VerifyPN.cpp | 215.1.2 | 5 years ago | Mark Glavind | Done removing redundant files for the first iterat | 17.8 KB |