- Committer: Søren Moss Nielsen
- Date: 2016-08-30 08:24:00 UTC
- Revision ID: smni12@student.aau.com-20160830082400-rqs8clpfipv2uja4
Added the return statement to resolve the warning in line 496. This statement is unreachable.
| Filename | Latest Rev | Last Changed | Committer | Comment | Size | ||
|---|---|---|---|---|---|---|---|
 .. |
|||||||
CTL
|
59.2.57 | 8 years ago | lasjen12 at aau | Marking done. Configuration and edge NOT done |
|
||
|
CTLParser
|
59.2.8 | 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 |
59.2.168 | 8 years ago | lasjen12 at aau | added make file optimizations and cleaned up | 499 bytes |
|
|
|
LICENSE |
1 | 12 years ago | Jonas Finnemann Jensen | Import of sources from github | 34.3 KB |
|
|
|
makefile |
59.2.3 | 8 years ago | Søren Moss Nielsen | Created CTL engine structure to the branch | 26 bytes |
|
|
|
makefile.linux32 |
91 | 7 years ago | Jiri Srba | updated on the make files (removing -march=native | 675 bytes |
|
|
|
makefile.linux64 |
91 | 7 years ago | Jiri Srba | updated on the make files (removing -march=native | 730 bytes |
|
|
|
makefile.osx32 |
59.2.176 | 8 years ago | Jiri Srba | updated osx make files | 769 bytes |
|
|
|
makefile.osx64 |
59.2.176 | 8 years ago | Jiri Srba | updated osx make files | 770 bytes |
|
|
|
makefile.win32 |
59.2.178 | 8 years ago | Jiri Srba | fixing windows make files | 865 bytes |
|
|
|
makefile.win64 |
91 | 7 years ago | Jiri Srba | updated on the make files (removing -march=native | 869 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 |
91.3.1 | 7 years ago | Søren Moss Nielsen | Fixed static travertion of results. Should now acc | 36.5 KB |
|
|