summaryrefslogtreecommitdiff
path: root/Source/Core
ModeNameSize
-rw-r--r--Absy.cs154831logplain
-rw-r--r--AbsyCmd.cs114932logplain
-rw-r--r--AbsyExpr.cs103079logplain
-rw-r--r--AbsyQuant.cs30539logplain
-rw-r--r--AbsyType.cs134294logplain
-rw-r--r--AlphaEquality.cs5483logplain
-rw-r--r--BoogiePL.atg54917logplain
-rw-r--r--CommandLineOptions.cs77532logplain
-rw-r--r--Core.csproj11717logplain
-rw-r--r--DeadVarElim.cs60911logplain
-rw-r--r--Duplicator.cs33985logplain
-rw-r--r--Inline.cs28603logplain
-rw-r--r--InterProceduralReachabilityGraph.cs9758logplain
-rw-r--r--LambdaHelper.cs11053logplain
-rw-r--r--LoopUnroll.cs10474logplain
-rw-r--r--Makefile854logplain
-rw-r--r--OOLongUtil.cs5975logplain
-rw-r--r--Parser.cs65033logplain
-rw-r--r--Readme.txt1673logplain
-rw-r--r--ResolutionContext.cs20195logplain
-rw-r--r--Scanner.cs23809logplain
-rw-r--r--StandardVisitor.cs45717logplain
-rw-r--r--TypeAmbiguitySeeker.cs4150logplain
-rw-r--r--Util.cs22213logplain
-rw-r--r--VCExp.cs8017logplain
-rw-r--r--VariableDependenceAnalyser.cs23059logplain
-rw-r--r--Xml.cs9460logplain
-rw-r--r--cce.cs4978logplain