You can browse the source code for the development focus branch or get a copy of the branch using the command:
bzr branch lp:juppaal

JUppaal has 1 active review. See all merge proposals.

JUppaal has 4 active branches owned by 2 people and 1 team. There were 0 commits in the last month.

Bazaar branches

Name Status Last Modified Last Commit
lp:juppaal
Series: trunk
bug 1 Development 2012-12-05 15:17:41 UTC
4. fixed asserts

Author: boegholm@cs.aau.dk
Revision Date: 2012-12-05 15:16:00 UTC

fixed asserts

lp:~juppaal-developers/juppaal/trunk 1 Development 2014-03-17 09:22:41 UTC
6. added support for probabilities and b...

Author: Kasper Luckow
Revision Date: 2014-03-17 09:22:41 UTC

added support for probabilities and branch points

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.

lp:~boegholm/juppaal/SARTS-sync (Has a merge proposal) 1 Development 2012-12-06 12:09:07 UTC
5. synced with SARTS-juppaal

Author: boegholm@cs.aau.dk
Revision Date: 2012-12-06 12:09:07 UTC

synced with SARTS-juppaal

14 of 4 results
You can't create new branches for JUppaal.