- Committer: ptaankvist at gmail
- Date: 2020-08-12 12:17:15 UTC
- Revision ID: ptaankvist@gmail.com-20200812121715-56tp466jo1tcv01w
Add Colors to places. Add colored invariants to places. Hide invariant and color information according to lens
| Filename | Latest Rev | Last Changed | Committer | Comment | Size | ||
|---|---|---|---|---|---|---|---|
 ..
|
|||||||
approximation
|
819.2.1 | 10 years ago | jacob | Initial integration of old approximation code |
|
||
|
debug
|
97 | 14 years ago | Kenneth Yrke Jørgensen | Added a debug logger function Logger.log to use f |
|
||
|
gui
|
329.1.2 | 13 years ago | Morten Jacobsen | started implementation of hierachical untimed petr |
|
||
|
io
|
329.1.151 | 13 years ago | Morten Jacobsen | moved stuff around and started looking at legacy 1 |
|
||
|
model
|
329.1.2 | 13 years ago | Morten Jacobsen | started implementation of hierachical untimed petr |
|
||
|
TCTL
|
224.1.1 | 13 years ago | Lasse Jacobsen | query dialogue |
|
||
|
translations
|
229 | 13 years ago | Morten Jacobsen | Started work on getting k-boundedness analysis up |
|
||
|
util
|
329.1.2 | 13 years ago | Morten Jacobsen | started implementation of hierachical untimed petr |
|
||
|
verification
|
225 | 13 years ago | Morten Jacobsen | more work on refactoring verification - Everything |
|
||
Messenger.java |
329.1.62 | 13 years ago | Lasse Jacobsen | - cleaned up the code a bit using the Clean up fun | 317 bytes |
|
|