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 |
1 Development | 2012-12-05 15:17:41 UTC |
4.
fixed asserts
Author:
boegholm@cs.aau.dk
fixed asserts |
|
lp:~juppaal- |
1 Development | 2014-03-17 09:22:41 UTC |
6.
added support for probabilities and b...
Author:
Kasper Luckow
added support for probabilities and branch points |
|
lp:~ksluckow/ |
1 Development | 2013-03-05 14:30:08 UTC |
4.
Resolved issues related to reconstruc...
Author:
Kasper S. Luckow
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/ |
1 Development | 2012-12-06 12:09:07 UTC |
5.
synced with SARTS-juppaal
Author:
boegholm@cs.aau.dk
synced with SARTS-juppaal |
1 → 4 of 4 results | First • Previous • Next • Last |