branches with status:
Name Status Last Modified Last Commit
lp:~ksluckow/juppaal/trunk (Has a merge proposal) 1 Development 2013-03-05 14:30:08 UTC
4. Resolved issues related to reconstruc...

Author: Kasper S. Luckow
Revision Date: 2013-03-05 14:30:08 UTC

Resolved issues related to reconstructing the NTA from an XML file. Specifically, the system declarations and system instances were not distinguished from the system element.

11 of 1 result