← Back to branch summary

~verifypn-maintainers/verifypn/trunk

From Revision 97 to 78

expand all expand all

Rev   Summary Authors Date Diff Files
97
merged in branch verifypn/logicaloperator_change that change...
Jiri Srba 7 years ago Diff Files
96
merged in branch verifypn/warning_fix fixing a compilation w...
Jiri Srba 7 years ago Diff Files
95
Merged in branch verifypn/new_deadlocksupport adding deadloc...
Jiri Srba 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