Fixing JPF for methodMissing() method in Groovy: 1) Bug in detecting the array type...
[jpf-core.git] / src / main / gov / nasa / jpf / vm / Types.java
2019-07-08 rtrimanaFixing JPF for methodMissing() method in Groovy: 1...
2019-07-03 rtrimanaFixing a bug: Map's parameterized type signature with...
2019-07-01 rtrimanaFixing a subtle bug: the method isParameterWithType...
2019-06-29 Rahmadi TrimanandaMerge branch 'master' of ssh://plrg.eecs.uci.edu/home...
2019-06-29 Rahmadi TrimanandaFixing a new bug: Considering parameters with Type...
2019-06-28 rtrimanaFinalizing the beta version of the implementation for...
2019-06-25 rtrimanaFixing a bug: getWildcardTypeImplObject could not recog...
2019-06-25 rtrimanaAdding tests for Type parameter, wild card, and class...
2019-06-24 rtrimanaFixing getGenericReturnType to recognize the GenericArr...
2019-06-24 rtrimanaFixing the method getGenericParameterTypes to recognize...
2019-06-22 Rahmadi TrimanandaAdding upperBounds and lowerBounds extraction for ...
2019-06-22 Rahmadi TrimanandaFixing bug in recognizing Class<?> as a WilcardTypeImpl.
2019-06-22 rtrimanaAdded WildcardTypeImpl implementation (minimal support).
2019-06-21 rtrimanaAdding ParameterizedTypeImpl to getGenericSuperclass...
2019-06-21 Rahmadi TrimanandaFixing the method getGenericParameterTypes to include...
2019-06-20 rtrimanaMore tests on the Class<U> case.
2019-06-19 Rahmadi TrimanandaA proper implementation for getGenericParameterTypes...
2019-06-18 rtrimanaA clean implementation for getTypeParameters' native...
2019-06-13 rtrimanaFirst attempt to add getGenericParameterTypes() and...
2018-11-24 Cyrille ArthoFIX: java.lang.Object should be java/lang/Object.
2017-05-31 Nastaran ShafieiInitial import