Filename | Latest Rev | Last Changed | Committer | Comment | Size | ||
---|---|---|---|---|---|---|---|
![]() |
|||||||
![]() |
40.1.57 | 10 years ago | Jiri Srba | added TAPAAL test nets (should be run in the GUI v |
![]() |
||
![]() |
22 | 11 years ago | Jonas Finnemann Jensen | Adding true/false and deadlock predicates... And t | 485 bytes |
![]() |
![]() |
![]() |
22 | 11 years ago | Jonas Finnemann Jensen | Adding true/false and deadlock predicates... And t | 15 bytes |
![]() |
![]() |
![]() |
22 | 11 years ago | Jonas Finnemann Jensen | Adding true/false and deadlock predicates... And t | 612 bytes |
![]() |
![]() |
![]() |
22 | 11 years ago | Jonas Finnemann Jensen | Adding true/false and deadlock predicates... And t | 15 bytes |
![]() |
![]() |
![]() |
22 | 11 years ago | Jonas Finnemann Jensen | Adding true/false and deadlock predicates... And t | 612 bytes |
![]() |
![]() |
![]() |
22 | 11 years ago | Jonas Finnemann Jensen | Adding true/false and deadlock predicates... And t | 12 bytes |
![]() |
![]() |
![]() |
22 | 11 years ago | Jonas Finnemann Jensen | Adding true/false and deadlock predicates... And t | 485 bytes |
![]() |
![]() |
![]() |
22 | 11 years ago | Jonas Finnemann Jensen | Adding true/false and deadlock predicates... And t | 12 bytes |
![]() |
![]() |
![]() |
22 | 11 years ago | Jonas Finnemann Jensen | Adding true/false and deadlock predicates... And t | 485 bytes |
![]() |
![]() |
![]() |
22 | 11 years ago | Jonas Finnemann Jensen | Adding true/false and deadlock predicates... And t | 19 bytes |
![]() |
![]() |
![]() |
21 | 11 years ago | Jonas Finnemann Jensen | Added test logic for other strategies | 679 bytes |
![]() |
![]() |
![]() |
21 | 11 years ago | Jonas Finnemann Jensen | Added test logic for other strategies | 7 bytes |
![]() |
![]() |
![]() |
21 | 11 years ago | Jonas Finnemann Jensen | Added test logic for other strategies | 679 bytes |
![]() |
![]() |
![]() |
21 | 11 years ago | Jonas Finnemann Jensen | Added test logic for other strategies | 7 bytes |
![]() |
![]() |
![]() |
21 | 11 years ago | Jonas Finnemann Jensen | Added test logic for other strategies | 3.8 KB |
![]() |
![]() |
![]() |
21 | 11 years ago | Jonas Finnemann Jensen | Added test logic for other strategies | 150 bytes |
![]() |
![]() |
![]() |
21 | 11 years ago | Jonas Finnemann Jensen | Added test logic for other strategies | 3.8 KB |
![]() |
![]() |
![]() |
21 | 11 years ago | Jonas Finnemann Jensen | Added test logic for other strategies | 153 bytes |
![]() |
![]() |
![]() |
21 | 11 years ago | Jonas Finnemann Jensen | Added test logic for other strategies | 3.8 KB |
![]() |
![]() |
![]() |
21 | 11 years ago | Jonas Finnemann Jensen | Added test logic for other strategies | 170 bytes |
![]() |
![]() |
![]() |
48.1.1 | 10 years ago | Jonas Finnemann Jensen | Added support for quoted identifiers in queries | 533 bytes |
![]() |
![]() |
![]() |
48.1.1 | 10 years ago | Jonas Finnemann Jensen | Added support for quoted identifiers in queries | 41 bytes |
![]() |
![]() |
![]() |
21 | 11 years ago | Jonas Finnemann Jensen | Added test logic for other strategies | 306 bytes |
![]() |
![]() |
![]() |
21 | 11 years ago | Jonas Finnemann Jensen | Added test logic for other strategies | 7 bytes |
![]() |
![]() |
![]() |
22 | 11 years ago | Jonas Finnemann Jensen | Adding true/false and deadlock predicates... And t | 485 bytes |
![]() |
![]() |
![]() |
22 | 11 years ago | Jonas Finnemann Jensen | Adding true/false and deadlock predicates... And t | 18 bytes |
![]() |
![]() |
![]() |
33 | 10 years ago | Jonas Finnemann Jensen | Fixed bug #1232486 | 588 bytes |
![]() |
![]() |
![]() |
33 | 10 years ago | Jonas Finnemann Jensen | Fixed bug #1232486 | 7 bytes |
![]() |
![]() |
![]() |
33 | 10 years ago | Jonas Finnemann Jensen | Fixed bug #1232486 | 356 bytes |
![]() |
![]() |
![]() |
33 | 10 years ago | Jonas Finnemann Jensen | Fixed bug #1232486 | 7 bytes |
![]() |
![]() |