lp:dbmpyuppaal

Branch merges

Propose for merging

No branches dependent on this one.

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related bugs

Related blueprints

14. By Peter Bulychev on 2012-06-14

fixed bug with 'and' in updateClockBounds

13. By Peter Bulychev on 2011-09-28

clock bounds can be None

12. By Peter Bulychev on 2011-08-31

parse_clocks + context check

11. By Peter Bulychev on 2011-08-31

parse_clocks

10. By Peter Bulychev on 2011-08-24

following the "from_xml" commit in pyuppaal

9. By Peter Bulychev on 2011-08-16

merged with local __ne__

8. By Peter Bulychev on 2011-07-13

commit

7. By Peter Bulychev <peter@h88> on 2011-06-11

commit for inplace addClockByName

6. By Peter Bulychev <peter@h88> on 2011-06-08

there is invariant_str and guard_str

5. By Peter Bulychev <peter@h88> on 2011-06-06

distutils + python_dbm -> pydbm