diff options
Diffstat (limited to 'Source/AIFramework')
-rw-r--r-- | Source/AIFramework/AIFramework.csproj (renamed from Source/AIFramework/AIFramework.sscproj) | 0 | ||||
-rw-r--r-- | Source/AIFramework/AssemblyInfo.cs (renamed from Source/AIFramework/AssemblyInfo.ssc) | 0 | ||||
-rw-r--r-- | Source/AIFramework/CommonFunctionSymbols.cs (renamed from Source/AIFramework/CommonFunctionSymbols.ssc) | 0 | ||||
-rw-r--r-- | Source/AIFramework/Expr.cs (renamed from Source/AIFramework/Expr.ssc) | 0 | ||||
-rw-r--r-- | Source/AIFramework/Functional.cs (renamed from Source/AIFramework/Functional.ssc) | 0 | ||||
-rw-r--r-- | Source/AIFramework/Lattice.cs (renamed from Source/AIFramework/Lattice.ssc) | 0 | ||||
-rw-r--r-- | Source/AIFramework/Logger.cs (renamed from Source/AIFramework/Logger.ssc) | 0 | ||||
-rw-r--r-- | Source/AIFramework/MultiLattice.cs (renamed from Source/AIFramework/MultiLattice.ssc) | 0 | ||||
-rw-r--r-- | Source/AIFramework/Mutable.cs (renamed from Source/AIFramework/Mutable.ssc) | 0 | ||||
-rw-r--r-- | Source/AIFramework/Polyhedra/LinearConstraint.cs (renamed from Source/AIFramework/Polyhedra/LinearConstraint.ssc) | 0 | ||||
-rw-r--r-- | Source/AIFramework/Polyhedra/LinearConstraintSystem.cs (renamed from Source/AIFramework/Polyhedra/LinearConstraintSystem.ssc) | 0 | ||||
-rw-r--r-- | Source/AIFramework/Polyhedra/PolyhedraAbstraction.cs (renamed from Source/AIFramework/Polyhedra/PolyhedraAbstraction.ssc) | 0 | ||||
-rw-r--r-- | Source/AIFramework/Polyhedra/SimplexTableau.cs (renamed from Source/AIFramework/Polyhedra/SimplexTableau.ssc) | 0 | ||||
-rw-r--r-- | Source/AIFramework/VariableMap/ConstantAbstraction.cs (renamed from Source/AIFramework/VariableMap/ConstantAbstraction.ssc) | 0 | ||||
-rw-r--r-- | Source/AIFramework/VariableMap/ConstantExpressions.cs (renamed from Source/AIFramework/VariableMap/ConstantExpressions.ssc) | 0 | ||||
-rw-r--r-- | Source/AIFramework/VariableMap/DynamicTypeLattice.cs (renamed from Source/AIFramework/VariableMap/DynamicTypeLattice.ssc) | 0 | ||||
-rw-r--r-- | Source/AIFramework/VariableMap/Intervals.cs (renamed from Source/AIFramework/VariableMap/Intervals.ssc) | 0 | ||||
-rw-r--r-- | Source/AIFramework/VariableMap/MicroLattice.cs (renamed from Source/AIFramework/VariableMap/MicroLattice.ssc) | 0 | ||||
-rw-r--r-- | Source/AIFramework/VariableMap/Nullness.cs (renamed from Source/AIFramework/VariableMap/Nullness.ssc) | 0 | ||||
-rw-r--r-- | Source/AIFramework/VariableMap/VariableMapLattice.cs (renamed from Source/AIFramework/VariableMap/VariableMapLattice.ssc) | 0 |
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 |