- Committer: tobiasj1991 at gmail
- Date: 2016-10-21 14:55:21 UTC
- Revision ID: tobiasj1991@gmail.com-20161021145521-8tkyjrk397xfy71g
Results from paper added
| Filename | Latest Rev | Last Changed | Committer | Comment | Size | ||
|---|---|---|---|---|---|---|---|
 .. |
|||||||
build
|
274 | 7 years ago | tobiasj1991 at gmail | effalse scripts |
|
||
|
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 |
|
||
|
experiments-paper
|
330 | 7 years ago | tobiasj1991 at gmail | Results from paper added |
|
||
|
fall
|
326 | 7 years ago | tobiasj1991 at gmail | Testing scripts |
|
||
|
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 |
228.1.1 | 7 years ago | lasjen12 at aau | Merge with verifypn trunk | 391 bytes |
|
|
|
LICENSE |
1 | 12 years ago | Jonas Finnemann Jensen | Import of sources from github | 34.3 KB |
|
|
|
makefile |
288 | 7 years ago | MCC-Computer | Removed dist_restart.sh | 24 bytes |
|
|
|
makefile.linux32 |
226.1.3 | 8 years ago | lasjen12 at aau | Updated make files | 701 bytes |
|
|
|
makefile.linux64 |
241.1.3 | 7 years ago | Samuel Pastva | Merge new ctl parser | 730 bytes |
|
|
|
makefile.local |
253.1.4 | 7 years ago | lasjen12 at aau | added makefile for linux on this branch | 723 bytes |
|
|
|
makefile.local-nonhalting |
299 | 7 years ago | tobiasj1991 at gmail | Added nonhalting makefile (purely name of outfile | 734 bytes |
|
|
|
makefile.osx32 |
226.1.9 | 8 years ago | Jiri Srba | updated osx make files | 769 bytes |
|
|
|
makefile.osx64 |
226.1.9 | 8 years ago | Jiri Srba | updated osx make files | 770 bytes |
|
|
|
makefile.win32 |
226.1.11 | 8 years ago | Jiri Srba | fixing windows make files | 865 bytes |
|
|
|
makefile.win64 |
226.1.11 | 8 years ago | Jiri Srba | fixing windows make files | 897 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 |
|
|
|
stopwatch.h |
273.1.3 | 7 years ago | Samuel Pastva | stats for local and czero | 799 bytes |
|
|
|
VerifyPN.cpp |
273.1.7 | 7 years ago | Samuel Pastva | Unify print format | 35.4 KB |
|
|
|
verifypnCTL.cpp |
303 | 7 years ago | tobiasj1991 at gmail | RandomPartition On | 8.3 KB |
|
|
|
verifypnCTL.h |
273 | 7 years ago | Samuel Pastva | stats | 1.1 KB |
|
|