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
3578
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
5684
log
plain
-rw-r--r--
CrossThreadInvariantProcessor.cs
1235
log
plain
-rw-r--r--
ElementEncodingRaceInstrumenter.cs
23219
log
plain
-rw-r--r--
EnabledToPredicateVisitor.cs
918
log
plain
-rw-r--r--
GPUVerifier.cs
100723
log
plain
-rw-r--r--
GPUVerify.csproj
8807
log
plain
-rw-r--r--
INonLocalState.cs
406
log
plain
-rw-r--r--
IRaceInstrumenter.cs
873
log
plain
-rw-r--r--
Main.cs
8717
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
1043
log
plain
-rw-r--r--
Predicator.cs
11255
log
plain
d---------
Properties
43
log
plain
-rw-r--r--
RaceInstrumenterBase.cs
18331
log
plain
-rw-r--r--
ReadCollector.cs
3603
log
plain
d---------
Scripts
47
log
plain
-rw-r--r--
SetEncodingRaceInstrumenter.cs
21571
log
plain
-rw-r--r--
VariableDualiser.cs
2116
log
plain
-rw-r--r--
WriteCollector.cs
2992
log
plain