VerifyDTAPN

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

No branches dependent on this one.

Related bugs

Link a bug report

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.

Subscribers

verifydtapn-contr...