Activity log for bug #1939878

Date Who What changed Old value New value Message
2021-08-13 11:16:43 Jiri Srba bug added bug
2021-08-13 11:16:43 Jiri Srba attachment added boundedness.tapn https://bugs.launchpad.net/bugs/1939878/+attachment/5517753/+files/boundedness.tapn
2021-08-24 07:09:49 Lena Ernstsen branch linked lp:~tapaal-contributor/tapaal/boundedness-check
2021-09-15 18:35:58 Jiri Srba tapaal: status New Fix Committed