lp:~verifypn-maintainers/verifypn/interval_tar

Created by Peter Gjøl Jensen on 2020-04-22 and last modified on 2020-09-11
Get this branch:
bzr branch lp:~verifypn-maintainers/verifypn/interval_tar
Members of VerifyPN Maintainers can upload to this branch. Log in for directions.

Branch merges

Related bugs

Related blueprints

Branch information

Owner:
VerifyPN Maintainers
Project:
verifypn
Status:
Merged

Recent revisions

364. By <email address hidden> on 2020-09-11

updated README with compilation instructions for mac

363. By Kenneth Yrke Jørgensen on 2020-09-11

Updated readme

362. By Kenneth Yrke Jørgensen on 2020-08-18

Updated readme with info for cross-compile

361. By Kenneth Yrke Jørgensen on 2020-07-09

Updated argeument for cross compile glpk for windows

360. By <email address hidden> on 2020-07-08

updated readme as TAR is now possible for all platforms

359. By <email address hidden> on 2020-07-08

allowed compilation for Mac

358. By Peter G. Jensen <email address hidden> on 2020-07-06

another missing inhib check

357. By Peter G. Jensen <email address hidden> on 2020-07-06

removing unused glpk import from STSolver

356. By Peter G. Jensen <email address hidden> on 2020-07-06

fixed handling of inhibitor

355. By Peter G. Jensen <email address hidden> on 2020-07-03

inhibitor arcs are not yet handled by TAR solver, so return error if used with TAR

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.