lp:~tlouismarie/dbmpyuppaal/louismarie

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

15. By Louis-Marie Traonouez (<email address hidden>) on 2012-02-17

merge from branch tlouismarie

14. By Louis-Marie Traonouez (<email address hidden>) on 2012-02-17

modification of dbm pyuppaal to allow dbm reloading

13. By Louis-Marie Traonouez (<email address hidden>) on 2011-10-06

Update from trunk.

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