Viewing all changes in revision 207.
- Committer: Jiri Srba
- Date: 2018-05-27 19:21:00 UTC
- mfrom: (204.2.3 verifypn)
- Revision ID: srba@cs.aau.dk-20180527192100-03a59hk5lyc85kcd
merged in branch lp:~verifypn-cpn/verifypn/col_weight_fix fixing a problem
in CPN overapproximation and multiset minus operator
in CPN overapproximation and multiset minus operator
expand all
collapse all
added
removed
