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

Mode	Name	Size
-rw-r--r--	AccessCollector.cs	633	log plain
-rw-r--r--	AccessRecord.cs	382	log plain
-rw-r--r--	AdversarialAbstraction.cs	5974	log plain
-rw-r--r--	ArrayControlFlowAnalyser.cs	10117	log plain
-rw-r--r--	AsymmetricExpressionFinder.cs	802	log plain
d---------	BoogieLibrary	48	log plain
-rw-r--r--	CommandLineOptions.cs	6694	log plain
-rw-r--r--	EnabledToPredicateVisitor.cs	847	log plain
-rw-r--r--	EnsureDisabledThreadHasNoEffectInstrumenter.cs	3476	log plain
-rw-r--r--	GPUVerifier.cs	87216	log plain
-rw-r--r--	GPUVerify.csproj	9568	log plain
-rw-r--r--	IKernelArrayInfo.cs	501	log plain
-rw-r--r--	IRaceInstrumenter.cs	862	log plain
-rw-r--r--	IRegion.cs	363	log plain
d---------	InvariantGenerationRules	180	log plain
-rw-r--r--	KernelArrayInfoLists.cs	1620	log plain
-rw-r--r--	KernelDualiser.cs	14421	log plain
-rw-r--r--	LiveVariableAnalyser.cs	3684	log plain
-rw-r--r--	LoopInvariantGenerator.cs	9905	log plain
-rw-r--r--	Main.cs	6823	log plain
-rw-r--r--	MayBePowerOfTwoAnalyser.cs	6644	log plain
-rw-r--r--	NonLocalAccessCollector.cs	2894	log plain
-rw-r--r--	NonLocalAccessExtractor.cs	3200	log plain
-rw-r--r--	NullRaceInstrumenter.cs	1309	log plain
-rw-r--r--	Predicator.cs	16890	log plain
d---------	Properties	43	log plain
-rw-r--r--	RaceInstrumenter.cs	50494	log plain
-rw-r--r--	ReadCollector.cs	1423	log plain
-rw-r--r--	ReducedStrengthAnalysis.cs	5774	log plain
d---------	Scripts	47	log plain
-rw-r--r--	StrideConstraint.cs	4519	log plain
-rw-r--r--	StructuredProgramVisitor.cs	4544	log plain
-rw-r--r--	StructuredRegion.cs	2819	log plain
-rw-r--r--	UnstructuredRegion.cs	2706	log plain
-rw-r--r--	VariableDefinitionAnalysis.cs	6203	log plain
-rw-r--r--	VariableDualiser.cs	4754	log plain
-rw-r--r--	VariablesOccurringInExpressionVisitor.cs	623	log plain
-rw-r--r--	WriteCollector.cs	1465	log plain