~tapaal-dist-ctl/verifypn/arithmeticExpressions

Viewing all changes in revision 152.1.21.

  • Committer: Lasse S. J.
  • Date: 2017-02-25 17:23:36 UTC
  • mto: (152.1.30 new-verifypn-w-ctl)
  • mto: This revision was merged to the branch mainline in revision 153.
  • Revision ID: lasjen12@student.aau.dk-20170225172336-dw6k8wwauyb5n41u
PNMLParser now also looks for inhibitor arcs in type attributes of arc nodes

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: