verifypn

lp:~verifypn-cpn/verifypn/makeTesting

Created by Mark Glavind and last modified
Get this branch:
bzr branch lp:~verifypn-cpn/verifypn/makeTesting
Members of verifypn-cpn can upload to this branch. Log in for directions.

Branch merges

Related bugs

Related blueprints

Branch information

Owner:
verifypn-cpn
Project:
verifypn
Status:
Abandoned

Recent revisions

217. By Mark Glavind

Done removing redundant files for the first iteration

216. By Mark Glavind

WIP on clearing out files not needed

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

208. By Jiri Srba <email address hidden>

merged in branch lp:~verifypn-stub/verifypn/rulei-segfault
fixing segfault in reduction rule I

Branch metadata

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

Subscribers