Programming Languages Research Group: Git

2019-06-26	Rahmadi Trimananda	Fixing a bug in JPF_java_lang_String.java: There was...	commit \| commitdiff \| tree
2019-06-25	rtrimana	Fixing a bug: the specification is not accurate for...	commit \| commitdiff \| tree
2019-06-25	rtrimana	Fixing a bug: getWildcardTypeImplObject could not recognize...	commit \| commitdiff \| tree
2019-06-25	rtrimana	Adding tests for Type parameter, wild card, and class...	commit \| commitdiff \| tree
2019-06-24	rtrimana	Fixing getGenericReturnType to recognize the GenericArrayTyp...	commit \| commitdiff \| tree
2019-06-24	rtrimana	Fixing the method getGenericParameterTypes to recognize...	commit \| commitdiff \| tree
2019-06-24	Rahmadi Trimananda	Adding the class GenericArrayTypeImpl.java.	commit \| commitdiff \| tree
2019-06-22	Rahmadi Trimananda	Adding upperBounds and lowerBounds extraction for ...	commit \| commitdiff \| tree
2019-06-22	Rahmadi Trimananda	Fixing another bug for getGenericReturnType so that...	commit \| commitdiff \| tree
2019-06-22	Rahmadi Trimananda	Fixing bug in recognizing Class<?> as a WilcardTypeImpl.	commit \| commitdiff \| tree
2019-06-22	rtrimana	Added WildcardTypeImpl implementation (minimal support).	commit \| commitdiff \| tree
2019-06-21	rtrimana	Adding WildcardTypeImpl class.	commit \| commitdiff \| tree
2019-06-21	rtrimana	Returning genericDeclaration for TypeVariableImpl's...	commit \| commitdiff \| tree
2019-06-21	rtrimana	Adding ParameterizedTypeImpl to the getGenericInterfaces...	commit \| commitdiff \| tree
2019-06-21	rtrimana	Adding ParameterizedTypeImpl to getGenericSuperclass...	commit \| commitdiff \| tree
2019-06-21	Rahmadi Trimananda	Adding getGenericSuperclass and getGenericInterface...	commit \| commitdiff \| tree
2019-06-21	Rahmadi Trimananda	Fixing the method getGenericParameterTypes to include...	commit \| commitdiff \| tree
2019-06-20	rtrimana	More tests on the Class<U> case.	commit \| commitdiff \| tree
2019-06-20	rtrimana	Found a new case with Class<U> as a generic parameter.	commit \| commitdiff \| tree
2019-06-20	rtrimana	Fixing a bug: There is a non-generic class with genericSigna...	commit \| commitdiff \| tree
2019-06-20	rtrimana	Adding a native method to handle getBounds() with a...	commit \| commitdiff \| tree
2019-06-19	rtrimana	New problem with Groovy library.	commit \| commitdiff \| tree
2019-06-19	rtrimana	First commit to JPF repo on PLRG server.	commit \| commitdiff \| tree
2019-06-19	rtrimana	First commit to PLRG Git repo.	commit \| commitdiff \| tree
2019-06-19	Rahmadi Trimananda	Testing for all 3 new method implementations.	commit \| commitdiff \| tree
2019-06-19	Rahmadi Trimananda	A proper implementation of getGenericReturnType using...	commit \| commitdiff \| tree
2019-06-19	Rahmadi Trimananda	A proper implementation for getGenericParameterTypes...	commit \| commitdiff \| tree
2019-06-18	rtrimana	Adding ParameterizedTypeImpl.java for parameterized...	commit \| commitdiff \| tree
2019-06-18	rtrimana	A clean implementation for getTypeParameters' native...	commit \| commitdiff \| tree
2019-06-18	Rahmadi Trimananda	Instantiating TypeVariableImpl.java	commit \| commitdiff \| tree
2019-06-17	rtrimana	Working example of class instantiation.	commit \| commitdiff \| tree
2019-06-17	rtrimana	Adding the TypeVariableImpl.java class for generics...	commit \| commitdiff \| tree
2019-06-14	rtrimana	Dirty quick fix for getTypeParameters.	commit \| commitdiff \| tree
2019-06-14	rtrimana	Preparing for tracking the object creation etc.	commit \| commitdiff \| tree
2019-06-13	rtrimana	First attempt to add getGenericParameterTypes() and...	commit \| commitdiff \| tree
2019-06-13	rtrimana	Cleaning up for the real fixes.	commit \| commitdiff \| tree
2019-06-10	rtrimana	Starting a new version of Java Pathfinder.	commit \| commitdiff \| tree
2019-06-10	rtrimana	Starting a new version of Java Pathfinder.	commit \| commitdiff \| tree
2019-06-10	rtrimana	Starting our own version of JPF with support for generics.	commit \| commitdiff \| tree

Unnamed repository; edit this file 'description' to name the repository.

RSS Atom