lp:~verifypn-stub/verifypn/substraction-fix

Branch merges

Propose for merging

No branches dependent on this one.

Merged into lp:verifypn at revision 185

Jiri Srba: Approve on 2017-09-04

Diff: 37 lines (+20/-6)

1 file modified

PetriParse/QueryXMLParser.cpp (+20/-6)

api

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related bugs

Bug #1714499: Problem parsing queries in verifypn

Critical

Fix Released

Link a bug report

Related blueprints

185. By Peter Gjøl Jensen on 2017-09-04

fixed substraction-parsing

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

177. By Jiri Srba on 2017-05-08

updated the timeouts and trapping signals

176. By Jiri Srba <email address hidden> on 2017-05-08

updated competition scripts to kill all processes when received termination signal