lp:~tapaal-dist-ctl/verifypn/parallel-lockfree

Created by Lasse S. Jensen on 2016-02-24 and last modified on 2016-04-20
Get this branch:
bzr branch lp:~tapaal-dist-ctl/verifypn/parallel-lockfree
Members of Distributed Czero Team can upload to this branch. Log in for directions.

Branch merges

Related bugs

Related blueprints

Branch information

Owner:
Distributed Czero Team
Project:
verifypn
Status:
Development

Recent revisions

284. By Søren Moss Nielsen <email address hidden> on 2016-04-20

Disabled multi invokation of Upperbounds queries

283. By Søren Moss Nielsen <email address hidden> on 2016-04-20

Removed misleading CANNOT_COMPUTE statement

282. By Søren Moss Nielsen <email address hidden> on 2016-04-19

Updated script to disable overapproximation on UpperBound queries

281. By Søren Moss Nielsen <email address hidden> on 2016-04-18

Added invokation scripts for the MCC16 VM

280. By Samuel Pastva on 2016-04-15

Back to old hash

279. By Samuel Pastva on 2016-04-15

Get rid of the extra output

278. By Samuel Pastva on 2016-04-15

Faster negation picking

277. By Samuel Pastva on 2016-04-15

Pick ordering and hash

276. By Samuel Pastva on 2016-04-15

remove assert

275. By Samuel Pastva on 2016-04-15

Less asserts

Branch metadata

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