lp:~verifydtapn-contributers/verifydtapn/BDDPassedList

Created by Peter Gjøl Jensen on 2013-09-13 and last modified on 2013-09-13
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

Owner:
verifydtapn-contributers
Project:
VerifyDTAPN
Status:
Experimental

Recent revisions

291. By Peter Gjøl Jensen on 2013-09-13

seemingly working implementation of the BDD

290. By Peter Gjøl Jensen on 2013-09-12

preparations for BDD-version

289. By Jiri Srba on 2013-09-04

2.1 release version of the engine

288. By Jiri Srba on 2013-09-02

merged in branch fixing segfault by removing deletes in destructors

287. By Jiri Srba on 2013-08-29

merged in branch removing memory leaks in the nonboost version

286. By Jiri Srba on 2013-08-26

merged in branch removing boost from the core engine

285. By Jiri Srba on 2013-08-13

merged in branch implementing deadlock proposition

284. By Jiri Srba on 2013-08-12

changed version number to 2.1.0

283. By Jiri Srba on 2013-08-12

merged in the branch adding urgency to transitions

282. By Jiri Srba on 2013-05-29

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:
lp:verifydtapn
This branch contains Public information 
Everyone can see this information.