lp:~verifypn-stub/verifypn/new-ctl

Branch merges

Propose for merging

No branches dependent on this one.

Merged into lp:verifypn at revision 189

Jiri Srba: Approve on 2017-12-04

Peter Gjøl Jensen: Approve on 2017-12-01

Diff: 6063 lines (+1853/-2712)

38 files modified

CTL/Algorithm/CertainZeroFPA.cpp (+185/-78)
CTL/Algorithm/CertainZeroFPA.h (+20/-7)
CTL/Algorithm/FixedPointAlgorithm.h (+4/-6)
CTL/Algorithm/LocalFPA.cpp (+72/-56)
CTL/Algorithm/LocalFPA.h (+11/-2)
CTL/CTLEngine.cpp (+88/-155)
CTL/CTLEngine.h (+4/-3)
CTL/CTLParser/CTLParser.cpp (+0/-627)
CTL/CTLParser/CTLParser.h (+0/-68)
CTL/CTLParser/CTLQuery.cpp (+0/-179)
CTL/CTLParser/CTLQuery.h (+0/-65)
CTL/CTLParser/EvaluateableProposition.cpp (+0/-344)
CTL/CTLParser/EvaluateableProposition.h (+0/-66)
CTL/CTLResult.h (+17/-23)
CTL/DependencyGraph/BasicDependencyGraph.h (+4/-1)
CTL/DependencyGraph/Configuration.cpp (+3/-52)
CTL/DependencyGraph/Configuration.h (+5/-14)
CTL/DependencyGraph/Edge.h (+12/-5)
CTL/DependencyGraph/assignment.h (+11/-0)
CTL/PetriNets/OnTheFlyDG.cpp (+394/-310)
CTL/PetriNets/OnTheFlyDG.h (+42/-26)
CTL/PetriNets/PetriConfig.h (+6/-20)
CTL/SearchStrategy/DFSSearch.cpp (+121/-27)
CTL/SearchStrategy/DFSSearch.h (+13/-13)
CTL/SearchStrategy/iSearchStrategy.h (+47/-0)
PetriEngine/PQL/Contexts.h (+4/-0)
PetriEngine/PQL/Expressions.cpp (+326/-189)
PetriEngine/PQL/Expressions.h (+353/-290)
PetriEngine/PQL/PQL.cpp (+1/-20)
PetriEngine/PQL/PQL.h (+24/-10)
PetriEngine/Reachability/ReachabilitySearch.cpp (+3/-1)
PetriEngine/Reachability/ReachabilitySearch.h (+8/-3)
PetriEngine/Structures/AlignedEncoder.cpp (+22/-8)
PetriEngine/Structures/Queue.cpp (+4/-5)
PetriEngine/Structures/Queue.h (+5/-5)
PetriEngine/Structures/State.h (+1/-1)
PetriParse/QueryXMLParser.cpp (+2/-1)
VerifyPN.cpp (+41/-32)

api

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related bugs

Related blueprints

235. By Peter Gjøl Jensen on 2017-12-04

fixed warnings

234. By Peter Gjøl Jensen on 2017-12-04

added more override flags

233. By Peter Gjøl Jensen on 2017-12-04

added overwrite

232. By Peter Gjøl Jensen on 2017-12-01

reduced rewrite overhead

231. By Peter Gjøl Jensen on 2017-11-30

reduced negation push when result cnannot change

230. By Peter Gjøl Jensen on 2017-11-30

guarded statistics output

229. By Peter Gjøl Jensen on 2017-11-30

merged with trunk

228. By Peter Gjøl Jensen on 2017-11-29

merged ín new rules and statistics

227. By Peter Gjøl Jensen on 2017-11-26

added missing query-check on initial state

226. By Peter Gjøl Jensen on 2017-11-26

merged with negation-push