summaryrefslogtreecommitdiff
path: root/Source/VCExpr
ModeNameSize
-rw-r--r--BigLiteralAbstracter.cs8303logplain
-rw-r--r--Boogie2VCExpr.cs44109logplain
-rw-r--r--Clustering.cs18934logplain
-rw-r--r--LetBindingSorter.cs5842logplain
-rw-r--r--NameClashResolver.cs6646logplain
-rw-r--r--SimplifyLikeLineariser.cs37671logplain
-rw-r--r--TermFormulaFlattening.cs9478logplain
-rw-r--r--TypeErasure.cs68834logplain
-rw-r--r--TypeErasureArguments.cs31757logplain
-rw-r--r--TypeErasurePremisses.cs61238logplain
-rw-r--r--VCExpr.csproj11022logplain
-rw-r--r--VCExprAST.cs73154logplain
-rw-r--r--VCExprASTPrinter.cs11505logplain
-rw-r--r--VCExprASTVisitors.cs55309logplain
-rw-r--r--cce.cs5170logplain