- Committer: Jiri Srba
- Date: 2014-03-18 07:13:31 UTC
- mfrom: (42.1.5 memoryLimitBug)
- Revision ID: srba@cs.aau.dk-20140318071331-66nr5ajk4iotuycg
merged in branch fixing memory limit overflow
| 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 |
|
|
|
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 |
|
|