VerifyDTAPN

lp:~verifydtapn-contributers/verifydtapn/win-compile

Created by Peter Gjøl Jensen and last modified
Get this branch:
bzr branch lp:~verifydtapn-contributers/verifydtapn/win-compile
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:
Merged

Recent revisions

342. By Peter Gjøl Jensen

removed smart points due to problems on osx

341. By Peter Gjøl Jensen

replace boost with stdlib for shared ptr

340. By Peter Gjøl Jensen

replace boost with stdlib for shared ptr

339. By Peter Gjøl Jensen

Merged

338. By Peter Gjøl Jensen

added missing negation

337. By Peter Gjøl Jensen

now using relative path for windows specific libraries

336. By Peter Gjøl Jensen

fixed compilation for windows

335. By Jiri Srba

released version d3.2.0

334. By Jiri Srba

changed version number to 3.2 (PTrie in workflow analysis)

333. By Jiri Srba

merged in a big branch implementing PTrie for workflow analysis

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.