branches with status:
Name Status Last Modified Last Commit
lp:pyuppaal 1 Development 2016-11-16 15:19:00 UTC 2016-11-16
171. Support for multiple variables with t...

Author: Andreas Engelbredt Dalsgaard
Revision Date: 2016-11-16 15:19:00 UTC

Support for multiple variables with typedef type

lp:~pyuppaal-developers/pyuppaal/pyuppaal-refactor2014 1 Development 2014-05-02 13:11:47 UTC 2014-05-02
169. Fix default value bug for Node. Make ...

Author: Mads Chr. Olesen
Revision Date: 2014-05-02 13:11:47 UTC

Fix default value bug for Node. Make some logger optimisations, so unit tests are a bit faster.

lp:~pyuppaal-developers/pyuppaal/modelchecker 0 Experimental 2010-01-26 14:47:02 UTC 2010-01-26
93. Added support for invariant

Author: Kenneth Yrke Jørgensen
Revision Date: 2010-01-26 14:47:02 UTC

Added support for invariant

13 of 3 results