diff options
| author |  tabarbe <unknown> | 2010-07-20 22:36:21 +0000 |
|---|---|---|
| committer | tabarbe <unknown> | 2010-07-20 22:36:21 +0000 |
| commit | 1678122964e365cd1208c744053475fcc62ca012 (patch) | |
| tree | 3de4ac16615f41408e7787088738b868bdc5e4a7 /Source | |
| parent | 815c5f5fb885112a1b4d037e511336735acaa2f5 (diff) | |
Boogie: Let's try that rename again, shall we?
Diffstat (limited to 'Source')
| -rw-r--r-- | Source/Provers/Z3/AssemblyInfo.cs (renamed from Source/Provers/Z3/AssemblyInfo.ssc) | 0 | ||||
| -rw-r--r-- | Source/Provers/Z3/Inspector.cs (renamed from Source/Provers/Z3/Inspector.ssc) | 0 | ||||
| -rw-r--r-- | Source/Provers/Z3/Prover.cs (renamed from Source/Provers/Z3/Prover.ssc) | 0 | ||||
| -rw-r--r-- | Source/Provers/Z3/ProverInterface.cs (renamed from Source/Provers/Z3/ProverInterface.ssc) | 0 | ||||
| -rw-r--r-- | Source/Provers/Z3/TypeDeclCollector.cs (renamed from Source/Provers/Z3/TypeDeclCollector.ssc) | 0 | ||||
| -rw-r--r-- | Source/Provers/Z3/Z3.cscproj (renamed from Source/Provers/Z3/Z3.sscproj) | 0 |
6 files changed, 0 insertions, 0 deletions
diff --git a/Source/Provers/Z3/AssemblyInfo.ssc b/Source/Provers/Z3/AssemblyInfo.cs index ed1d3451..ed1d3451 100644 --- a/Source/Provers/Z3/AssemblyInfo.ssc +++ b/Source/Provers/Z3/AssemblyInfo.cs diff --git a/Source/Provers/Z3/Inspector.ssc b/Source/Provers/Z3/Inspector.cs index fa1b844e..fa1b844e 100644 --- a/Source/Provers/Z3/Inspector.ssc +++ b/Source/Provers/Z3/Inspector.cs diff --git a/Source/Provers/Z3/Prover.ssc b/Source/Provers/Z3/Prover.cs index dbf23a8a..dbf23a8a 100644 --- a/Source/Provers/Z3/Prover.ssc +++ b/Source/Provers/Z3/Prover.cs diff --git a/Source/Provers/Z3/ProverInterface.ssc b/Source/Provers/Z3/ProverInterface.cs index 3473a139..3473a139 100644 --- a/Source/Provers/Z3/ProverInterface.ssc +++ b/Source/Provers/Z3/ProverInterface.cs diff --git a/Source/Provers/Z3/TypeDeclCollector.ssc b/Source/Provers/Z3/TypeDeclCollector.cs index 4d6accaf..4d6accaf 100644 --- a/Source/Provers/Z3/TypeDeclCollector.ssc +++ b/Source/Provers/Z3/TypeDeclCollector.cs diff --git a/Source/Provers/Z3/Z3.sscproj b/Source/Provers/Z3/Z3.cscproj index 4d7b3ee6..4d7b3ee6 100644 --- a/Source/Provers/Z3/Z3.sscproj +++ b/Source/Provers/Z3/Z3.cscproj |