Filename | Latest Rev | Last Changed | Committer | Comment | Size | ||
---|---|---|---|---|---|---|---|
.. | |||||||
build | 264.1.1 | 8 years ago | tobiasj1991 at gmail | Added build folder | |||
CTL | 116 | 8 years ago | lasjen12 at aau | Marking done. Configuration and edge NOT done | |||
CTLParser | 67 | 8 years ago | Søren Moss Nielsen | Created parser, mostly done with structure | |||
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 | 325.1.1 | 7 years ago | MCC-Computer | Updated ignore | 430 bytes | ||
Distr.config | 236 | 8 years ago | Samuel Pastva | send token | 86 bytes | ||
Distr.creator | 236 | 8 years ago | Samuel Pastva | send token | 10 bytes | ||
Distr.files | 322 | 7 years ago | tobiasj1991 at gmail | Added formula printing for the TestPrinter | 5.8 KB | ||
Distr.includes | 322 | 7 years ago | tobiasj1991 at gmail | Added formula printing for the TestPrinter | 194 bytes | ||
LICENSE | 1 | 12 years ago | Jonas Finnemann Jensen | Import of sources from github | 34.3 KB | ||
makefile | 62 | 8 years ago | Søren Moss Nielsen | Created CTL engine structure to the branch | 26 bytes | ||
makefile.linux32 | 224.2.5 | 8 years ago | lasjen12 at aau | Updated make files | 701 bytes | ||
makefile.linux64 | 264 | 8 years ago | lasjen12 at aau | fixed the seg fault bug | 695 bytes | ||
makefile.osx32 | 224.2.11 | 8 years ago | Jiri Srba | updated osx make files | 769 bytes | ||
makefile.osx64 | 224.2.11 | 8 years ago | Jiri Srba | updated osx make files | 770 bytes | ||
makefile.win32 | 224.2.13 | 8 years ago | Jiri Srba | fixing windows make files | 865 bytes | ||
makefile.win64 | 260 | 8 years ago | lasjen12 at aau | merged in trunk | 824 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-dist-ctl.config | 345.1.1 | 7 years ago | Peter Fogh | Added new mpi handling to _run_ctl_cardinality.sh | 86 bytes | ||
verifypn-dist-ctl.creator | 345.1.1 | 7 years ago | Peter Fogh | Added new mpi handling to _run_ctl_cardinality.sh | 10 bytes | ||
verifypn-dist-ctl.files | 345.1.1 | 7 years ago | Peter Fogh | Added new mpi handling to _run_ctl_cardinality.sh | 4.4 KB | ||
verifypn-dist-ctl.includes | 345.1.1 | 7 years ago | Peter Fogh | Added new mpi handling to _run_ctl_cardinality.sh | 172 bytes | ||
VerifyPN.cpp | 363 | 7 years ago | Samuel Pastva | Print config count | 39.4 KB |