lp:~tapaal-contributor/verifypn/update-parser

Created by Thomas Pedersen and last modified
Get this branch:
bzr branch lp:~tapaal-contributor/verifypn/update-parser
Members of TAPAAL Contributors can upload to this branch. Log in for directions.

Branch merges

Related bugs

Related blueprints

Branch information

Owner:
TAPAAL Contributors
Project:
verifypn
Status:
Development

Recent revisions

264. By Thomas Pedersen <email address hidden> on 2021-06-17

Fix partitionbuilder constructor and errors added in refactoring

263. By Thomas Pedersen <email address hidden> on 2021-06-15

Move EquivalenceVec to class

262. By Thomas Pedersen <email address hidden> on 2021-06-15

Fix adding tokens to color fixpoint

261. By Thomas Pedersen <email address hidden> on 2021-06-14

Refactor arguments in colored expressions

260. By Peter G. Jensen <email address hidden> on 2021-06-14

fixing use of dealloc

259. By Thomas Pedersen <email address hidden> on 2021-06-14

Fix creation of equivalence classes

258. By Thomas Pedersen <email address hidden> on 2021-06-14

Handle guard vars not on in arcs

257. By Thomas Pedersen <email address hidden> on 2021-06-14

Finish fixing return types

256. By Thomas Pedersen <email address hidden> on 2021-06-14

Fix some return types

255. By Thomas Pedersen <email address hidden> on 2021-06-11

Refactor IntervalGenerator

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.