lp:~verifypn-stub/verifypn/deadlock-hotfix-2.2
Created by
Peter Gjøl Jensen
and last modified
- Get this branch:
- bzr branch lp:~verifypn-stub/verifypn/deadlock-hotfix-2.2
Members of
verifypn-stub
can upload to this branch. Log in for directions.
Branch merges
Propose for merging
No branches
dependent on this one.
- Jiri Srba: Approve
-
Diff: 67 lines (+16/-5)3 files modifiedPetriEngine/PQL/Contexts.h (+1/-1)
PetriEngine/PetriNetBuilder.cpp (+13/-2)
PetriEngine/Reducer.h (+2/-2)
Branch information
Recent revisions
- 200. By Jiri Srba <email address hidden>
-
merged in branch lp:~verifypn-stub/verifypn/ctl_por_bug causing wrong answer on one query in MCC'17
- 199. By Jiri Srba <email address hidden>
-
merged in branch lp:~verifypn-stub/verifypn/commutative_expr_bug fixing arithmetic expressions eveluation
- 197. By Jiri Srba
-
merged in branch lp:~verifypn-stub/verifypn/always_compile
forcing a compilation of negation push for fireability predicates - 195. By Jiri Srba
-
merged branch lp:~verifypn-stub/verifypn/encoder-fix fixing a bug in encoder (memcpy)
- 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
Branch metadata
- Branch format:
- Branch format 7
- Repository format:
- Bazaar repository format 2a (needs bzr 1.16 or later)
- Stacked on:
- lp:verifypn