lp:~verifypn-stub/verifypn/always_compile

Branch merges

Propose for merging

No branches dependent on this one.

Merged into lp:verifypn at revision 197

Jiri Srba: Approve on 2018-01-23

Diff: 213 lines (+68/-55)

5 files modified

CTL/PetriNets/OnTheFlyDG.cpp (+1/-3)
PetriEngine/PQL/Expressions.cpp (+5/-1)
PetriEngine/PQL/Expressions.h (+3/-2)
PetriEngine/Reducer.cpp (+1/-1)
VerifyPN.cpp (+58/-48)

api

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related bugs

Related blueprints

204. By Peter Gjøl Jensen on 2018-01-23

added error message

203. By Peter Gjøl Jensen on 2018-01-23

removed un-needed check

202. By Peter Gjøl Jensen on 2018-01-23

removed debug

201. By Peter Gjøl Jensen on 2018-01-23

using return flags

200. By Peter Gjøl Jensen on 2018-01-23

fixed conflicting flag detection

199. By Peter Gjøl Jensen on 2018-01-23

fixed bug in conjunction compilation

198. By Peter Gjøl Jensen on 2018-01-22

removed redundant negation-push from CTL

197. By Peter Gjøl Jensen on 2018-01-22

always run negation-push prior to any analysis of query

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)