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 |