- Committer: Jiri Srba
- Date: 2014-05-18 17:03:05 UTC
- mfrom: (44.2.52 sumoXMLparsing)
- Revision ID: srba@cs.aau.dk-20140518170305-jzggi1p4r4n32ydp
merged in a branch adding a parser for XMP competition queries
launch script is added too
launch script is added too
| Filename | Latest Rev | Last Changed | Committer | Comment | Size | ||
|---|---|---|---|---|---|---|---|
 .. |
|||||||
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 |
|
||
LICENSE |
1 | 12 years ago | Jonas Finnemann Jensen | Import of sources from github | 34.3 KB |
|
|
|
makefile |
35 | 10 years ago | Jonas Finnemann Jensen | Support for osx32 and osx64 bit builds, we now hav | 26 bytes |
|
|
|
makefile.linux32 |
36 | 10 years ago | Jonas Finnemann Jensen | Added lpsolve binaries for linux 32 and 64 bit | 539 bytes |
|
|
|
makefile.linux64 |
48.1.1 | 10 years ago | Jonas Finnemann Jensen | Added support for quoted identifiers in queries | 531 bytes |
|
|
|
makefile.osx32 |
38 | 10 years ago | Jiri Srba | updated makefiles for Mac OS X 10.6 compatibility | 693 bytes |
|
|
|
makefile.osx64 |
38 | 10 years ago | Jiri Srba | updated makefiles for Mac OS X 10.6 compatibility | 693 bytes |
|
|
|
makefile.win32 |
39 | 10 years ago | Jonas Finnemann Jensen | Added win64 support | 762 bytes |
|
|
|
makefile.win64 |
39 | 10 years ago | Jonas Finnemann Jensen | Added win64 support | 764 bytes |
|
|
|
README.mkd |
44.2.47 | 10 years ago | Jiri Srba | updated README | 2.2 KB |
|
|
|
rules.mk |
48.1.1 | 10 years ago | Jonas Finnemann Jensen | Added support for quoted identifiers in queries | 1.8 KB |
|
|
|
VerifyPN.cpp |
44.2.51 | 10 years ago | Jiri Srba | fixed printing of errors in query XML parser to st | 20.7 KB |
|
|