summaryrefslogtreecommitdiff
path: root/Source/Core
ModeNameSize
-rw-r--r--Absy.cs140950logplain
-rw-r--r--AbsyCmd.cs105386logplain
-rw-r--r--AbsyExpr.cs105607logplain
-rw-r--r--AbsyQuant.cs34696logplain
-rw-r--r--AbsyType.cs136971logplain
-rw-r--r--BitvectorAnalysis.cs19426logplain
-rw-r--r--BoogiePL.atg56144logplain
-rw-r--r--CommandLineOptions.cs64219logplain
-rw-r--r--Core.csproj11466logplain
-rw-r--r--DeadVarElim.cs57271logplain
-rw-r--r--Duplicator.cs22335logplain
-rw-r--r--Graph.as9904logplain
-rw-r--r--GraphAlgorithms.cs7401logplain
-rw-r--r--Inline.cs24950logplain
-rw-r--r--LambdaHelper.cs7751logplain
-rw-r--r--LoopUnroll.cs10367logplain
-rw-r--r--Makefile823logplain
-rw-r--r--OOLongUtil.cs6195logplain
-rw-r--r--Parser.cs65441logplain
-rw-r--r--PureCollections.cs28598logplain
-rw-r--r--Readme.txt1734logplain
-rw-r--r--ResolutionContext.cs19393logplain
-rw-r--r--Scanner.cs22872logplain
-rw-r--r--StandardVisitor.cs25168logplain
-rw-r--r--TypeAmbiguitySeeker.cs4225logplain
-rw-r--r--Util.cs18934logplain
-rw-r--r--VCExp.cs8179logplain
-rw-r--r--Xml.cs9765logplain
-rw-r--r--cce.cs5170logplain