- Committer: andreas.dalsgaard at gmail
- Date: 2010-02-15 14:22:58 UTC
- Revision ID: andreas.dalsgaard@gmail.com-20100215142258-7oxkcwnd2q6n3a19
Avoid crash
| 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 |
|
|