Created by Peter Gjøl Jensen and last modified
Get this branch:
bzr branch lp:~verifypn-cpn/verifypn/eq-push-fix-trunk
Members of verifypn-cpn can upload to this branch. Log in for directions.

Branch merges

Related bugs

Related blueprints

Branch information


Recent revisions

219. By Peter Gjøl Jensen on 2019-04-23

fixed error in re-write of equality into simpler form (hotfix for trunk, similar to lp:~verifypn-cpn/verifypn/eq-push-fix)

218. By Jiri Srba <email address hidden> on 2019-04-01

merged in lp:~verifypn-maintainers/verifypn/emptyTracePrint fixing the printing of empty trace

217. By Jiri Srba <email address hidden> on 2019-03-28

increased version number to 3.0.2

216. By Jiri Srba <email address hidden> on 2019-03-28

merged in lp:~verifypn-cpn/verifypn/rulef-tracefix fixing an issue with trace generation when reduction rule H is enabled

215. By <email address hidden> on 2019-03-14

added consistency tests

214. By Jiri Srba on 2019-03-02

added MCC competition scripts

213. By Jiri Srba on 2018-09-11

merged in branch lp:~verifypn-cpn/verifypn/query_rewrite_fix fixing a bug in query rewriting

212. By Jiri Srba <email address hidden> on 2018-06-29

updated competition script not to create temporary files

211. By Jiri Srba <email address hidden> on 2018-06-29

increased version number to 3.0.1

210. By Jiri Srba <email address hidden> on 2018-06-26

merged in branch lp:~verifypn-cpn/verifypn/unfold-improve

Branch metadata

Branch format:
Branch format 7
Repository format:
Bazaar repository format 2a (needs bzr 1.16 or later)
Stacked on:
This branch contains Public information 
Everyone can see this information.