16 |
Enhanced VIZ GUI |
None |
open |
|
2008-12-18
|
2008-12-18
|
7 |
|
14 |
Parseo de "/" en los modulos |
None |
open |
|
2008-04-10
|
2008-04-10
|
5 |
|
12 |
Templates en DynAlloy |
None |
open |
|
2008-04-05
|
2008-04-05
|
5 |
|
11 |
Modularizacion de DynAlloy |
None |
open |
Juan Pablo Galeotti
|
2008-04-05
|
2008-04-05
|
5 |
|
10 |
TryCatch support |
None |
open |
|
2008-03-26
|
2008-03-26
|
5 |
|
9 |
VC Enumeration |
None |
open |
|
2008-03-26
|
2008-03-26
|
5 |
|
7 |
Java Slicer |
None |
open |
|
2008-03-26
|
2008-03-26
|
5 |
|
6 |
Java Normalizer |
None |
open |
|
2008-03-26
|
2008-03-26
|
5 |
|
5 |
Trace Visualization |
None |
open |
|
2008-03-26
|
2008-03-26
|
5 |
|
4 |
Recursion elimination |
None |
open |
|
2008-03-26
|
2008-03-26
|
5 |
|
3 |
Java Generics support |
None |
open |
|
2008-03-26
|
2008-03-26
|
5 |
|
2 |
DynJAlloy GUI |
None |
open |
|
2008-03-26
|
2008-03-26
|
5 |
|
1 |
java.util built-in support |
None |
open |
|
2008-03-26
|
2008-03-26
|
5 |
|