2012-03-06 22:16:23 |
Jiri Srba |
bug |
|
|
added bug |
2012-03-06 22:16:23 |
Jiri Srba |
attachment added |
|
verification-problem.xml https://bugs.launchpad.net/bugs/948502/+attachment/2825735/+files/verification-problem.xml |
|
2012-03-06 22:16:56 |
Jiri Srba |
attachment added |
|
1.xml https://bugs.launchpad.net/verifytapn/+bug/948502/+attachment/2825738/+files/1.xml |
|
2012-03-06 22:17:26 |
Jiri Srba |
attachment added |
|
1.q https://bugs.launchpad.net/verifytapn/+bug/948502/+attachment/2825740/+files/1.q |
|
2012-03-07 07:11:09 |
Kenneth Yrke Jørgensen |
bug task added |
|
tapaal |
|
2012-03-07 07:11:20 |
Kenneth Yrke Jørgensen |
tapaal: importance |
Undecided |
Critical |
|
2012-03-07 07:11:24 |
Kenneth Yrke Jørgensen |
tapaal: milestone |
|
2.1 |
|
2012-03-10 01:25:31 |
Jiri Srba |
attachment added |
|
Simpler example https://bugs.launchpad.net/verifytapn/+bug/948502/+attachment/2842839/+files/verification-problem-1.xml |
|
2012-03-11 13:48:19 |
Jiri Srba |
tapaal: assignee |
|
Jiri Srba (srba) |
|
2012-03-11 13:48:38 |
Jiri Srba |
verifytapn: status |
New |
Won't Fix |
|
2012-03-11 13:48:44 |
Jiri Srba |
tapaal: status |
New |
In Progress |
|
2012-03-11 14:06:24 |
Jiri Srba |
branch linked |
|
lp:~tapaal-contributor/tapaal/bug-948502-discrete-incl-wrong-answer |
|
2012-03-12 11:06:09 |
TAPAAL Janitor |
tapaal: status |
In Progress |
Fix Committed |
|
2012-03-18 11:05:16 |
Kenneth Yrke Jørgensen |
tapaal: status |
Fix Committed |
Fix Released |
|