lp:~verifypn-cpn/verifypn/query_rewrite_fix

Branch merges

Propose for merging

No branches dependent on this one.

Merged into lp:verifypn at revision 213

Jiri Srba: Approve on 2018-09-11

Diff: 370 lines (+123/-110)

3 files modified

PetriEngine/PQL/Contexts.h (+4/-2)
PetriEngine/PQL/Expressions.cpp (+91/-107)
PetriEngine/PQL/Expressions.h (+28/-1)

api

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related bugs

Related blueprints

216. By Peter Gjøl Jensen on 2018-08-25

reallowing merging of conj/conj and disj/disj

215. By Peter Gjøl Jensen on 2018-08-25

more fixing of conjunct, minor optimizations for ne and eq

214. By Peter Gjøl Jensen on 2018-08-25

fixed merging of compareconjunct

213. By Peter Gjøl Jensen on 2018-08-25

fixed merging of compareconjunct

212. By Jiri Srba <email address hidden> on 2018-06-29

updated competition script not to create temporary files

211. By Jiri Srba <email address hidden> on 2018-06-29

increased version number to 3.0.1

210. By Jiri Srba <email address hidden> on 2018-06-26

merged in branch lp:~verifypn-cpn/verifypn/unfold-improve

209. By <email address hidden> on 2018-06-08

fixed the tapaal.sh script for queries with prefix of 0

208. By Jiri Srba <email address hidden> on 2018-05-28

merged in branch lp:~verifypn-stub/verifypn/rulei-segfault
fixing segfault in reduction rule I

207. By Jiri Srba on 2018-05-27

merged in branch lp:~verifypn-cpn/verifypn/col_weight_fix fixing a problem
in CPN overapproximation and multiset minus operator