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

drwxr-xr-x		..
-rw-r--r--	1157	Abstraction.java	blob \| history \| raw
-rw-r--r--	1549	AbstractionAdapter.java	blob \| history \| raw
-rw-r--r--	2641	AdaptiveSerializer.java	blob \| history \| raw
-rw-r--r--	6244	AmmendableFilterConfiguration.java	blob \| history \| raw
-rw-r--r--	4894	CFSerializer.java	blob \| history \| raw
-rw-r--r--	3525	DebugCFSerializer.java	blob \| history \| raw
-rw-r--r--	1323	DebugFilteringSerializer.java	blob \| history \| raw
-rw-r--r--	1721	DefaultFilterConfiguration.java	blob \| history \| raw
-rw-r--r--	11787	DynamicAbstractionSerializer.java	blob \| history \| raw
-rw-r--r--	1937	FieldAmmendmentByName.java	blob \| history \| raw
-rw-r--r--	1197	FilterConfiguration.java	blob \| history \| raw
-rw-r--r--	1629	FilterFrame.java	blob \| history \| raw
-rw-r--r--	14943	FilteringSerializer.java	blob \| history \| raw
-rw-r--r--	1724	FramePolicy.java	blob \| history \| raw
-rw-r--r--	2567	IgnoreConstants.java	blob \| history \| raw
-rw-r--r--	1431	IgnoreReflectiveNames.java	blob \| history \| raw
-rw-r--r--	1681	IgnoreThreadNastiness.java	blob \| history \| raw
-rw-r--r--	1446	IgnoreUtilSilliness.java	blob \| history \| raw
-rw-r--r--	999	Ignored.java	blob \| history \| raw
-rw-r--r--	2389	IgnoresFromAnnotations.java	blob \| history \| raw
-rw-r--r--	1432	IncludesFromAnnotations.java	blob \| history \| raw
-rw-r--r--	4357	SmartThingsConfig.java	blob \| history \| raw
-rw-r--r--	1892	SmartThingsFilterConfiguration.java	blob \| history \| raw
-rw-r--r--	2176	TopFrameSerializer.java	blob \| history \| raw
-rw-r--r--	1506	UnfilterField.java	blob \| history \| raw
-rw-r--r--	1332	UnknownJPFClass.java	blob \| history \| raw