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

Branch merges

Propose for merging

No branches dependent on this one.

Merged into lp:verifypn at revision 243

Jiri Srba: Approve on 2021-07-07

Peter Gjøl Jensen: Approve on 2021-07-07

Diff: 9294 lines (+3374/-2414)

37 files modified

include/PetriEngine/AbstractPetriNetBuilder.h (+4/-4)
include/PetriEngine/Colored/ArcIntervals.h (+11/-58)
include/PetriEngine/Colored/BindingGenerator.h (+32/-25)
include/PetriEngine/Colored/ColoredNetStructures.h (+4/-2)
include/PetriEngine/Colored/ColoredPetriNetBuilder.h (+30/-27)
include/PetriEngine/Colored/Colors.h (+101/-192)
include/PetriEngine/Colored/EquivalenceClass.h (+26/-54)
include/PetriEngine/Colored/EquivalenceVec.h (+69/-0)
include/PetriEngine/Colored/Expressions.h (+341/-385)
include/PetriEngine/Colored/GuardRestrictor.h (+86/-67)
include/PetriEngine/Colored/IntervalGenerator.h (+22/-172)
include/PetriEngine/Colored/Intervals.h (+204/-257)
include/PetriEngine/Colored/Multiset.h (+9/-9)
include/PetriEngine/Colored/PartitionBuilder.h (+46/-29)
include/PetriEngine/PQL/Expressions.h (+37/-1)
include/PetriEngine/PQL/PQL.h (+2/-0)
include/PetriEngine/PetriNetBuilder.h (+2/-2)
include/PetriEngine/Reducer.h (+4/-5)
include/PetriEngine/TAR/range.h (+7/-3)
include/PetriEngine/options.h (+5/-1)
include/PetriParse/PNMLParser.h (+4/-4)
src/LTL/LTLMain.cpp (+1/-3)
src/PetriEngine/Colored/BindingGenerator.cpp (+134/-76)
src/PetriEngine/Colored/CMakeLists.txt (+3/-1)
src/PetriEngine/Colored/ColoredPetriNetBuilder.cpp (+444/-180)
src/PetriEngine/Colored/Colors.cpp (+53/-78)
src/PetriEngine/Colored/EquivalenceClass.cpp (+50/-58)
src/PetriEngine/Colored/EquivalenceVec.cpp (+86/-0)
src/PetriEngine/Colored/GuardRestrictor.cpp (+301/-177)
src/PetriEngine/Colored/IntervalGenerator.cpp (+197/-0)
src/PetriEngine/Colored/Multiset.cpp (+34/-34)
src/PetriEngine/Colored/PartitionBuilder.cpp (+304/-225)
src/PetriEngine/PQL/Expressions.cpp (+373/-5)
src/PetriEngine/PetriNetBuilder.cpp (+1/-2)
src/PetriEngine/Reducer.cpp (+4/-27)
src/PetriParse/PNMLParser.cpp (+107/-110)
src/VerifyPN.cpp (+236/-141)

api

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related bugs

Related blueprints

296. By Peter G. Jensen <email address hidden> on 2021-07-07

updated text in help

295. By Thomas Pedersen <email address hidden> on 2021-07-06

Reset both sides in inequality after equality fails

294. By Peter G. Jensen <email address hidden> on 2021-07-06

fixing loop guard

293. By Peter G. Jensen <email address hidden> on 2021-07-06

fixing type

292. By Peter G. Jensen <email address hidden> on 2021-07-06

remove unused variable

291. By Peter G. Jensen <email address hidden> on 2021-07-06

fixing simplify again

290. By Peter G. Jensen <email address hidden> on 2021-07-06

removing unused code, initializing variable

289. By Peter G. Jensen <email address hidden> on 2021-07-06

fixing off-by-one when reducing, leading to segfault

288. By Peter G. Jensen <email address hidden> on 2021-07-06

making destructor virtual

287. By Thomas Pedersen <email address hidden> on 2021-07-06

Fix inequality implementation to not just invert the varmap