lp:~verifypn-cpn/verifypn/graceful-exitting

Branch merges

Propose for merging

No branches dependent on this one.

Merged into lp:verifypn at revision 243

Peter Gjøl Jensen: Pending requested 2021-05-18

Diff: 63 lines (+16/-8)

2 files modified

src/PetriEngine/Colored/ColoredPetriNetBuilder.cpp (+7/-4)
src/PetriEngine/PQL/Expressions.cpp (+9/-4)

api

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related bugs

Related blueprints

241. By Peter Haahr Taankvist on 2021-05-18

Add comment

240. By Peter Haahr Taankvist on 2021-05-18

Remove debug line

239. By Peter Haahr Taankvist on 2021-05-18

Exit gracefully if colored transition does not exist

238. By Peter Haahr Taankvist on 2021-05-18

Exit gracefully if uncolored transition identifier does not exist

237. By Jiri Srba on 2021-05-10

This the version submitted to MCC 2021.

236. By Jiri Srba on 2021-05-01

merged in lp:~verifypn-cpn/verifypn/optimize-unfolding improving the unfolding of CPN

235. By Jiri Srba on 2021-04-28

updated competition 2021 scripts

234. By <email address hidden> on 2021-04-27

merged in lp:~verifypn-cpn/verifypn/partitioning parsing vehicularWifi and fixing some issues and disabeling partitioning for state-space exploration

233. By <email address hidden> on 2021-04-17

updated README file

232. By <email address hidden> on 2021-04-16

merged in lp:~tapaal-ltl/verifypn/random-fix adding LTL heuristic, fixing random search and adding partitioning to CPN unfodling