summaryrefslogtreecommitdiff
path: root/Source/VCExpr
ModeNameSize
-rw-r--r--BigLiteralAbstracter.cs8307logplain
-rw-r--r--Boogie2VCExpr.cs47559logplain
-rw-r--r--Clustering.cs18915logplain
-rw-r--r--LetBindingSorter.cs5849logplain
-rw-r--r--NameClashResolver.cs6809logplain
-rw-r--r--SimplifyLikeLineariser.cs39497logplain
-rw-r--r--TermFormulaFlattening.cs9472logplain
-rw-r--r--TypeErasure.cs67810logplain
-rw-r--r--TypeErasureArguments.cs31741logplain
-rw-r--r--TypeErasurePremisses.cs61128logplain
-rw-r--r--VCExpr.csproj10968logplain
-rw-r--r--VCExprAST.cs75601logplain
-rw-r--r--VCExprASTPrinter.cs12288logplain
-rw-r--r--VCExprASTVisitors.cs56698logplain
-rw-r--r--cce.cs5170logplain