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

Created by Peter Gjøl Jensen on 2018-05-17 and last modified on 2018-05-17
Get this branch:
bzr branch lp:~verifypn-stub/verifypn/rulei-segfault
Members of verifypn-stub can upload to this branch. Log in for directions.

Branch merges

Related bugs

Related blueprints

Branch information

Owner:
verifypn-stub
Project:
verifypn
Status:
Merged

Recent revisions

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

Branch metadata

Branch format:
Branch format 7
Repository format:
Bazaar repository format 2a (needs bzr 1.16 or later)
Stacked on:
lp:verifypn
This branch contains Public information 
Everyone can see this information.

Subscribers