- Committer: Jakob Dyhr
- Date: 2017-05-16 08:21:38 UTC
- Revision ID: jdyhr12@student.aau.dk-20170516082138-4bg4vvxbqxctwzgw
always print ctl options
| 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 | 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 |
|
||
.bzrignore |
163.1.3 | 7 years ago | Lasse S.J. | Updated ignore to include executable | 92 bytes |
|
|
|
LICENSE |
1 | 12 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 | 9 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 | 9 years ago | Jiri Srba | updated the make files to work with the latest com | 808 bytes |
|
|
|
makefile.win64 |
52 | 9 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 |
182 | 6 years ago | Jakob Dyhr | always print ctl options | 30.3 KB |
|
|