lp:~verifypn-cpn/verifypn/partitioning

Created by Thomas Pedersen on 2021-02-23 and last modified on 2021-04-15
Get this branch:
bzr branch lp:~verifypn-cpn/verifypn/partitioning
Members of verifypn-cpn can upload to this branch. Log in for directions.

Branch merges

Related bugs

Related blueprints

Branch information

Owner:
verifypn-cpn
Project:
verifypn
Status:
Merged

Recent revisions

273. By Thomas Pedersen <email address hidden> on 2021-04-14

Merge with random-fix

272. By Thomas Pedersen <email address hidden> on 2021-04-14

Merge with color-fixpoint branch

271. By Thomas Pedersen <email address hidden> on 2021-04-14

Fix interval addition

270. By Thomas Pedersen <email address hidden> on 2021-04-13

Fix interval merging

269. By Thomas Pedersen <email address hidden> on 2021-04-13

Split partition and cfp computation

268. By Thomas Pedersen <email address hidden> on 2021-04-07

Fix place name lookup in query mapping

267. By Thomas Pedersen <email address hidden> on 2021-04-07

Fix token distribution, .all arcs and place unfolding

266. By Thomas Pedersen <email address hidden> on 2021-03-31

Fix apllication of equivalence classes in .all expressions

265. By Thomas Pedersen <email address hidden> on 2021-03-31

Handle .all on out arcs and uassigned variables

264. By Thomas Pedersen <email address hidden> on 2021-03-26

Handle varmaps in partitioning

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