DBMPyUPPAAL

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

See all merge proposals.

DBMPyUPPAAL has 4 active branches owned by 2 people. There were 0 commits in the last month.

Bazaar branches

Name Status Last Modified Last Commit
lp:dbmpyuppaal
Series: trunk 		1 Development 2012-06-14 13:41:50 UTC
14. fixed bug with 'and' in updateClockBo...

Author: Peter Bulychev
Revision Date: 2012-06-14 13:41:50 UTC

fixed bug with 'and' in updateClockBounds
lp:~peter-bulychev/dbmpyuppaal/dbmpyuppaal_discrete_states 1 Development 2012-03-22 17:45:25 UTC
49. modified hash function for state pred...

Author: Peter Bulychev
Revision Date: 2012-03-22 17:45:25 UTC

modified hash function for state predicate - it works when the location.name is both label and string
lp:~tlouismarie/dbmpyuppaal/louismarie 1 Development 2012-02-17 12:48:01 UTC
15. merge from branch tlouismarie

Author: lmtr@itu.dk
Revision Date: 2012-02-17 12:48:01 UTC

merge from branch tlouismarie
lp:~peter-bulychev/dbmpyuppaal/main 1 Development 2011-05-12 16:48:38 UTC This branch has not been pushed to yet.
1 → 4 of 4 results First • Previous • Next • Last
You can't create new branches for DBMPyUPPAAL.