lp:~verifypn-stub/verifypn/ctl-structural-reductions

Branch merges

Propose for merging

No branches dependent on this one.

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related bugs

Related blueprints

192. By Peter Gjøl Jensen on 2017-12-12

found the bug

191. By Peter Gjøl Jensen on 2017-12-05

first attempt

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

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

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

merged in branch lp:~verifypn-stub/verifypn/new-ctl

188. By Jiri Srba <email address hidden> on 2017-11-30

merged in branch lp:~verifypn-stub/verifypn/negation-push and logical equivalnces to query processing

187. By Jiri Srba <email address hidden> on 2017-11-20

merged in branch lp:~verifypn-stub/verifypn/query-opt addion query simplification optmizations

186. By Jiri Srba <email address hidden> on 2017-09-21

merged in branch fixing a bug in the encoder

185. By Jiri Srba <email address hidden> on 2017-09-04

merged in branch lp:~verifypn-stub/verifypn/substraction-fix fixing n-ary subtractions

184. By Jiri Srba <email address hidden> on 2017-08-07

merged in the branch lp:~verifypn-stub/verifypn/inhib adding support of stubborn sets
for inhibitor arcs and a number of other fixes and compiles now for windows as well

183. By Jiri Srba on 2017-06-22

merged in branch lp:~tapaal-dist-ctl/verifypn/arithmeticExpressions
adding arithmetic expressions to CTL queries