| 2018-10-03 11:20:27 |
muniz |
bug |
|
|
added bug |
| 2018-10-03 11:20:27 |
muniz |
attachment added |
|
scheduling model from paper https://bugs.launchpad.net/bugs/1795866/+attachment/5196557/+files/tapaal_maler_example.xml |
|
| 2018-10-10 08:15:36 |
Peter Gjøl Jensen |
tapaal: assignee |
|
Peter Gjøl Jensen (peter-gjoel) |
|
| 2018-10-10 08:17:24 |
Peter Gjøl Jensen |
tapaal: status |
New |
In Progress |
|
| 2019-12-10 12:43:01 |
Jiri Srba |
attachment added |
|
maler-sche-buggy.tapn https://bugs.launchpad.net/tapaal/+bug/1795866/+attachment/5311448/+files/maler-sche-buggy.tapn |
|
| 2019-12-10 12:43:13 |
Jiri Srba |
tapaal: importance |
Undecided |
Critical |
|
| 2022-02-04 11:15:18 |
Kenneth Yrke Jørgensen |
tags |
fastest trace |
|
|
