Name | Status | Last Modified | Last Commit | |
---|---|---|---|---|
lp:~tapaal- |
1 Development | 2021-02-25 14:26:26 UTC 2021-02-25 |
1282.
Fix verfication and unfolding for tim...
Author:
<email address hidden>
Fix verfication and unfolding for time and queries on transition fireability |
|
lp:~tapaal- |
|
1 Development | 2021-02-25 10:03:51 UTC 2021-02-25 |
235.
Add colortype to dot colors and fix w...
Author:
<email address hidden>
Add colortype to dot colors and fix writing of arc weights |
lp:~tapaal- |
|
1 Development | 2021-02-22 22:56:50 UTC 2021-02-22 |
1119.
Scroll panel resizes with the window
Author:
Lena Said
Scroll panel resizes with the window |
lp:~tapaal- |
|
1 Development | 2021-02-22 22:26:01 UTC 2021-02-22 |
1118.
Fixed tar only possible with AG and EF
Author:
Lena Said
Fixed tar only possible with AG and EF |
lp:~tapaal- |
|
1 Development | 2020-12-04 14:31:03 UTC 2020-12-04 |
228.
Remove debug string from query identi...
Author:
<email address hidden>
Remove debug string from query identifier |
lp:~tapaal- |
|
1 Development | 2020-08-06 13:34:32 UTC 2020-08-06 |
1072.
Add files
Author:
<email address hidden>
Add files |
lp:~tapaal- |
|
1 Development | 2019-12-07 12:38:25 UTC 2019-12-07 |
1035.
Changed debug message
Author:
<email address hidden>
Changed debug message |
lp:~tapaal- |
1 Development | 2018-08-08 13:06:26 UTC 2018-08-08 |
966.
Copy/paste places
Author:
<email address hidden>
Copy/paste places |
|
lp:~tapaal- |
1 Development | 2017-07-25 10:08:30 UTC 2017-07-25 |
1041.
Save verification command to be able ...
Author:
Mads Johannsen
Save verification command to be able to re-execute it in game mode |
|
lp:~tapaal- |
1 Development | 2015-09-16 16:39:49 UTC 2015-09-16 |
921.
removed dead options
Author:
Peter Gjøl Jensen
removed dead options |
|
lp:~tapaal- |
0 Experimental | 2013-11-15 19:16:56 UTC 2013-11-15 |
826.
Engine output is discarded.
Author:
Mathias Grund Sørensen
Engine output is discarded. |
1 → 11 of 11 results | First • Previous • Next • Last |