log src/main/gov/nasa/jpf/jvm/bytecode/INVOKEDYNAMIC.java @ 29:820b89dd6c97

age author description
Fri, 16 Oct 2015 15:55:08 -0700 nastaran Fixed a bug in the implementation for lambda support. Now, every invocation of invokedynamic that is associated with a lamabda expression including free variables leads to a new instance of a function object.
Thu, 25 Jun 2015 13:20:50 -0700 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.
Wed, 15 Apr 2015 22:40:21 -0700 Peter Mehlitz streamlined class init, which was a mixed case of registerClass()/initializeClass() and pushRequiredClinits(). Now it is a single initializeClass(ti) method which combines the previous initializeClass(), pushRequiredClinits() and pushClinit() methods. The reason for combining these is the forthcoming replacement of separately locked clinits from different DirectCallStackFrames with a single synthetic frame that calls clinits from nested synchronized blocks. This is required to model hotspot, which does cause deadlocks with concurrent init of classes that cause subclass init during their clinit executions.
Fri, 23 Jan 2015 11:08:46 -0800 Peter Mehlitz first set of post v7 patches
Fri, 23 Jan 2015 10:14:01 -0800 Peter Mehlitz initial v8 import (history reset)