summaryrefslogtreecommitdiff
path: root/Source/GPUVerify
ModeNameSize
-rw-r--r--AccessCollector.cs633logplain
-rw-r--r--AccessRecord.cs382logplain
-rw-r--r--AdversarialAbstraction.cs5974logplain
-rw-r--r--ArrayControlFlowAnalyser.cs10467logplain
-rw-r--r--AsymmetricExpressionFinder.cs802logplain
-rw-r--r--BarrierInvariantDescriptor.cs1236logplain
-rw-r--r--BinaryBarrierInvariantDescriptor.cs2472logplain
d---------BoogieLibrary48logplain
-rw-r--r--CommandLineOptions.cs6698logplain
-rw-r--r--EnabledToPredicateVisitor.cs847logplain
-rw-r--r--EnsureDisabledThreadHasNoEffectInstrumenter.cs3476logplain
-rw-r--r--GPUVerifier.cs87494logplain
-rw-r--r--GPUVerify.csproj9921logplain
-rw-r--r--IKernelArrayInfo.cs501logplain
-rw-r--r--IRaceInstrumenter.cs862logplain
-rw-r--r--IRegion.cs363logplain
d---------InvariantGenerationRules180logplain
-rw-r--r--KernelArrayInfoLists.cs1620logplain
-rw-r--r--KernelDualiser.cs21192logplain
-rw-r--r--LiveVariableAnalyser.cs3684logplain
-rw-r--r--LoopInvariantGenerator.cs9905logplain
-rw-r--r--Main.cs6823logplain
-rw-r--r--MayBePowerOfTwoAnalyser.cs6644logplain
-rw-r--r--NonLocalAccessCollector.cs2894logplain
-rw-r--r--NonLocalAccessExtractor.cs3200logplain
-rw-r--r--NullRaceInstrumenter.cs1309logplain
-rw-r--r--Predicator.cs16890logplain
d---------Properties43logplain
-rw-r--r--RaceInstrumenter.cs50485logplain
-rw-r--r--ReadCollector.cs1423logplain
-rw-r--r--ReducedStrengthAnalysis.cs5774logplain
d---------Scripts47logplain
-rw-r--r--StrideConstraint.cs4519logplain
-rw-r--r--StructuredProgramVisitor.cs4544logplain
-rw-r--r--StructuredRegion.cs2819logplain
-rw-r--r--UnaryBarrierInvariantDescriptor.cs1920logplain
-rw-r--r--UnstructuredRegion.cs2706logplain
-rw-r--r--VariableDefinitionAnalysis.cs6203logplain
-rw-r--r--VariableDualiser.cs4666logplain
-rw-r--r--VariablesOccurringInExpressionVisitor.cs623logplain
-rw-r--r--WriteCollector.cs1465logplain
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-25 06:34:11 +0000