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

Branch merges

Propose for merging

No branches dependent on this one.

Merged into lp:verifypn at revision 236

Jiri Srba: Approve on 2021-05-01

Peter Gjøl Jensen: Pending requested 2021-04-29

Diff: 128 lines (+58/-4)

3 files modified

include/PetriEngine/Colored/ColoredNetStructures.h (+1/-0)
include/PetriEngine/Colored/ColoredPetriNetBuilder.h (+1/-1)
src/PetriEngine/Colored/ColoredPetriNetBuilder.cpp (+56/-3)

api

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related bugs

Related blueprints

273. By Peter Haahr Taankvist on 2021-06-10

Can now parse UtilityControlRoom (new net in 2021)

272. By Thomas Pedersen <email address hidden> on 2021-06-08

Remove some debugging code

271. By Thomas Pedersen <email address hidden> on 2021-06-01

Add compact writing of xml queries

270. By Peter Haahr Taankvist on 2021-05-30

merge graceful exitting branch

269. By Thomas Pedersen <email address hidden> on 2021-05-27

Add comments to partitioning

268. By Thomas Pedersen <email address hidden> on 2021-05-26

Finish adding symmetric vars to binding generator

267. By Peter Haahr Taankvist on 2021-05-25

fixing binding generator for symmetric vars work in progress

266. By Peter Haahr Taankvist on 2021-05-24

Discover symmetric variables for unfolding

265. By Thomas Pedersen <email address hidden> on 2021-05-24

Fix parsing error and petri net reordering

264. By Thomas Pedersen <email address hidden> on 2021-05-21

Split varmaps on or expressions