lp:~verifypn-stub/verifypn/query-opt

Branch merges

Propose for merging

No branches dependent on this one.

Merged into lp:verifypn at revision 187

Jiri Srba: Approve on 2017-11-20

Diff: 3189 lines (+1025/-816)

16 files modified

CTL/CTLParser/EvaluateableProposition.cpp (+3/-0)
PetriEngine/PQL/Expressions.cpp (+593/-453)
PetriEngine/PQL/Expressions.h (+130/-90)
PetriEngine/PQL/PQL.h (+5/-5)
PetriEngine/PQL/PQLQueryParser.parser.cpp (+3/-3)
PetriEngine/PQL/PQLQueryParser.y (+3/-3)
PetriEngine/Reachability/ReachabilitySearch.h (+2/-1)
PetriEngine/Simplification/LPCache.h (+0/-1)
PetriEngine/Simplification/LinearProgram.cpp (+8/-4)
PetriEngine/Simplification/LinearProgram.h (+8/-74)
PetriEngine/Simplification/LinearPrograms.h (+78/-33)
PetriEngine/Simplification/Retval.h (+34/-10)
PetriEngine/options.h (+1/-1)
PetriParse/QueryXMLParser.cpp (+120/-117)
PetriParse/QueryXMLParser.h (+4/-3)
VerifyPN.cpp (+33/-18)

api

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related bugs

Related blueprints

221. By Peter Gjøl Jensen on 2017-11-18

added printing of deadlock-atomic to ctl

220. By Peter Gjøl Jensen on 2017-11-17

fixed XML printing

219. By Peter Gjøl Jensen on 2017-11-17

added default-search-strategy to make CTL-engine able to choose

218. By Peter Gjøl Jensen on 2017-10-09

Merged with trunk

217. By Peter Gjøl Jensen on 2017-06-24

fixed union bug

216. By Peter Gjøl Jensen on 2017-06-23

cleanup

215. By Peter Gjøl Jensen on 2017-06-23

best version

214. By Peter Gjøl Jensen on 2017-06-23

minor speedup

213. By Peter Gjøl Jensen on 2017-06-23

better structure

212. By Peter Gjøl Jensen on 2017-06-23

added binary merging and checking to reduce complexity