- Committer: Rasmus Tollund
- Date: 2021-10-18 11:40:13 UTC
- Revision ID: rtollu18@student.aau.dk-20211018114013-d1vko9qlguu1fmdc
Fixed bug with until condition
| 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 | 10 years ago | Jonas Finnemann Jensen | Adding true/false and deadlock predicates... And t | 485 bytes |
|
|
|
AGNoDeadlock-0-All.xml.q |
22 | 10 years ago | Jonas Finnemann Jensen | Adding true/false and deadlock predicates... And t | 15 bytes |
|
|
|
AGNoDeadlock-1-All.xml |
22 | 10 years ago | Jonas Finnemann Jensen | Adding true/false and deadlock predicates... And t | 612 bytes |
|
|
|
AGNoDeadlock-1-All.xml.q |
22 | 10 years ago | Jonas Finnemann Jensen | Adding true/false and deadlock predicates... And t | 15 bytes |
|
|
|
Deadlock-0-All.xml |
22 | 10 years ago | Jonas Finnemann Jensen | Adding true/false and deadlock predicates... And t | 612 bytes |
|
|
|
Deadlock-0-All.xml.q |
22 | 10 years ago | Jonas Finnemann Jensen | Adding true/false and deadlock predicates... And t | 12 bytes |
|
|
|
Deadlock-1-All.xml |
22 | 10 years ago | Jonas Finnemann Jensen | Adding true/false and deadlock predicates... And t | 485 bytes |
|
|
|
Deadlock-1-All.xml.q |
22 | 10 years ago | Jonas Finnemann Jensen | Adding true/false and deadlock predicates... And t | 12 bytes |
|
|
|
False-1-All.xml |
22 | 10 years ago | Jonas Finnemann Jensen | Adding true/false and deadlock predicates... And t | 485 bytes |
|
|
|
False-1-All.xml.q |
22 | 10 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 | 10 years ago | Jonas Finnemann Jensen | Adding true/false and deadlock predicates... And t | 485 bytes |
|
|
|
True-0-All.xml.q |
22 | 10 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 |
|
|