diff options
Diffstat (limited to 'Source/Provers')
| -rw-r--r-- | Source/Provers/SMTLib/ProverInterface.cs (renamed from Source/Provers/SMTLib/ProverInterface.ssc) | 0 | ||||
| -rw-r--r-- | Source/Provers/SMTLib/SMTLib.csproj (renamed from Source/Provers/SMTLib/SMTLib.sscproj) | 0 | ||||
| -rw-r--r-- | Source/Provers/SMTLib/SMTLibLineariser.cs (renamed from Source/Provers/SMTLib/SMTLibLineariser.ssc) | 0 | ||||
| -rw-r--r-- | Source/Provers/SMTLib/TypeDeclCollector.cs (renamed from Source/Provers/SMTLib/TypeDeclCollector.ssc) | 0 |
4 files changed, 0 insertions, 0 deletions
diff --git a/Source/Provers/SMTLib/ProverInterface.ssc b/Source/Provers/SMTLib/ProverInterface.cs index b55cc403..b55cc403 100644 --- a/Source/Provers/SMTLib/ProverInterface.ssc +++ b/Source/Provers/SMTLib/ProverInterface.cs diff --git a/Source/Provers/SMTLib/SMTLib.sscproj b/Source/Provers/SMTLib/SMTLib.csproj index 884f3084..884f3084 100644 --- a/Source/Provers/SMTLib/SMTLib.sscproj +++ b/Source/Provers/SMTLib/SMTLib.csproj diff --git a/Source/Provers/SMTLib/SMTLibLineariser.ssc b/Source/Provers/SMTLib/SMTLibLineariser.cs index 7efa109f..7efa109f 100644 --- a/Source/Provers/SMTLib/SMTLibLineariser.ssc +++ b/Source/Provers/SMTLib/SMTLibLineariser.cs diff --git a/Source/Provers/SMTLib/TypeDeclCollector.ssc b/Source/Provers/SMTLib/TypeDeclCollector.cs index 08c0e6a3..08c0e6a3 100644 --- a/Source/Provers/SMTLib/TypeDeclCollector.ssc +++ b/Source/Provers/SMTLib/TypeDeclCollector.cs |