index
:
debian-boogie
dfsg_free
master
Debian packaging for Boogie
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
Source
/
GPUVerify
Mode
Name
Size
-rw-r--r--
AccessCollector.cs
629
log
plain
-rw-r--r--
AccessInvariantProcessor.cs
4165
log
plain
-rw-r--r--
AccessRecord.cs
540
log
plain
-rw-r--r--
AsymmetricExpressionFinder.cs
662
log
plain
d---------
BoogieLibrary
48
log
plain
-rw-r--r--
CommandLineOptions.cs
8137
log
plain
-rw-r--r--
CrossThreadInvariantProcessor.cs
4639
log
plain
-rw-r--r--
ElementEncodingRaceInstrumenter.cs
23387
log
plain
-rw-r--r--
EnabledToPredicateVisitor.cs
847
log
plain
-rw-r--r--
EnsureDisabledThreadHasNoEffectInstrumenter.cs
3476
log
plain
-rw-r--r--
GPUVerifier.cs
83647
log
plain
-rw-r--r--
GPUVerify.csproj
9480
log
plain
-rw-r--r--
INonLocalState.cs
406
log
plain
-rw-r--r--
IRaceInstrumenter.cs
991
log
plain
-rw-r--r--
KernelDualiser.cs
18129
log
plain
-rw-r--r--
LiveVariableAnalyser.cs
3684
log
plain
-rw-r--r--
LoopInvariantGenerator.cs
12824
log
plain
-rw-r--r--
Main.cs
8717
log
plain
-rw-r--r--
MayBePowerOfTwoAnalyser.cs
7370
log
plain
-rw-r--r--
MayBeTidAnalyser.cs
7078
log
plain
-rw-r--r--
MayBeTidPlusConstantAnalyser.cs
9571
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
1219
log
plain
-rw-r--r--
Predicator.cs
16527
log
plain
d---------
Properties
43
log
plain
-rw-r--r--
RaceInstrumenterBase.cs
35544
log
plain
-rw-r--r--
ReadCollector.cs
3603
log
plain
d---------
Scripts
47
log
plain
-rw-r--r--
SetEncodingRaceInstrumenter.cs
21846
log
plain
-rw-r--r--
StructuredProgramVisitor.cs
4544
log
plain
-rw-r--r--
UniformExpressionAnalysisVisitor.cs
942
log
plain
-rw-r--r--
UniformityAnalyser.cs
14728
log
plain
-rw-r--r--
VariableDualiser.cs
2809
log
plain
-rw-r--r--
VariablesOccurringInExpressionVisitor.cs
623
log
plain
-rw-r--r--
WriteCollector.cs
2992
log
plain