diff options
| -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 |