Activity log for bug #494902
Date | Who | What changed | Old value | New value | Message |
---|---|---|---|---|---|
2009-12-10 07:55:11 | Morten Jacobsen | bug | added bug | ||
2009-12-10 07:55:11 | Morten Jacobsen | attachment added | Try to delete Gate_Mutex. This fails in the current development version of TAPAAL. http://launchpadlibrarian.net/36651458/cant_delete_gate_mutex.xml | ||
2010-02-19 09:58:27 | Kenneth Yrke Jørgensen | tapn: status | New | Triaged | |
2010-02-19 09:58:34 | Kenneth Yrke Jørgensen | tapn: milestone | 1.4 | ||
2010-02-19 09:59:36 | Kenneth Yrke Jørgensen | tapn: importance | Undecided | Critical | |
2010-05-28 09:23:58 | Kenneth Yrke Jørgensen | description | Sometimes, when you try to delete a place from the model it is not possible. This persist even when saving the model and reloading it.. It is not clear whether this is a problem in TAPAAL 1.3 or only in the development version.. Attached is a model where the place Gate_Mutex cannot be deleted... | Sometimes, when you try to delete a place from the model it is not possible. This persist even when saving the model and reloading it.. It is not clear whether this is a problem in TAPAAL 1.3 or only in the development version.. Attached is a model where no place in the model can be deleted. | |
2010-05-28 09:36:24 | Kenneth Yrke Jørgensen | summary | Sometimes it is not possible to delete a place | Sometimes it is not possible to delete places | |
2010-05-28 09:45:01 | Kenneth Yrke Jørgensen | tapn: assignee | Kenneth Yrke Joergensen (yrke) | ||
2010-05-28 09:47:16 | Launchpad Janitor | branch linked | lp:tapn/development | ||
2010-05-28 09:51:29 | Kenneth Yrke Jørgensen | tapn: status | Triaged | Fix Committed | |
2010-05-28 09:51:29 | Kenneth Yrke Jørgensen | tapn: assignee | Kenneth Yrke Joergensen (yrke) | ||
2011-01-19 10:24:46 | Kenneth Yrke Jørgensen | tapaal: status | Fix Committed | Fix Released |