lp:~tapaal-ltl/verifypn/mcc2021

Created by Peter Gjøl Jensen on 2021-03-17 and last modified on 2021-04-02
Get this branch:
bzr branch lp:~tapaal-ltl/verifypn/mcc2021
Members of tapaal-ltl can upload to this branch. Log in for directions.

Branch merges

Related bugs

Related blueprints

Branch information

Owner:
tapaal-ltl
Project:
verifypn
Status:
Merged

Recent revisions

258. By <email address hidden> on 2021-04-02

Boosted version number to 4.0.0

257. By <email address hidden> on 2021-04-02

removed -j8 optino

256. By <email address hidden> on 2021-04-02

updated CMake files to compile for mac

255. By Peter G. Jensen <email address hidden> on 2021-04-02

trying to compile on mac

254. By Jiri Srba on 2021-04-01

changed Kenneth's email address

253. By Jiri Srba on 2021-03-31

replaced uint with size_t

252. By <email address hidden> on 2021-03-31

updated the contributers and copyright year

251. By Peter G. Jensen <email address hidden> on 2021-03-26

Merging in fix for colored orphans

250. By Peter G. Jensen <email address hidden> on 2021-03-24

readded static compilation

249. By Peter G. Jensen <email address hidden> on 2021-03-22

Merging in collor fixpoint

Branch metadata

Branch format:
Branch format 7
Repository format:
Bazaar repository format 2a (needs bzr 1.16 or later)
Stacked on:
lp:verifypn
This branch contains Public information 
Everyone can see this information.

Subscribers