summaryrefslogtreecommitdiff
path: root/Source/Core
ModeNameSize
-rw-r--r--Absy.cs158468logplain
-rw-r--r--AbsyCmd.cs118726logplain
-rw-r--r--AbsyExpr.cs109057logplain
-rw-r--r--AbsyQuant.cs31469logplain
-rw-r--r--AbsyType.cs144255logplain
-rw-r--r--AlphaEquality.cs5645logplain
-rw-r--r--BoogiePL.atg56428logplain
-rw-r--r--CommandLineOptions.cs78699logplain
-rw-r--r--Core.csproj11951logplain
-rw-r--r--DeadVarElim.cs62321logplain
-rw-r--r--Duplicator.cs33636logplain
-rw-r--r--Graph.as9904logplain
-rw-r--r--Inline.cs29372logplain
-rw-r--r--InterProceduralReachabilityGraph.cs10064logplain
-rw-r--r--LambdaHelper.cs11327logplain
-rw-r--r--LoopUnroll.cs10760logplain
-rw-r--r--Makefile863logplain
-rw-r--r--OOLongUtil.cs6185logplain
-rw-r--r--Parser.cs69483logplain
-rw-r--r--Readme.txt1734logplain
-rw-r--r--ResolutionContext.cs20824logplain
-rw-r--r--Scanner.cs24702logplain
-rw-r--r--StandardVisitor.cs47082logplain
-rw-r--r--TypeAmbiguitySeeker.cs4272logplain
-rw-r--r--Util.cs22901logplain
-rw-r--r--VCExp.cs8255logplain
-rw-r--r--VariableDependenceAnalyser.cs23705logplain
-rw-r--r--Xml.cs9775logplain
-rw-r--r--cce.cs5170logplain