lp:~verifypn-cpn/verifypn/unitTest

Created by Mark Glavind on 2019-05-16 and last modified on 2019-05-16
Get this branch:
bzr branch lp:~verifypn-cpn/verifypn/unitTest
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:
Development

Recent revisions

223. By Mark Glavind on 2019-05-16

 Merge from dynamic export

222. By Mark Glavind on 2019-05-08

merge from dynamicExport, feature is finished

221. By Mark Glavind on 2019-05-06

merge from unfoldQuery, feature finished

220. By Mark Glavind on 2019-04-29

small bugfixes that dit not allow compilation

219. By Mark Glavind on 2019-04-29

merge from exportTAPN, unfolding and exporting of TACPN to TAPN finished

218. By Mark Glavind on 2019-04-03

 merge from TACPNParser, feature finished

217. By Mark Glavind on 2019-03-21

Done removing redundant files for the first iteration

216. By Mark Glavind on 2019-03-20

WIP on clearing out files not needed

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

added consistency tests

214. By Jiri Srba on 2019-03-02

added MCC competition scripts

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