Filename | Latest Rev | Last Changed | Committer | Comment | Size | ||
---|---|---|---|---|---|---|---|
.. | |||||||
CTL | 152.1.1 | 7 years ago | Lasse S. J. | Sequential CTL Engine Added | |||
Documentation | 47 | 10 years ago | Jiri Srba | updated documentation for rule B (missing conditio | |||
lpsolve | 35 | 10 years ago | Jonas Finnemann Jensen | Support for osx32 and osx64 bit builds, we now hav | |||
PetriEngine | 1 | 13 years ago | Jonas Finnemann Jensen | Import of sources from github | |||
PetriParse | 1 | 13 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 | 13 years ago | Jonas Finnemann Jensen | Import of sources from github | |||
.bzrignore | 163.1.3 | 7 years ago | Lasse S.J. | Updated ignore to include executable | 92 bytes | ||
LICENSE | 1 | 13 years ago | Jonas Finnemann Jensen | Import of sources from github | 34.3 KB | ||
makefile | 60 | 8 years ago | Peter Gjøl Jensen | snapshot | 26 bytes | ||
makefile.linux32 | 39.1.2 | 10 years ago | Jiri Srba | merged with trunk and resolved conflicts | 596 bytes | ||
makefile.linux64 | 152.4.54 | 7 years ago | Mads Johannsen | Renamed executable | 708 bytes | ||
makefile.osx32 | 38 | 10 years ago | Jiri Srba | updated makefiles for Mac OS X 10.6 compatibility | 693 bytes | ||
makefile.osx64 | 78 | 8 years ago | Peter Gjøl Jensen | makefiles, still needs work | 750 bytes | ||
makefile.win32 | 52 | 10 years ago | Jiri Srba | updated the make files to work with the latest com | 808 bytes | ||
makefile.win64 | 52 | 10 years ago | Jiri Srba | updated the make files to work with the latest com | 824 bytes | ||
README.mkd | 44.2.47 | 10 years ago | Jiri Srba | updated README | 2.2 KB | ||
rules.mk | 78 | 8 years ago | Peter Gjøl Jensen | makefiles, still needs work | 1.8 KB | ||
VerifyPN.cpp | 163.1.6 | 7 years ago | Lasse S.J. | CTL Engine now verifies and outputs errors if a no | 30 KB |