diff options
-rw-r--r-- | Source/VCExpr/BigLiteralAbstracter.cs (renamed from Source/VCExpr/BigLiteralAbstracter.ssc) | 0 | ||||
-rw-r--r-- | Source/VCExpr/Boogie2VCExpr.cs (renamed from Source/VCExpr/Boogie2VCExpr.ssc) | 0 | ||||
-rw-r--r-- | Source/VCExpr/Clustering.cs (renamed from Source/VCExpr/Clustering.ssc) | 0 | ||||
-rw-r--r-- | Source/VCExpr/LetBindingSorter.cs (renamed from Source/VCExpr/LetBindingSorter.ssc) | 0 | ||||
-rw-r--r-- | Source/VCExpr/NameClashResolver.cs (renamed from Source/VCExpr/NameClashResolver.ssc) | 0 | ||||
-rw-r--r-- | Source/VCExpr/SimplifyLikeLineariser.cs (renamed from Source/VCExpr/SimplifyLikeLineariser.ssc) | 0 | ||||
-rw-r--r-- | Source/VCExpr/TermFormulaFlattening.cs (renamed from Source/VCExpr/TermFormulaFlattening.ssc) | 0 | ||||
-rw-r--r-- | Source/VCExpr/TypeErasure.cs (renamed from Source/VCExpr/TypeErasure.ssc) | 0 | ||||
-rw-r--r-- | Source/VCExpr/TypeErasureArguments.cs (renamed from Source/VCExpr/TypeErasureArguments.ssc) | 0 | ||||
-rw-r--r-- | Source/VCExpr/TypeErasurePremisses.cs (renamed from Source/VCExpr/TypeErasurePremisses.ssc) | 0 | ||||
-rw-r--r-- | Source/VCExpr/VCExpr.csproj (renamed from Source/VCExpr/VCExpr.sscproj) | 0 | ||||
-rw-r--r-- | Source/VCExpr/VCExprAST.cs (renamed from Source/VCExpr/VCExprAST.ssc) | 0 | ||||
-rw-r--r-- | Source/VCExpr/VCExprASTPrinter.cs (renamed from Source/VCExpr/VCExprASTPrinter.ssc) | 0 | ||||
-rw-r--r-- | Source/VCExpr/VCExprASTVisitors.cs (renamed from Source/VCExpr/VCExprASTVisitors.ssc) | 0 |
14 files changed, 0 insertions, 0 deletions
diff --git a/Source/VCExpr/BigLiteralAbstracter.ssc b/Source/VCExpr/BigLiteralAbstracter.cs index fac34a8d..fac34a8d 100644 --- a/Source/VCExpr/BigLiteralAbstracter.ssc +++ b/Source/VCExpr/BigLiteralAbstracter.cs diff --git a/Source/VCExpr/Boogie2VCExpr.ssc b/Source/VCExpr/Boogie2VCExpr.cs index df966c2d..df966c2d 100644 --- a/Source/VCExpr/Boogie2VCExpr.ssc +++ b/Source/VCExpr/Boogie2VCExpr.cs diff --git a/Source/VCExpr/Clustering.ssc b/Source/VCExpr/Clustering.cs index 3b256121..3b256121 100644 --- a/Source/VCExpr/Clustering.ssc +++ b/Source/VCExpr/Clustering.cs diff --git a/Source/VCExpr/LetBindingSorter.ssc b/Source/VCExpr/LetBindingSorter.cs index 96eb0af2..96eb0af2 100644 --- a/Source/VCExpr/LetBindingSorter.ssc +++ b/Source/VCExpr/LetBindingSorter.cs diff --git a/Source/VCExpr/NameClashResolver.ssc b/Source/VCExpr/NameClashResolver.cs index 9c281bf8..9c281bf8 100644 --- a/Source/VCExpr/NameClashResolver.ssc +++ b/Source/VCExpr/NameClashResolver.cs diff --git a/Source/VCExpr/SimplifyLikeLineariser.ssc b/Source/VCExpr/SimplifyLikeLineariser.cs index 30779f22..30779f22 100644 --- a/Source/VCExpr/SimplifyLikeLineariser.ssc +++ b/Source/VCExpr/SimplifyLikeLineariser.cs diff --git a/Source/VCExpr/TermFormulaFlattening.ssc b/Source/VCExpr/TermFormulaFlattening.cs index bfb8cb3a..bfb8cb3a 100644 --- a/Source/VCExpr/TermFormulaFlattening.ssc +++ b/Source/VCExpr/TermFormulaFlattening.cs diff --git a/Source/VCExpr/TypeErasure.ssc b/Source/VCExpr/TypeErasure.cs index e0852071..e0852071 100644 --- a/Source/VCExpr/TypeErasure.ssc +++ b/Source/VCExpr/TypeErasure.cs diff --git a/Source/VCExpr/TypeErasureArguments.ssc b/Source/VCExpr/TypeErasureArguments.cs index ec03d2e8..ec03d2e8 100644 --- a/Source/VCExpr/TypeErasureArguments.ssc +++ b/Source/VCExpr/TypeErasureArguments.cs diff --git a/Source/VCExpr/TypeErasurePremisses.ssc b/Source/VCExpr/TypeErasurePremisses.cs index 61144209..61144209 100644 --- a/Source/VCExpr/TypeErasurePremisses.ssc +++ b/Source/VCExpr/TypeErasurePremisses.cs diff --git a/Source/VCExpr/VCExpr.sscproj b/Source/VCExpr/VCExpr.csproj index 53482aa5..53482aa5 100644 --- a/Source/VCExpr/VCExpr.sscproj +++ b/Source/VCExpr/VCExpr.csproj diff --git a/Source/VCExpr/VCExprAST.ssc b/Source/VCExpr/VCExprAST.cs index 7e5b31f1..7e5b31f1 100644 --- a/Source/VCExpr/VCExprAST.ssc +++ b/Source/VCExpr/VCExprAST.cs diff --git a/Source/VCExpr/VCExprASTPrinter.ssc b/Source/VCExpr/VCExprASTPrinter.cs index 796a2b4e..796a2b4e 100644 --- a/Source/VCExpr/VCExprASTPrinter.ssc +++ b/Source/VCExpr/VCExprASTPrinter.cs diff --git a/Source/VCExpr/VCExprASTVisitors.ssc b/Source/VCExpr/VCExprASTVisitors.cs index c9d56962..c9d56962 100644 --- a/Source/VCExpr/VCExprASTVisitors.ssc +++ b/Source/VCExpr/VCExprASTVisitors.cs |