log src/main/gov/nasa/jpf/jvm/bytecode/NATIVERETURN.java @ 27:8aded593a50f

age author description
Mon, 11 May 2015 12:17:18 -0700 Peter Mehlitz fixed the missing class init status update for native clinits. Since we moved
Fri, 23 Jan 2015 10:14:01 -0800 Peter Mehlitz initial v8 import (history reset)