lp:~verifypn-stub/verifypn/ctl_por_bug

Branch merges

Propose for merging

No branches dependent on this one.

Merged into lp:verifypn at revision 199

Jiri Srba: Approve on 2018-03-15

Diff: 133 lines (+28/-14)

5 files modified

PetriEngine/PQL/Expressions.cpp (+13/-3)
PetriEngine/PQL/Expressions.h (+8/-10)
PetriEngine/PetriNet.cpp (+1/-1)
PetriEngine/ReducingSuccessorGenerator.cpp (+1/-0)
PetriEngine/Structures/light_deque.h (+5/-0)

api

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related bugs

Related blueprints

199. By Peter Gjøl Jensen on 2018-03-14

clearning old precomputation when starting new computation

198. By Peter Gjøl Jensen on 2018-02-16

fixed bug with CommutativeExpr

197. By Jiri Srba on 2018-01-23

merged in branch lp:~verifypn-stub/verifypn/always_compile
forcing a compilation of negation push for fireability predicates

196. By Jiri Srba on 2018-01-15

updated the license file

195. By Jiri Srba on 2018-01-15

merged branch lp:~verifypn-stub/verifypn/encoder-fix fixing a bug in encoder (memcpy)

194. By Jiri Srba on 2018-01-13

changed version number to 2.2.0 and copyright to 2018

193. By Jiri Srba <email address hidden> on 2018-01-04

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> on 2017-12-14

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> on 2017-12-13

merged in branch lp:~verifypn-stub/verifypn/po-fixes fixing partial order reduction for equality and nonequality

190. By Jiri Srba <email address hidden> on 2017-12-04

merged in branch lp:~verifypn-stub/verifypn/initrw additing initial marking rewriting test