log src/classes/sun/misc/SharedSecrets.java @ 32:05294e96a284

age author description
Mon, 06 Feb 2017 18:03:21 -0800 nastaran 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.
Wed, 25 May 2016 10:43:50 -0700 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.
Fri, 23 Jan 2015 10:14:01 -0800 Peter Mehlitz initial v8 import (history reset)