18 |
NullPointer en dynalloy.visualization |
None |
open |
|
2011-04-19
|
2011-04-19
|
5 |
|
17 |
Error on program flow control |
None |
open |
Juan Pablo Galeotti
|
2010-06-12
|
2010-06-15
|
5 |
|
12 |
PredicateResolverManager lacks of binding updates |
None |
open |
Diego P. Dobniewski
|
2009-06-11
|
2010-06-12
|
5 |
|
10 |
No incluye correctamente |
None |
open |
|
2009-04-10
|
2009-04-10
|
5 |
|
9 |
NullPointerException inspecting a counterexample trace |
None |
open |
Pablo Bendersky
|
2008-12-17
|
2008-12-17
|
5 |
|
6 |
Closure not supported exception using the console interface |
None |
open |
Juan Pablo Galeotti
|
2008-10-02
|
2008-10-02
|
9 |
|
4 |
Avance incorrecto cuando hay aliasing |
None |
open |
|
2008-05-29
|
2008-05-29
|
5 |
|