lp:~ksluckow/juppaal/trunk
Created by
Kasper Søe Luckow
and last modified
- Get this branch:
- bzr branch lp:~ksluckow/juppaal/trunk
Only
Kasper Søe Luckow
can upload to this branch. If you are
Kasper Søe Luckow
please log in for upload directions.
Branch merges
Propose for merging
No branches
dependent on this one.
- Thomas Bøgholm: Approve
-
Diff: 552 lines (+234/-34)9 files modifiedsrc/uppaal/Automaton.java (+19/-10)
src/uppaal/Declaration.java (+4/-0)
src/uppaal/Location.java (+15/-5)
src/uppaal/NTA.java (+43/-3)
src/uppaal/SystemDeclaration.java (+15/-3)
src/uppaal/Transition.java (+21/-7)
src/uppaal/UPPAALPrettyfy.java (+108/-0)
src/uppaal/UppaalTest.java (+6/-6)
src/uppaal/labels/Synchronization.java (+3/-0)
Branch information
Recent revisions
- 4. By Kasper S. Luckow <email address hidden>
-
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.
- 3. By Kasper S. Luckow <email address hidden>
-
Fixed various small issues like ensuring uniqueness of location ids. Furthermore, UPPAAL automata can now be laid out nicely
Branch metadata
- Branch format:
- Branch format 7
- Repository format:
- Bazaar repository format 2a (needs bzr 1.16 or later)
- Stacked on:
- lp:juppaal