Filename | Latest Rev | Last Changed | Committer | Comment | Size | ||
---|---|---|---|---|---|---|---|
.. | |||||||
data | 29 | 15 years ago | Mads Chr. Olesen | Add GUI using Glade Implement zoom functionality | |||
tests | 3 | 15 years ago | Mads Chr. Olesen | Test-framework. Bruger fil fra petur og boegholm's | |||
ulp | 57 | 14 years ago | Andreas Dalsgaard | Uppaal language parser | |||
__init__.py | 1 | 15 years ago | Mads Chr. Olesen | Initial import | Empty | ||
COPYING | 30 | 15 years ago | Andreas Engelbredt Dalsgaard | Added license and license notice in pyuppaal_gui.p | 34.3 KB | ||
layout_uppaal.py | 12 | 15 years ago | Mads Chr. Olesen | Make layout_uppaal.py executable | 254 bytes | ||
pyuppaal.py | 56 | 15 years ago | Mads Chr. Olesen | Using verify on a remote host | 15.9 KB | ||
pyuppaal_gui.py | 46 | 15 years ago | Mads Chr. Olesen | Fixup use of label's coordinates, and if they are | 21.6 KB |