Mercurial > hg > Members > kono > jpf-core
graph
-
add modulesTue, 19 Dec 2017 09:05:20 +0900, by Shinji KONO
-
Extended the model class sun.misc.SharedSecrets to make it compatible with the updates in jdk8u121. The update caused the test gov.nasa.jpf.test.java.io.ObjectStreamTest to fail.Mon, 06 Feb 2017 18:03:21 -0800, by nastaran
-
Updated the model class sun.misc.SharedSecrets to make it compatible with the recent updates in jdk8u75. New methods added to sun.misc.SharedSecrets are used by clinit in java.io.ObjectInputStream which caused JPF to throw java.lang.NoSuchMethodException.Wed, 25 May 2016 10:43:50 -0700, by nastaran
-
Fixed a bug in AtomicLong native peer.Wed, 25 May 2016 10:00:18 -0700, by nastaran
-
Provided support for double colon operator used for lamabda expressions. Fixed a bug related to generating names for funcation object classes (by supporting double colon operator, a new stragety needed to generate unique names for function objects. To achive that the bootstrap ids are incorporated into names). Finally modified the method that retrieves the SAM from functional interfaces.Thu, 25 Jun 2015 13:20:50 -0700, by nastaran
-
fixed the missing class init status update for native clinits. Since we movedMon, 11 May 2015 12:17:18 -0700, by Peter Mehlitz
-
moved NonShared + checker listener over from old jpf-aprop. Note this is still a JVM specific listener but it could be VM agnosticMon, 04 May 2015 22:10:33 -0700, by Peter Mehlitz
-
added class name to warning for ambiguous native methods (without MJI signatures)Wed, 22 Apr 2015 15:54:26 -0700, by Peter Mehlitz
-
fixed JPF_.._Verify.registerChoiceGenerator() to not break and ignore theTue, 14 Apr 2015 15:01:25 -0700, by Peter Mehlitz
-
reshuffled Event hierarchy, introducing SystemEvent, with CheckEvent andFri, 10 Apr 2015 20:53:11 -0700, by Peter Mehlitz
-
changed EventForest to derive from EventTree, which kills three birds with oneMon, 06 Apr 2015 12:08:03 -0700, by Peter Mehlitz