summaryrefslogtreecommitdiff
path: root/Source/GPUVerify
ModeNameSize
-rw-r--r--AccessCollector.cs629logplain
-rw-r--r--AccessInvariantProcessor.cs3743logplain
-rw-r--r--AccessRecord.cs540logplain
-rw-r--r--ArrayControlFlowAnalyser.cs10066logplain
-rw-r--r--AsymmetricExpressionFinder.cs802logplain
-rw-r--r--BlockPredicator.cs7845logplain
d---------BoogieLibrary48logplain
-rw-r--r--CommandLineOptions.cs8209logplain
-rw-r--r--CrossThreadInvariantProcessor.cs4639logplain
-rw-r--r--ElementEncodingRaceInstrumenter.cs21378logplain
-rw-r--r--EnabledToPredicateVisitor.cs847logplain
-rw-r--r--EnsureDisabledThreadHasNoEffectInstrumenter.cs3476logplain
-rw-r--r--GPUVerifier.cs87327logplain
-rw-r--r--GPUVerify.csproj9935logplain
-rw-r--r--GraphAlgorithms.cs2521logplain
-rw-r--r--INonLocalState.cs406logplain
-rw-r--r--IRaceInstrumenter.cs861logplain
d---------InvariantGenerationRules180logplain
-rw-r--r--KernelDualiser.cs15509logplain
-rw-r--r--LiveVariableAnalyser.cs3684logplain
-rw-r--r--LoopInvariantGenerator.cs10163logplain
-rw-r--r--Main.cs8609logplain
-rw-r--r--MayBeFlattened2DTidOrGidAnalyser.cs11630logplain
-rw-r--r--MayBeGidAnalyser.cs11430logplain
-rw-r--r--MayBeGlobalSizeAnalyser.cs10295logplain
-rw-r--r--MayBeIdPlusConstantAnalyser.cs10685logplain
-rw-r--r--MayBePowerOfTwoAnalyser.cs7362logplain
-rw-r--r--MayBeThreadConfigurationVariableAnalyser.cs10467logplain
-rw-r--r--NoConflictingAccessOptimiser.cs3118logplain
-rw-r--r--NonLocalAccessCollector.cs2886logplain
-rw-r--r--NonLocalAccessExtractor.cs3196logplain
-rw-r--r--NonLocalStateLists.cs1149logplain
-rw-r--r--NullRaceInstrumenter.cs1032logplain
-rw-r--r--Predicator.cs16890logplain
d---------Properties43logplain
-rw-r--r--RaceInstrumenterBase.cs44222logplain
-rw-r--r--ReadCollector.cs3603logplain
d---------Scripts47logplain
-rw-r--r--StructuredProgramVisitor.cs4544logplain
-rw-r--r--UniformExpressionAnalysisVisitor.cs942logplain
-rw-r--r--UniformityAnalyser.cs15301logplain
-rw-r--r--VariableDualiser.cs2809logplain
-rw-r--r--VariablesOccurringInExpressionVisitor.cs623logplain
-rw-r--r--WriteCollector.cs2992logplain
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-06 02:53:46 +0000