VerifyDTAPN

lp:~verifydtapn-contributers/verifydtapn/BDDPassedAndWaitingList

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

Branch merges

Related bugs

Related blueprints

Branch information

Owner:
verifydtapn-contributers
Project:
VerifyDTAPN
Status:
Experimental

Recent revisions

295. By Peter Gjøl Jensen

added gbc

294. By Peter Gjøl Jensen

removed redundant code

293. By Peter Gjøl Jensen

minor change, should give some speedup

292. By Peter Gjøl Jensen

added bdd-waitinglist

291. By Peter Gjøl Jensen

seemingly working implementation of the BDD

290. By Peter Gjøl Jensen

preparations for BDD-version

289. By Jiri Srba

2.1 release version of the engine

288. By Jiri Srba

merged in branch fixing segfault by removing deletes in destructors

287. By Jiri Srba

merged in branch removing memory leaks in the nonboost version

286. By Jiri Srba

merged in branch removing boost from the core engine

Branch metadata

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