lp:verifypn/u2.1

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

187. By Jiri Srba on 2017-10-05

Released version of u2.1.0

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

fixed a bug in encoder of the engine

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

182. By Jiri Srba on 2017-06-02

merged in branch lp:~verifypn-stub/verifypn/short-circut

181. By Jiri Srba <email address hidden> on 2017-05-17

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

180. By Jiri Srba on 2017-05-15

fixed help menu in the main file

179. By Jiri Srba on 2017-05-13

added 2 seconds to each timeout to avoid calling our eengine with timeout 0

178. By Jiri Srba on 2017-05-08

one more fix for sequential processing