← Back to branch summary

~cpn-gui/tapaal/typeChecker

Viewing all changes in revision 843.

  • Committer: launchpad-janitor
  • Author(s): Mathias Grund Sørensen
  • Date: 2014-02-05 16:50:39 UTC
  • mfrom: (828.2.3 invalidWorkflowTrace)
  • Revision ID: tapaal@cs.aau.dk-20140205165039-izkfq50frk4629bp
The issue for wrongly reported trace for workflow analysis is resolved. To solve this, the extrapolation has been implemented in the GUI. by TAPAAL Contributors review by Jiri Srba approved by Jiri Srba

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: