Boogie: Renaming the AIFramework sources in preparation for committal of my port of the project

20 files changed, 0 insertions, 0 deletions

diff --git a/Source/AIFramework/AIFramework.sscproj b/Source/AIFramework/AIFramework.csproj
index 76a83601..76a83601 100644
--- a/Source/AIFramework/AIFramework.sscproj
+++ b/Source/AIFramework/AIFramework.csproj
diff --git a/Source/AIFramework/AssemblyInfo.ssc b/Source/AIFramework/AssemblyInfo.cs
index 6ed99a25..6ed99a25 100644
--- a/Source/AIFramework/AssemblyInfo.ssc
+++ b/Source/AIFramework/AssemblyInfo.cs
diff --git a/Source/AIFramework/CommonFunctionSymbols.ssc b/Source/AIFramework/CommonFunctionSymbols.cs
index bc59df97..bc59df97 100644
--- a/Source/AIFramework/CommonFunctionSymbols.ssc
+++ b/Source/AIFramework/CommonFunctionSymbols.cs
diff --git a/Source/AIFramework/Expr.ssc b/Source/AIFramework/Expr.cs
index 1f21f84a..1f21f84a 100644
--- a/Source/AIFramework/Expr.ssc
+++ b/Source/AIFramework/Expr.cs
diff --git a/Source/AIFramework/Functional.ssc b/Source/AIFramework/Functional.cs
index bee40031..bee40031 100644
--- a/Source/AIFramework/Functional.ssc
+++ b/Source/AIFramework/Functional.cs
diff --git a/Source/AIFramework/Lattice.ssc b/Source/AIFramework/Lattice.cs
index 2ecc49f8..2ecc49f8 100644
--- a/Source/AIFramework/Lattice.ssc
+++ b/Source/AIFramework/Lattice.cs
diff --git a/Source/AIFramework/Logger.ssc b/Source/AIFramework/Logger.cs
index 12c3ba08..12c3ba08 100644
--- a/Source/AIFramework/Logger.ssc
+++ b/Source/AIFramework/Logger.cs
diff --git a/Source/AIFramework/MultiLattice.ssc b/Source/AIFramework/MultiLattice.cs
index 514e2548..514e2548 100644
--- a/Source/AIFramework/MultiLattice.ssc
+++ b/Source/AIFramework/MultiLattice.cs
diff --git a/Source/AIFramework/Mutable.ssc b/Source/AIFramework/Mutable.cs
index 6b5e0a20..6b5e0a20 100644
--- a/Source/AIFramework/Mutable.ssc
+++ b/Source/AIFramework/Mutable.cs
diff --git a/Source/AIFramework/Polyhedra/LinearConstraint.ssc b/Source/AIFramework/Polyhedra/LinearConstraint.cs
index 087c3696..087c3696 100644
--- a/Source/AIFramework/Polyhedra/LinearConstraint.ssc
+++ b/Source/AIFramework/Polyhedra/LinearConstraint.cs
diff --git a/Source/AIFramework/Polyhedra/LinearConstraintSystem.ssc b/Source/AIFramework/Polyhedra/LinearConstraintSystem.cs
index e444b0ca..e444b0ca 100644
--- a/Source/AIFramework/Polyhedra/LinearConstraintSystem.ssc
+++ b/Source/AIFramework/Polyhedra/LinearConstraintSystem.cs
diff --git a/Source/AIFramework/Polyhedra/PolyhedraAbstraction.ssc b/Source/AIFramework/Polyhedra/PolyhedraAbstraction.cs
index fdb8d86d..fdb8d86d 100644
--- a/Source/AIFramework/Polyhedra/PolyhedraAbstraction.ssc
+++ b/Source/AIFramework/Polyhedra/PolyhedraAbstraction.cs
diff --git a/Source/AIFramework/Polyhedra/SimplexTableau.ssc b/Source/AIFramework/Polyhedra/SimplexTableau.cs
index b6f4095c..b6f4095c 100644
--- a/Source/AIFramework/Polyhedra/SimplexTableau.ssc
+++ b/Source/AIFramework/Polyhedra/SimplexTableau.cs
diff --git a/Source/AIFramework/VariableMap/ConstantAbstraction.ssc b/Source/AIFramework/VariableMap/ConstantAbstraction.cs
index 8ba3065f..8ba3065f 100644
--- a/Source/AIFramework/VariableMap/ConstantAbstraction.ssc
+++ b/Source/AIFramework/VariableMap/ConstantAbstraction.cs
diff --git a/Source/AIFramework/VariableMap/ConstantExpressions.ssc b/Source/AIFramework/VariableMap/ConstantExpressions.cs
index fcf49b25..fcf49b25 100644
--- a/Source/AIFramework/VariableMap/ConstantExpressions.ssc
+++ b/Source/AIFramework/VariableMap/ConstantExpressions.cs
diff --git a/Source/AIFramework/VariableMap/DynamicTypeLattice.ssc b/Source/AIFramework/VariableMap/DynamicTypeLattice.cs
index 8161cb3e..8161cb3e 100644
--- a/Source/AIFramework/VariableMap/DynamicTypeLattice.ssc
+++ b/Source/AIFramework/VariableMap/DynamicTypeLattice.cs
diff --git a/Source/AIFramework/VariableMap/Intervals.ssc b/Source/AIFramework/VariableMap/Intervals.cs
index f507e020..f507e020 100644
--- a/Source/AIFramework/VariableMap/Intervals.ssc
+++ b/Source/AIFramework/VariableMap/Intervals.cs
diff --git a/Source/AIFramework/VariableMap/MicroLattice.ssc b/Source/AIFramework/VariableMap/MicroLattice.cs
index d38a37c0..d38a37c0 100644
--- a/Source/AIFramework/VariableMap/MicroLattice.ssc
+++ b/Source/AIFramework/VariableMap/MicroLattice.cs
diff --git a/Source/AIFramework/VariableMap/Nullness.ssc b/Source/AIFramework/VariableMap/Nullness.cs
index bbd1da70..bbd1da70 100644
--- a/Source/AIFramework/VariableMap/Nullness.ssc
+++ b/Source/AIFramework/VariableMap/Nullness.cs
diff --git a/Source/AIFramework/VariableMap/VariableMapLattice.ssc b/Source/AIFramework/VariableMap/VariableMapLattice.cs
index ab030b59..ab030b59 100644
--- a/Source/AIFramework/VariableMap/VariableMapLattice.ssc
+++ b/Source/AIFramework/VariableMap/VariableMapLattice.cs