← Back to branch summary

~verifypn-maintainers/verifypn/competition2015multiplePlaceBounds

From Revision 72 to 53

expand all expand all

Rev   Summary Authors Date Diff Files
72
removed MCC15 scripts (moved to trunk instead)
Jiri Srba 8 years ago Diff Files
71
updated the check script
Jiri Srba 8 years ago Diff Files
70
fixed parallel --gnu in scripts
Jiri Srba 8 years ago Diff Files
69
replaced will-cite with --no-notice
Jiri Srba 8 years ago Diff Files
68
updated scripts
Jiri Srba 8 years ago Diff Files
67
updated scripts
Jiri Srba 8 years ago Diff Files
66
updatting scripts, not finished yet
Jiri Srba 8 years ago Diff Files
65
updated script
Jiri Srba 9 years ago Diff Files
64
fix in PREFIX name
Jiri Srba 9 years ago Diff Files
63
updated competition year
Jiri Srba 9 years ago Diff Files
62
updated competition scripts
Jiri Srba 9 years ago Diff Files
61
scripts updated
Jiri Srba 9 years ago Diff Files
60
BenchKit_head competition updated
Jiri Srba 9 years ago Diff Files
59
scripts directory rearranged
Jiri Srba 9 years ago Diff Files
58
finished the hack on computing maximum place bound for more ...
Jiri Srba 9 years ago Diff Files
57
working on parsing multiple place bounds
Jiri Srba 9 years ago Diff Files
56
work on competition parsing, fix in paranthesis around conju...
Jiri Srba 9 years ago Diff Files
55
changed XML parser so that it preservers the order of tags
Jiri Srba 9 years ago Diff Files
54
merged in branch that fixes Rule C so that it is required th...
Jiri Srba 9 years ago Diff Files
53
merged in a branch allowing a static build of linux verifypn...
Jiri Srba 9 years ago Diff Files