← Back to branch summary

~tapaal-dist-ctl/verifypn/new_deadlocksupport

From Revision 95 to 76

expand all expand all

Rev   Summary Authors Date Diff Files
95
Added the deadlock support to a new branch. Tested the branc...
Søren Moss Nielsen 7 years ago Diff Files
94
merged in branch verifypn/arbitrary_query_count_support fixi...
Jiri Srba 7 years ago Diff Files
93
merged in branch verifypn/true_false_and_equal_support fixin...
Jiri Srba 7 years ago Diff Files
92
merged in branch verifypn/escapeKey_issue_fix fixing the par...
Jiri Srba 7 years ago Diff Files
91
updated on the make files (removing -march=native flag)
Jiri Srba 7 years ago Diff Files
90
merge in branch ParserRefactoring_The_Correct_One (new parse...
Jiri Srba 7 years ago Diff Files
89
one fix in the script in upper bounds
Jiri Srba 8 years ago Diff Files
88
changed in the CTL strategy in script
Jiri Srba 8 years ago Diff Files
87
merged in branch ctl-cache-single-succ
Jiri Srba 8 years ago Diff Files
86
updated the competition script
Jiri Srba 8 years ago Diff Files
85
updated script
Jiri Srba 8 years ago Diff Files
84
updated tapaal.sh script
Jiri Srba 8 years ago Diff Files
83
fix in a script
Jiri Srba 8 years ago Diff Files
82
changed tapaal.sh script
Jiri Srba 8 years ago Diff Files
81
merged in branch verifypn-conf-opti
Jiri Srba 8 years ago Diff Files
80
merged in branch verifypn-and-or-opti
Jiri Srba 8 years ago Diff Files
79
merged in branch verifypn-ctl-fast-eval
Jiri Srba 8 years ago Diff Files
78
merged in branch verifypn-ctl-config-hash
Jiri Srba 8 years ago Diff Files
77
updated the script
Jiri Srba 8 years ago Diff Files
76
changed tool name to tapaalSEQ
Jiri Srba 8 years ago Diff Files