lp:~verifypn-cpn/verifypn/optimize-unfolding

Created by Thomas Pedersen and last modified
Get this branch:
bzr branch lp:~verifypn-cpn/verifypn/optimize-unfolding
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:
Development

Recent revisions

249. By Thomas Pedersen <email address hidden> on 2021-05-06

Optimize handling of unfolded places

248. By Peter Haahr Taankvist on 2021-05-06

Allow for newline characters in inscription tag

247. By Thomas Pedersen <email address hidden> on 2021-05-06

Mark fully split partitions as diagonal

246. By Thomas Pedersen <email address hidden> on 2021-05-04

Use more constant references

245. By Thomas Pedersen <email address hidden> on 2021-05-04

Undo string lookup error

244. By Thomas Pedersen <email address hidden> on 2021-05-03

Remove string lookup

243. By Thomas Pedersen <email address hidden> on 2021-05-03

Remove copy in handleOrphanPlaces

242. By Thomas Pedersen <email address hidden> on 2021-05-03

Implement expression equality check

241. By Thomas Pedersen <email address hidden> on 2021-05-03

Merge in unfolding option

240. By Thomas Pedersen <email address hidden> on 2021-04-30

Remove debug message

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