lp:~verifypn-cpn/verifypn/col_weight_fix

Created by Andreas Klostergaard and last modified
Get this branch:
bzr branch lp:~verifypn-cpn/verifypn/col_weight_fix
Members of verifypn-cpn can upload to this branch. Log in for directions.

Branch merges

Related bugs

Related blueprints

Branch information

Owner:
verifypn-cpn
Project:
verifypn
Status:
Merged

Recent revisions

207. By Andreas Klostergaard on 2018-05-27

Fixed compilation warning.

------------- This line and the following will be ignored --------------

modified:
  PetriEngine/Colored/Expressions.h

206. By Andreas Klostergaard on 2018-05-20

Added correction to weight on minus arc expression

205. By Andreas Klostergaard on 2018-05-20

merge

204. By Jiri Srba on 2018-04-30

merged in branch lp:~verifypn-stub/verifypn/dl-structural-bug
fixing bug #1750629

203. By Jiri Srba <email address hidden> on 2018-04-25

changed version number to 3.0.0 (support of CPN)

202. By Jiri Srba <email address hidden> on 2018-04-25

added MCC18 competition scripts, qemu guide and cluster scripts

201. By Jiri Srba <email address hidden> on 2018-04-23

merged in branch lp:~verifypn-cpn/verifypn/trunk-cpn-upgrade speeding
up the unfolding of product colors in CPN and code cleanup

200. By Jiri Srba <email address hidden> on 2018-04-18

merged in branch lp:~verifypn-cpn/verifypn/cpn_ctlss/

CPN unfolding
CPN linear overapproximation
Export of reduced queries and model
parallel query simplification
TAR for P/T nets
Improved structural reduction rules

199. By Jiri Srba <email address hidden> on 2018-03-15

merged in branch lp:~verifypn-stub/verifypn/ctl_por_bug fixing one wrong answer on a query in MCC'17

198. By Jiri Srba <email address hidden> on 2018-03-15

merged in branch lp:~verifypn-stub/verifypn/commutative_expr_bug fixing problems with evaluating arithmetic expressions

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