summaryrefslogtreecommitdiff
path: root/Source/VCExpr
ModeNameSize
-rw-r--r--BigLiteralAbstracter.cs8303logplain
-rw-r--r--Boogie2VCExpr.cs44603logplain
-rw-r--r--Clustering.cs18934logplain
-rw-r--r--LetBindingSorter.cs5842logplain
-rw-r--r--NameClashResolver.cs6646logplain
-rw-r--r--SimplifyLikeLineariser.cs38036logplain
-rw-r--r--TermFormulaFlattening.cs9478logplain
-rw-r--r--TypeErasure.cs68826logplain
-rw-r--r--TypeErasureArguments.cs31811logplain
-rw-r--r--TypeErasurePremisses.cs61298logplain
-rw-r--r--VCExpr.csproj11022logplain
-rw-r--r--VCExprAST.cs72947logplain
-rw-r--r--VCExprASTPrinter.cs11505logplain
-rw-r--r--VCExprASTVisitors.cs55309logplain
-rw-r--r--cce.cs5170logplain