Programming Languages Research Group: Git - jpf-core.git/tree

drwxr-xr-x		..
-rw-r--r--	1715	AbstractRestorer.java	blob \| history \| raw
-rw-r--r--	1955	AbstractSerializer.java	blob \| history \| raw
-rw-r--r--	2199	AbstractTypeAnnotationInfo.java	blob \| history \| raw
-rw-r--r--	9861	AllRunnablesSyncPolicy.java	blob \| history \| raw
-rw-r--r--	1859	Allocation.java	blob \| history \| raw
-rw-r--r--	1047	AllocationContext.java	blob \| history \| raw
-rw-r--r--	11580	AnnotationInfo.java	blob \| history \| raw
-rw-r--r--	960	AnnotationParser.java	blob \| history \| raw
-rw-r--r--	2949	ApplicationContext.java	blob \| history \| raw
-rw-r--r--	1313	ArrayAccess.java	blob \| history \| raw
-rw-r--r--	5602	ArrayFields.java	blob \| history \| raw
-rw-r--r--	1535	ArrayIndexOutOfBoundsExecutiveException.java	blob \| history \| raw
-rw-r--r--	1264	ArrayOffset.java	blob \| history \| raw
-rw-r--r--	2304	AtomicData.java	blob \| history \| raw
-rw-r--r--	974	Attributor.java	blob \| history \| raw
-rw-r--r--	1170	Backtracker.java	blob \| history \| raw
-rw-r--r--	2859	BooleanArrayFields.java	blob \| history \| raw
-rw-r--r--	4062	BooleanChoiceGenerator.java	blob \| history \| raw
-rw-r--r--	1840	BooleanFieldInfo.java	blob \| history \| raw
-rw-r--r--	2213	BootstrapMethodInfo.java	blob \| history \| raw
-rw-r--r--	10679	BoxObjectCacheManager.java	blob \| history \| raw
-rw-r--r--	2695	ByteArrayFields.java	blob \| history \| raw
-rw-r--r--	1862	ByteFieldInfo.java	blob \| history \| raw
-rw-r--r--	1224	BytecodeAnnotationInfo.java	blob \| history \| raw
-rw-r--r--	1508	BytecodeTypeParameterAnnotationInfo.java	blob \| history \| raw
-rw-r--r--	3675	CharArrayFields.java	blob \| history \| raw
-rw-r--r--	1834	CharFieldInfo.java	blob \| history \| raw
-rw-r--r--	1312	CheckExtendTransition.java	blob \| history \| raw
-rw-r--r--	5469	ChoiceGenerator.java	blob \| history \| raw
-rw-r--r--	13338	ChoiceGeneratorBase.java	blob \| history \| raw
-rw-r--r--	7275	ChoicePoint.java	blob \| history \| raw
-rw-r--r--	1036	ClassChangeException.java	blob \| history \| raw
-rw-r--r--	1478	ClassFileContainer.java	blob \| history \| raw
-rw-r--r--	1596	ClassFileMatch.java	blob \| history \| raw
-rw-r--r--	75181	ClassInfo.java	blob \| history \| raw
-rw-r--r--	3295	ClassInfoException.java	blob \| history \| raw
-rw-r--r--	28130	ClassLoaderInfo.java	blob \| history \| raw
-rw-r--r--	4356	ClassLoaderList.java	blob \| history \| raw
-rw-r--r--	1088	ClassParseException.java	blob \| history \| raw
-rw-r--r--	3039	ClassPath.java	blob \| history \| raw
-rw-r--r--	1364	ClinitRequired.java	blob \| history \| raw
-rw-r--r--	1261	ClosedMemento.java	blob \| history \| raw
-rw-r--r--	4218	CollapsePools.java	blob \| history \| raw
-rw-r--r--	3108	ConstInsnPathTime.java	blob \| history \| raw
-rw-r--r--	1347	ConstantTime.java	blob \| history \| raw
-rw-r--r--	3757	DebugJenkinsStateSet.java	blob \| history \| raw
-rw-r--r--	1008	DebugStateSerializer.java	blob \| history \| raw
-rw-r--r--	3392	DefaultBacktracker.java	blob \| history \| raw
-rw-r--r--	2034	DefaultFieldsFactory.java	blob \| history \| raw
-rw-r--r--	1788	DefaultMementoRestorer.java	blob \| history \| raw
-rw-r--r--	7927	DelegatingScheduler.java	blob \| history \| raw
-rw-r--r--	3605	DirectCallStackFrame.java	blob \| history \| raw
-rw-r--r--	2769	DoubleArrayFields.java	blob \| history \| raw
-rw-r--r--	1049	DoubleChoiceGenerator.java	blob \| history \| raw
-rw-r--r--	2171	DoubleFieldInfo.java	blob \| history \| raw
-rw-r--r--	1119	DoubleSlotFieldInfo.java	blob \| history \| raw
-rw-r--r--	5313	DynamicElementInfo.java	blob \| history \| raw
-rw-r--r--	67473	ElementInfo.java	blob \| history \| raw
-rw-r--r--	2024	ExceptionHandler.java	blob \| history \| raw
-rw-r--r--	2462	ExceptionInfo.java	blob \| history \| raw
-rw-r--r--	1259	ExceptionParameterAnnotationInfo.java	blob \| history \| raw
-rw-r--r--	8142	FieldInfo.java	blob \| history \| raw
-rw-r--r--	4779	FieldLockInfo.java	blob \| history \| raw
-rw-r--r--	1085	FieldLockInfoFactory.java	blob \| history \| raw
-rw-r--r--	10166	Fields.java	blob \| history \| raw
-rw-r--r--	1191	FieldsFactory.java	blob \| history \| raw
-rw-r--r--	9884	FinalizerThreadInfo.java	blob \| history \| raw
-rw-r--r--	2749	FloatArrayFields.java	blob \| history \| raw
-rw-r--r--	1054	FloatChoiceGenerator.java	blob \| history \| raw
-rw-r--r--	2059	FloatFieldInfo.java	blob \| history \| raw
-rw-r--r--	1259	FormalParameterAnnotationInfo.java	blob \| history \| raw
-rw-r--r--	1207	FullStateSet.java	blob \| history \| raw
-rw-r--r--	2950	FunctionObjectFactory.java	blob \| history \| raw
-rw-r--r--	22307	GenericHeap.java	blob \| history \| raw
-rw-r--r--	3776	GenericSGOIDHeap.java	blob \| history \| raw
-rw-r--r--	19922	GenericSharednessPolicy.java	blob \| history \| raw
-rw-r--r--	1011	GenericSignatureHolder.java	blob \| history \| raw
-rw-r--r--	1502	GlobalSchedulingPoint.java	blob \| history \| raw
-rw-r--r--	3993	GlobalSharednessPolicy.java	blob \| history \| raw
-rw-r--r--	2283	HandlerContext.java	blob \| history \| raw
-rw-r--r--	8828	HashedAllocationContext.java	blob \| history \| raw
-rw-r--r--	3000	Heap.java	blob \| history \| raw
-rw-r--r--	1068	IncrementalChangeTracker.java	blob \| history \| raw
-rw-r--r--	8525	InfoObject.java	blob \| history \| raw
-rw-r--r--	11553	Instruction.java	blob \| history \| raw
-rw-r--r--	2699	IntArrayFields.java	blob \| history \| raw
-rw-r--r--	1050	IntChoiceGenerator.java	blob \| history \| raw
-rw-r--r--	2027	IntegerFieldInfo.java	blob \| history \| raw
-rw-r--r--	1200	IsEndStateProperty.java	blob \| history \| raw
-rw-r--r--	5092	JPFOutputStream.java	blob \| history \| raw
-rw-r--r--	40741	JPF_gov_nasa_jpf_vm_Verify.java	blob \| history \| raw
-rw-r--r--	6404	JenkinsStateSet.java	blob \| history \| raw
-rw-r--r--	4808	KernelState.java	blob \| history \| raw
-rw-r--r--	1358	LoadOnJPFRequired.java	blob \| history \| raw
-rw-r--r--	3265	LocalVarInfo.java	blob \| history \| raw
-rw-r--r--	5258	LockSetThresholdFli.java	blob \| history \| raw
-rw-r--r--	2723	LongArrayFields.java	blob \| history \| raw
-rw-r--r--	1054	LongChoiceGenerator.java	blob \| history \| raw
-rw-r--r--	1992	LongFieldInfo.java	blob \| history \| raw
-rw-r--r--	56661	MJIEnv.java	blob \| history \| raw
-rw-r--r--	1792	Memento.java	blob \| history \| raw
-rw-r--r--	1386	MementoFactory.java	blob \| history \| raw
-rw-r--r--	1300	MementoRestorer.java	blob \| history \| raw
-rw-r--r--	36694	MethodInfo.java	blob \| history \| raw
-rw-r--r--	923	MethodLocator.java	blob \| history \| raw
-rw-r--r--	9725	Monitor.java	blob \| history \| raw
-rw-r--r--	13669	MultiProcessVM.java	blob \| history \| raw
-rw-r--r--	6138	NamedFields.java	blob \| history \| raw
-rw-r--r--	8428	NativeMethodInfo.java	blob \| history \| raw
-rw-r--r--	13722	NativePeer.java	blob \| history \| raw
-rw-r--r--	7475	NativeStackFrame.java	blob \| history \| raw
-rw-r--r--	1117	NativeStateHolder.java	blob \| history \| raw
-rw-r--r--	1281	NoJPFExec.java	blob \| history \| raw
-rw-r--r--	1352	NoOutOfMemoryErrorProperty.java	blob \| history \| raw
-rw-r--r--	1970	NoUncaughtExceptionsProperty.java	blob \| history \| raw
-rw-r--r--	2125	NotDeadlockedProperty.java	blob \| history \| raw
-rw-r--r--	3787	OVHeap.java	blob \| history \| raw
-rw-r--r--	5090	OVStatics.java	blob \| history \| raw
-rw-r--r--	1558	ObjRef.java	blob \| history \| raw
-rw-r--r--	5350	PSIMHeap.java	blob \| history \| raw
-rw-r--r--	3122	Path.java	blob \| history \| raw
-rw-r--r--	4401	PathSharednessPolicy.java	blob \| history \| raw
-rw-r--r--	1517	PersistentLockSetThresholdFli.java	blob \| history \| raw
-rw-r--r--	1294	PersistentSingleLockThresholdFli.java	blob \| history \| raw
-rw-r--r--	1785	PersistentTidSet.java	blob \| history \| raw
-rw-r--r--	5010	PreciseAllocationContext.java	blob \| history \| raw
-rw-r--r--	1045	PredicateMap.java	blob \| history \| raw
-rw-r--r--	2306	PriorityRunnablesSyncPolicy.java	blob \| history \| raw
-rw-r--r--	3078	ReferenceArrayFields.java	blob \| history \| raw
-rw-r--r--	981	ReferenceChoiceGenerator.java	blob \| history \| raw
-rw-r--r--	3250	ReferenceFieldInfo.java	blob \| history \| raw
-rw-r--r--	947	ReferenceProcessor.java	blob \| history \| raw
-rw-r--r--	1315	ReleaseAction.java	blob \| history \| raw
-rw-r--r--	990	Restorable.java	blob \| history \| raw
-rw-r--r--	1863	RestorableVMState.java	blob \| history \| raw
-rw-r--r--	1099	Scheduler.java	blob \| history \| raw
-rw-r--r--	1144	SerializingStateSet.java	blob \| history \| raw
-rw-r--r--	9386	SharednessPolicy.java	blob \| history \| raw
-rw-r--r--	2746	ShortArrayFields.java	blob \| history \| raw
-rw-r--r--	1876	ShortFieldInfo.java	blob \| history \| raw
-rw-r--r--	2743	SingleLockThresholdFli.java	blob \| history \| raw
-rw-r--r--	9678	SingleProcessVM.java	blob \| history \| raw
-rw-r--r--	1160	SingleSlotFieldInfo.java	blob \| history \| raw
-rw-r--r--	56275	StackFrame.java	blob \| history \| raw
-rw-r--r--	1050	StateRestorer.java	blob \| history \| raw
-rw-r--r--	1027	StateSerializer.java	blob \| history \| raw
-rw-r--r--	1261	StateSet.java	blob \| history \| raw
-rw-r--r--	5600	StaticElementInfo.java	blob \| history \| raw
-rw-r--r--	2877	Statics.java	blob \| history \| raw
-rw-r--r--	11888	StatisticFieldLockInfoFactory.java	blob \| history \| raw
-rw-r--r--	2722	Step.java	blob \| history \| raw
-rw-r--r--	999	Storable.java	blob \| history \| raw
-rw-r--r--	1328	SuperTypeAnnotationInfo.java	blob \| history \| raw
-rw-r--r--	4759	SyncPolicy.java	blob \| history \| raw
-rw-r--r--	8185	SystemClassLoaderInfo.java	blob \| history \| raw
-rw-r--r--	27085	SystemState.java	blob \| history \| raw
-rw-r--r--	1356	SystemTime.java	blob \| history \| raw
-rw-r--r--	995	ThreadChoiceGenerator.java	blob \| history \| raw
-rw-r--r--	3181	ThreadData.java	blob \| history \| raw
-rw-r--r--	105300	ThreadInfo.java	blob \| history \| raw
-rw-r--r--	1643	ThreadInfoSet.java	blob \| history \| raw
-rw-r--r--	15328	ThreadList.java	blob \| history \| raw
-rw-r--r--	2102	ThresholdFieldLockInfo.java	blob \| history \| raw
-rw-r--r--	1221	ThrowsAnnotationInfo.java	blob \| history \| raw
-rw-r--r--	3409	TidSet.java	blob \| history \| raw
-rw-r--r--	1543	TimeModel.java	blob \| history \| raw
-rw-r--r--	3718	Transition.java	blob \| history \| raw
-rw-r--r--	1269	TypeAnnotationInfo.java	blob \| history \| raw
-rw-r--r--	1261	TypeParameterAnnotationInfo.java	blob \| history \| raw
-rw-r--r--	1449	TypeParameterBoundAnnotationInfo.java	blob \| history \| raw
-rw-r--r--	34722	Types.java	blob \| history \| raw
-rw-r--r--	2562	UncaughtException.java	blob \| history \| raw
-rw-r--r--	60696	VM.java	blob \| history \| raw
-rw-r--r--	7955	VMListener.java	blob \| history \| raw
-rw-r--r--	2472	VariableAnnotationInfo.java	blob \| history \| raw
-rw-r--r--	18108	Verify.java	blob \| history \| raw
drwxr-xr-x	-	bytecode	tree \| history
drwxr-xr-x	-	choice	tree \| history
drwxr-xr-x	-	serialize	tree \| history