summaryrefslogtreecommitdiff
path: root/Source/AbsInt
ModeNameSize
-rw-r--r--AbsInt.csproj11080logplain
-rw-r--r--AbstractInterpretation.cs38221logplain
-rw-r--r--ExprFactories.cs9637logplain
-rw-r--r--IntervalDomain.cs37502logplain
-rw-r--r--LoopInvariantsOnDemand.cs2569logplain
-rw-r--r--NativeLattice.cs12921logplain
-rw-r--r--Traverse.cs6780logplain
-rw-r--r--TrivialDomain.cs1892logplain
-rw-r--r--cce.cs1476logplain