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

Branch merges

Related bugs

Related blueprints

Branch information


Recent revisions

218. By Peter Gjøl Jensen

switched to cout to avoid confusing the GUI

217. By Peter Gjøl Jensen

added warning of disabled rule

216. By Peter Gjøl Jensen

Fixed Trace-reconstruction when using reductions

215. By <email address hidden>

added consistency tests

214. By Jiri Srba

added MCC competition scripts

213. By Jiri Srba

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

212. By Jiri Srba <email address hidden>

updated competition script not to create temporary files

211. By Jiri Srba <email address hidden>

increased version number to 3.0.1

210. By Jiri Srba <email address hidden>

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

209. By <email address hidden>

fixed the tapaal.sh script for queries with prefix of 0

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.