GPUVerify « Source - debian-boogie - Debian packaging for Boogie

Mode	Name	Size
-rw-r--r--	AccessCollector.cs	629	log plain
-rw-r--r--	AccessInvariantProcessor.cs	3743	log plain
-rw-r--r--	AccessRecord.cs	540	log plain
-rw-r--r--	ArrayControlFlowAnalyser.cs	9933	log plain
-rw-r--r--	AsymmetricExpressionFinder.cs	802	log plain
-rw-r--r--	BlockPredicator.cs	10004	log plain
d---------	BoogieLibrary	48	log plain
-rw-r--r--	CommandLineOptions.cs	8459	log plain
-rw-r--r--	CrossThreadInvariantProcessor.cs	4639	log plain
-rw-r--r--	ElementEncodingRaceInstrumenter.cs	21791	log plain
-rw-r--r--	EnabledToPredicateVisitor.cs	847	log plain
-rw-r--r--	EnsureDisabledThreadHasNoEffectInstrumenter.cs	3476	log plain
-rw-r--r--	GPUVerifier.cs	91311	log plain
-rw-r--r--	GPUVerify.csproj	10069	log plain
-rw-r--r--	GraphAlgorithms.cs	2521	log plain
-rw-r--r--	INonLocalState.cs	406	log plain
-rw-r--r--	IRaceInstrumenter.cs	875	log plain
-rw-r--r--	IRegion.cs	339	log plain
d---------	InvariantGenerationRules	180	log plain
-rw-r--r--	KernelDualiser.cs	15605	log plain
-rw-r--r--	LiveVariableAnalyser.cs	3684	log plain
-rw-r--r--	LoopInvariantGenerator.cs	8228	log plain
-rw-r--r--	Main.cs	8912	log plain
-rw-r--r--	MayBeFlattened2DTidOrGidAnalyser.cs	10912	log plain
-rw-r--r--	MayBeGidAnalyser.cs	10712	log plain
-rw-r--r--	MayBeGlobalSizeAnalyser.cs	9577	log plain
-rw-r--r--	MayBeIdPlusConstantAnalyser.cs	9965	log plain
-rw-r--r--	MayBePowerOfTwoAnalyser.cs	6644	log plain
-rw-r--r--	MayBeThreadConfigurationVariableAnalyser.cs	9749	log plain
-rw-r--r--	NoConflictingAccessOptimiser.cs	3118	log plain
-rw-r--r--	NonLocalAccessCollector.cs	2886	log plain
-rw-r--r--	NonLocalAccessExtractor.cs	3196	log plain
-rw-r--r--	NonLocalStateLists.cs	1149	log plain
-rw-r--r--	NullRaceInstrumenter.cs	1004	log plain
-rw-r--r--	Predicator.cs	16890	log plain
d---------	Properties	43	log plain
-rw-r--r--	RaceInstrumenterBase.cs	42525	log plain
-rw-r--r--	ReadCollector.cs	3603	log plain
d---------	Scripts	47	log plain
-rw-r--r--	StructuredProgramVisitor.cs	4544	log plain
-rw-r--r--	StructuredRegion.cs	2859	log plain
-rw-r--r--	UniformExpressionAnalysisVisitor.cs	942	log plain
-rw-r--r--	UniformityAnalyser.cs	15525	log plain
-rw-r--r--	UnstructuredRegion.cs	2589	log plain
-rw-r--r--	VariableDualiser.cs	3156	log plain
-rw-r--r--	VariablesOccurringInExpressionVisitor.cs	623	log plain
-rw-r--r--	WriteCollector.cs	2992	log plain