summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-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