summaryrefslogtreecommitdiff
path: root/Source/VCExpr
ModeNameSize
-rw-r--r--BigLiteralAbstracter.cs8076logplain
-rw-r--r--Boogie2VCExpr.cs46521logplain
-rw-r--r--Clustering.cs18394logplain
-rw-r--r--LetBindingSorter.cs5688logplain
-rw-r--r--NameClashResolver.cs6613logplain
-rw-r--r--SimplifyLikeLineariser.cs38433logplain
-rw-r--r--TermFormulaFlattening.cs9438logplain
-rw-r--r--TypeErasure.cs66406logplain
-rw-r--r--TypeErasureArguments.cs30988logplain
-rw-r--r--TypeErasurePremisses.cs59791logplain
-rw-r--r--VCExpr.csproj11192logplain
-rw-r--r--VCExprAST.cs73627logplain
-rw-r--r--VCExprASTPrinter.cs11928logplain
-rw-r--r--VCExprASTVisitors.cs56019logplain
-rw-r--r--cce.cs4978logplain