summaryrefslogtreecommitdiff
path: root/Source/GPUVerify
ModeNameSize
-rw-r--r--AccessCollector.cs629logplain
-rw-r--r--AccessInvariantProcessor.cs4143logplain
-rw-r--r--AccessRecord.cs540logplain
-rw-r--r--AsymmetricExpressionFinder.cs662logplain
d---------BoogieLibrary48logplain
-rw-r--r--CommandLineOptions.cs5684logplain
-rw-r--r--CrossThreadInvariantProcessor.cs1849logplain
-rw-r--r--ElementEncodingRaceInstrumenter.cs23206logplain
-rw-r--r--EnabledToPredicateVisitor.cs918logplain
-rw-r--r--GPUVerifier.cs101741logplain
-rw-r--r--GPUVerify.csproj8862logplain
-rw-r--r--INonLocalState.cs406logplain
-rw-r--r--IRaceInstrumenter.cs970logplain
-rw-r--r--Main.cs8717logplain
-rw-r--r--NoConflictingAccessOptimiser.cs3118logplain
-rw-r--r--NonLocalAccessCollector.cs2886logplain
-rw-r--r--NonLocalAccessExtractor.cs3196logplain
-rw-r--r--NonLocalStateLists.cs1149logplain
-rw-r--r--NullRaceInstrumenter.cs1198logplain
-rw-r--r--Predicator.cs11303logplain
d---------Properties43logplain
-rw-r--r--RaceInstrumenterBase.cs21050logplain
-rw-r--r--ReadCollector.cs3603logplain
d---------Scripts47logplain
-rw-r--r--SetEncodingRaceInstrumenter.cs21770logplain
-rw-r--r--StructuredProgramVisitor.cs4324logplain
-rw-r--r--VariableDualiser.cs2213logplain
-rw-r--r--WriteCollector.cs2992logplain
generated by cgit v1.2.3 (git 2.39.1) at 2024-08-02 00:24:00 +0000