lp:verifydtapn/d2.1

Created by Jiri Srba on 2013-09-04 and last modified on 2014-01-25
Get this branch:
bzr branch lp:verifydtapn/d2.1
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:
Mature

Recent revisions

290. By Jiri Srba on 2014-01-25

merged in branch fixing a trace generation issues for EG queries and increased
verison number to d2.1.1

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)

281. By Jiri Srba on 2013-05-12

updated linux compile script

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.