diff options
| author |  tabarbe <unknown> | 2010-07-22 21:23:48 +0000 |
|---|---|---|
| committer | tabarbe <unknown> | 2010-07-22 21:23:48 +0000 |
| commit | 65b6bdc20226d1bf6c587b2124f2b423877b786c (patch) | |
| tree | b6936bd8b137c3d1fd811e5c1379ff97e9443d29 /Source/Provers | |
| parent | de56b21b1639077179284d909832702b300ba527 (diff) | |
Boogie: Renaming the source files for the SMTLib project in preparation for commiting my port of the project.
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 |