lp:~verifypn-stub/verifypn/encoder-fix
- Get this branch:
- bzr branch lp:~verifypn-stub/verifypn/encoder-fix
Branch merges
- Jiri Srba: Approve
-
Diff: 12 lines (+1/-1)1 file modifiedPetriEngine/Structures/AlignedEncoder.cpp (+1/-1)
Branch information
Recent revisions
- 193. By Jiri Srba <email address hidden>
-
merged in branch lp:~verifypn-stub/verifypn/ctl-structural adding structurcal reduction
for CTL model checking and Stubborn sets for EF/AG leafs in the CTL algorithm - 192. By Jiri Srba <email address hidden>
-
merged in branch lp:~verifypn-stub/verifypn/conjunction
- Compiles inequalities into a convex constraint-system when possible.
- Unfolds fire-ability propositions on-the-fly instead of up front.
- Removes occurrences of same variable of each side of an equality over commutative arithmetic operators (eg a+b+c<=a can be rewritten b+c<=0).
- Compiles id-expressions and constants directly into an array of a commutative arithmetic expression rather than as child-objects.
- Constructs lazy linear programs into a (balanced) tree instead of a linear walk through (fixes issue with stack-overflow). - 191. By Jiri Srba <email address hidden>
-
merged in branch lp:~verifypn-stub/verifypn/po-fixes fixing partial order reduction for equality and nonequality
- 190. By Jiri Srba <email address hidden>
-
merged in branch lp:~verifypn-stub/verifypn/initrw additing initial marking rewriting test
- 188. By Jiri Srba <email address hidden>
-
merged in branch lp:~verifypn-stub/verifypn/negation-push and logical equivalnces to query processing
- 187. By Jiri Srba <email address hidden>
-
merged in branch lp:~verifypn-stub/verifypn/query-opt addion query simplification optmizations
Branch metadata
- Branch format:
- Branch format 7
- Repository format:
- Bazaar repository format 2a (needs bzr 1.16 or later)
- Stacked on:
- lp:verifypn