| Name | Status | Last Modified | Last Commit | |
|---|---|---|---|---|
|
lp:~tapaal- |
1 Development | 2021-05-14 07:38:43 UTC |
1334.
Add smart draw to unfolded nets
Author:
<email address hidden>
Add smart draw to unfolded nets |
|
|
lp:~tapaal- |
|
1 Development | 2021-05-13 13:24:51 UTC |
239.
Fix inhib arcs and scalar expressions
Author:
<email address hidden>
Fix inhib arcs and scalar expressions |
|
lp:~tapaal- |
|
1 Development | 2021-05-01 10:15:28 UTC |
1136.
Merged trunk
Author:
Lena Said
Merged trunk |
|
lp:~tapaal- |
|
1 Development | 2021-04-19 13:50:01 UTC |
240.
Fix parsing of useroperators
Author:
<email address hidden>
Fix parsing of useroperators |
|
lp:~tapaal- |
|
1 Development | 2021-03-27 20:55:00 UTC |
1126.
Place/transition names stays hidden w...
Author:
Lena Said
Place/transition names stays hidden when changing templates |
|
lp:~tapaal- |
|
1 Development | 2020-12-04 14:31:03 UTC |
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 |
1072.
Add files
Author:
<email address hidden>
Add files |
|
lp:~tapaal- |
|
1 Development | 2019-12-07 12:38:25 UTC |
1035.
Changed debug message
Author:
<email address hidden>
Changed debug message |
|
lp:~tapaal- |
1 Development | 2018-08-08 13:06:26 UTC |
966.
Copy/paste places
Author:
<email address hidden>
Copy/paste places |
|
|
lp:~tapaal- |
1 Development | 2017-07-25 10:08:30 UTC |
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 |
921.
removed dead options
Author:
Peter Gjøl Jensen
removed dead options |
|
|
lp:~tapaal- |
0 Experimental | 2013-11-15 19:16:56 UTC |
826.
Engine output is discarded.
Author:
Mathias Grund Sørensen
Engine output is discarded. |
|
| 1 → 12 of 12 results | First • Previous • Next • Last |
