| Name | Status | Last Modified | Last Commit | |
|---|---|---|---|---|
|
lp:~tapaal- |
1 Development | 2022-07-03 18:52:34 UTC |
1678.
Added support for place/place compari...
Author:
<email address hidden>
Added support for place/place comparisons and arithmetics when manually parsing queries using HyperLTL |
|
|
lp:~tapaal- |
|
1 Development | 2022-06-15 13:45:48 UTC |
1141.
Fixed GUI not supporting gamed nets f...
Author:
Lena Ernstsen
Fixed GUI not supporting gamed nets for verifypn |
|
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 → 8 of 8 results | First • Previous • Next • Last |
