- Committer: Andreas Klostergaard
- Date: 2018-05-27 12:00:38 UTC
- Revision ID: aklost11@student.aau.dk-20180527120038-tqfov0gupzutzza1
Fixed compilation warning.
------------- This line and the following will be ignored --------------
modified:
PetriEngine/Colored/Expressions.h
------------- This line and the following will be ignored --------------
modified:
PetriEngine/Colored/Expressions.h
| Filename | Latest Rev | Last Changed | Committer | Comment | Size | ||
|---|---|---|---|---|---|---|---|
 ..
|
|||||||
TAPAAL-test-nets
|
40.1.57 | 10 years ago | Jiri Srba | added TAPAAL test nets (should be run in the GUI v |
|
||
AGNoDeadlock-0-All.xml |
22 | 11 years ago | Jonas Finnemann Jensen | Adding true/false and deadlock predicates... And t | 485 bytes |
|
|
|
AGNoDeadlock-0-All.xml.q |
22 | 11 years ago | Jonas Finnemann Jensen | Adding true/false and deadlock predicates... And t | 15 bytes |
|
|
|
AGNoDeadlock-1-All.xml |
22 | 11 years ago | Jonas Finnemann Jensen | Adding true/false and deadlock predicates... And t | 612 bytes |
|
|
|
AGNoDeadlock-1-All.xml.q |
22 | 11 years ago | Jonas Finnemann Jensen | Adding true/false and deadlock predicates... And t | 15 bytes |
|
|
|
Deadlock-0-All.xml |
22 | 11 years ago | Jonas Finnemann Jensen | Adding true/false and deadlock predicates... And t | 612 bytes |
|
|
|
Deadlock-0-All.xml.q |
22 | 11 years ago | Jonas Finnemann Jensen | Adding true/false and deadlock predicates... And t | 12 bytes |
|
|
|
Deadlock-1-All.xml |
22 | 11 years ago | Jonas Finnemann Jensen | Adding true/false and deadlock predicates... And t | 485 bytes |
|
|
|
Deadlock-1-All.xml.q |
22 | 11 years ago | Jonas Finnemann Jensen | Adding true/false and deadlock predicates... And t | 12 bytes |
|
|
|
False-1-All.xml |
22 | 11 years ago | Jonas Finnemann Jensen | Adding true/false and deadlock predicates... And t | 485 bytes |
|
|
|
False-1-All.xml.q |
22 | 11 years ago | Jonas Finnemann Jensen | Adding true/false and deadlock predicates... And t | 19 bytes |
|
|
|
InhibitorArcs-0-All.xml |
21 | 11 years ago | Jonas Finnemann Jensen | Added test logic for other strategies | 679 bytes |
|
|
|
InhibitorArcs-0-All.xml.q |
21 | 11 years ago | Jonas Finnemann Jensen | Added test logic for other strategies | 7 bytes |
|
|
|
InhibitorArcs-1-All.xml |
21 | 11 years ago | Jonas Finnemann Jensen | Added test logic for other strategies | 679 bytes |
|
|
|
InhibitorArcs-1-All.xml.q |
21 | 11 years ago | Jonas Finnemann Jensen | Added test logic for other strategies | 7 bytes |
|
|
|
kanban10-0-BestFS.xml |
21 | 11 years ago | Jonas Finnemann Jensen | Added test logic for other strategies | 3.8 KB |
|
|
|
kanban10-0-BestFS.xml.q |
21 | 11 years ago | Jonas Finnemann Jensen | Added test logic for other strategies | 150 bytes |
|
|
|
kanban10-1-BestFS.xml |
21 | 11 years ago | Jonas Finnemann Jensen | Added test logic for other strategies | 3.8 KB |
|
|
|
kanban10-1-BestFS.xml.q |
21 | 11 years ago | Jonas Finnemann Jensen | Added test logic for other strategies | 153 bytes |
|
|
|
Kanban1000MemLimit-2-All.xml |
21 | 11 years ago | Jonas Finnemann Jensen | Added test logic for other strategies | 3.8 KB |
|
|
|
Kanban1000MemLimit-2-All.xml.q |
21 | 11 years ago | Jonas Finnemann Jensen | Added test logic for other strategies | 170 bytes |
|
|
|
QuotedIdentifier-0-All.xml |
48.1.1 | 10 years ago | Jonas Finnemann Jensen | Added support for quoted identifiers in queries | 533 bytes |
|
|
|
QuotedIdentifier-0-All.xml.q |
48.1.1 | 10 years ago | Jonas Finnemann Jensen | Added support for quoted identifiers in queries | 41 bytes |
|
|
|
TransportArc-0-All.xml |
21 | 11 years ago | Jonas Finnemann Jensen | Added test logic for other strategies | 306 bytes |
|
|
|
TransportArc-0-All.xml.q |
21 | 11 years ago | Jonas Finnemann Jensen | Added test logic for other strategies | 7 bytes |
|
|
|
True-0-All.xml |
22 | 11 years ago | Jonas Finnemann Jensen | Adding true/false and deadlock predicates... And t | 485 bytes |
|
|
|
True-0-All.xml.q |
22 | 11 years ago | Jonas Finnemann Jensen | Adding true/false and deadlock predicates... And t | 18 bytes |
|
|
|
WeightedInhibitorArc-0-All.xml |
33 | 10 years ago | Jonas Finnemann Jensen | Fixed bug #1232486 | 588 bytes |
|
|
|
WeightedInhibitorArc-0-All.xml.q |
33 | 10 years ago | Jonas Finnemann Jensen | Fixed bug #1232486 | 7 bytes |
|
|
|
WeightedTransportArc-1-All.xml |
33 | 10 years ago | Jonas Finnemann Jensen | Fixed bug #1232486 | 356 bytes |
|
|
|
WeightedTransportArc-1-All.xml.q |
33 | 10 years ago | Jonas Finnemann Jensen | Fixed bug #1232486 | 7 bytes |
|
|