lp:~verifypn-stub/verifypn/rulei-segfault

Branch merges

Propose for merging

No branches dependent on this one.

Merged into lp:verifypn at revision 208

Jiri Srba: Approve on 2018-05-28

Diff: 12 lines (+1/-1)

1 file modified

PetriEngine/Reducer.cpp (+1/-1)

api

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related bugs

Related blueprints

214. By Peter Gjøl Jensen on 2018-05-17

fixed segfault due to typo

213. By Peter Gjøl Jensen on 2018-05-12

fixed usage of error-codes, changes from cout to cerr.

212. By Peter Gjøl Jensen on 2018-05-12

fixed POR for n-arry (n>2) substract expression

211. By Peter Gjøl Jensen on 2018-05-11

only doing pre+post with multiply when there are at least two non-constant expressions

210. By Peter Gjøl Jensen on 2018-05-11

added warning to parser, and using weight 1 when insciption is non-text

209. By Peter Gjøl Jensen on 2018-05-11

handled special case when we have no places and a single transition

208. By Peter Gjøl Jensen on 2018-05-11

fixed removal of tokens in isolated initial marking when it is part of query

207. By Peter Gjøl Jensen on 2018-05-11

added missing inhibitor-check for ruleG

206. By Peter Gjøl Jensen on 2018-05-11

fixed substraction issue with TAR

205. By Peter Gjøl Jensen on 2018-05-11

fixed monotonicity flag computation, leading to wrong POR with inhibitors