← Back to branch summary

~verifypn-wf/verifypn/petergame

From Revision 221 to 202

expand all expand all

Rev   Summary Authors Date Diff Files
221
small update in scripts
srba.jiri at gmail 4 years ago Diff Files
220
added MCC 2020 competition scripts
srba.jiri at gmail 4 years ago Diff Files
219
merged in lp:~verifypn-cpn/verifypn/eq-push-fix-trunk fixing...
srba.jiri at gmail 5 years ago Diff Files
218
merged in lp:~verifypn-maintainers/verifypn/emptyTracePrint ...
Jiri Srba 5 years ago Diff Files
217
increased version number to 3.0.2
Jiri Srba 5 years ago Diff Files
216
merged in lp:~verifypn-cpn/verifypn/rulef-tracefix fixing an...
Jiri Srba 5 years ago Diff Files
215
added consistency tests
srba.jiri at gmail 5 years ago Diff Files
214
added MCC competition scripts
Jiri Srba 5 years ago Diff Files
213
merged in branch lp:~verifypn-cpn/verifypn/query_rewrite_fix...
Jiri Srba 5 years ago Diff Files
212
updated competition script not to create temporary files
Jiri Srba 5 years ago Diff Files
211
increased version number to 3.0.1
Jiri Srba 5 years ago Diff Files
210
merged in branch lp:~verifypn-cpn/verifypn/unfold-improve
Jiri Srba 5 years ago Diff Files
209
fixed the tapaal.sh script for queries with prefix of 0
srba.jiri at gmail 6 years ago Diff Files
208
merged in branch lp:~verifypn-stub/verifypn/rulei-segfault
Jiri Srba 6 years ago Diff Files
207
merged in branch lp:~verifypn-cpn/verifypn/col_weight_fix fi...
Jiri Srba 6 years ago Diff Files
206
merged in branch lp:~verifypn-stub/verifypn/inhibitor-por-er...
Jiri Srba 6 years ago Diff Files
205
merged in branch lp:~verifypn-stub/verifypn/inhib-por-bugfix
Jiri Srba 6 years ago Diff Files
204
merged in branch lp:~verifypn-stub/verifypn/dl-structural-bu...
Jiri Srba 6 years ago Diff Files
203
changed version number to 3.0.0 (support of CPN)
Jiri Srba 6 years ago Diff Files
202
added MCC18 competition scripts, qemu guide and cluster scri...
Jiri Srba 6 years ago Diff Files