lp:~verifypn-cpn/verifypn/col_weight_fix
- Get this branch:
- bzr branch lp:~verifypn-cpn/verifypn/col_weight_fix
Branch merges
- Jiri Srba: Approve
- Andreas Klostergaard (community): Needs Resubmitting
-
Diff: 319 lines (+135/-15)5 files modifiedPetriEngine/Colored/ColoredPetriNetBuilder.cpp (+18/-4)
PetriEngine/Colored/ColoredPetriNetBuilder.h (+2/-0)
PetriEngine/Colored/Colors.h (+8/-1)
PetriEngine/Colored/Expressions.h (+105/-8)
PetriParse/PNMLParser.cpp (+2/-2)
Branch information
Recent revisions
- 207. By Andreas Klostergaard
-
Fixed compilation warning.
------------- This line and the following will be ignored --------------
modified:
PetriEngine/Colored/ Expressions. h - 202. By Jiri Srba <email address hidden>
-
added MCC18 competition scripts, qemu guide and cluster scripts
- 201. By Jiri Srba <email address hidden>
-
merged in branch lp:~verifypn-cpn/verifypn/trunk-cpn-upgrade speeding
up the unfolding of product colors in CPN and code cleanup - 200. By Jiri Srba <email address hidden>
-
merged in branch lp:~verifypn-cpn/verifypn/cpn_ctlss/
CPN unfolding
CPN linear overapproximation
Export of reduced queries and model
parallel query simplification
TAR for P/T nets
Improved structural reduction rules - 199. By Jiri Srba <email address hidden>
-
merged in branch lp:~verifypn-stub/verifypn/ctl_por_bug fixing one wrong answer on a query in MCC'17
- 198. By Jiri Srba <email address hidden>
-
merged in branch lp:~verifypn-stub/verifypn/commutative_expr_bug fixing problems with evaluating arithmetic expressions
Branch metadata
- Branch format:
- Branch format 7
- Repository format:
- Bazaar repository format 2a (needs bzr 1.16 or later)
- Stacked on:
- lp:verifypn