diff options
| author |  tabarbe <unknown> | 2010-08-13 00:43:11 +0000 |
|---|---|---|
| committer | tabarbe <unknown> | 2010-08-13 00:43:11 +0000 |
| commit | 85ffcd8f1392bf871e585fe8efb60e38bfdb2f72 (patch) | |
| tree | e697a9f2d08a51d866aaa19a53b016b2749c090b | |
| parent | eb284abb4172c6162ac31b865dc2a7e9661fe413 (diff) | |
Boogie: Renaming VCExpr sources in preparation for port commit
| -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 |