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

Branch merges

Related bugs

Related blueprints

Branch information


Recent revisions

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

285. By Jiri Srba

merged in branch implementing deadlock proposition

284. By Jiri Srba

changed version number to 2.1.0

283. By Jiri Srba

merged in the branch adding urgency to transitions

282. By Jiri Srba

merged in branch CleanupUnusedCode (refactoring)

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.