From d18709e2c69cb31dd7fee364f15dfb5912c2bea7 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Thu, 6 May 2004 20:54:36 +0000
Subject: [PATCH] Moving these

---
 Repair/RepairCompiler/MCC/ex.constraints   | 1 -
 Repair/RepairCompiler/MCC/ex.model         | 5 -----
 Repair/RepairCompiler/MCC/ex.space         | 4 ----
 Repair/RepairCompiler/MCC/ex.struct        | 6 ------
 Repair/RepairCompiler/MCC/link.constraints | 5 -----
 Repair/RepairCompiler/MCC/link.model       | 6 ------
 Repair/RepairCompiler/MCC/link.space       | 4 ----
 Repair/RepairCompiler/MCC/link.struct      | 6 ------
 8 files changed, 37 deletions(-)
 delete mode 100755 Repair/RepairCompiler/MCC/ex.constraints
 delete mode 100755 Repair/RepairCompiler/MCC/ex.model
 delete mode 100755 Repair/RepairCompiler/MCC/ex.space
 delete mode 100755 Repair/RepairCompiler/MCC/ex.struct
 delete mode 100755 Repair/RepairCompiler/MCC/link.constraints
 delete mode 100755 Repair/RepairCompiler/MCC/link.model
 delete mode 100755 Repair/RepairCompiler/MCC/link.space
 delete mode 100755 Repair/RepairCompiler/MCC/link.struct

diff --git a/Repair/RepairCompiler/MCC/ex.constraints b/Repair/RepairCompiler/MCC/ex.constraints
deleted file mode 100755
index 42e959e..0000000
--- a/Repair/RepairCompiler/MCC/ex.constraints
+++ /dev/null
@@ -1 +0,0 @@
-[], sizeof(Nodes) >= 1;
diff --git a/Repair/RepairCompiler/MCC/ex.model b/Repair/RepairCompiler/MCC/ex.model
deleted file mode 100755
index 2528d0e..0000000
--- a/Repair/RepairCompiler/MCC/ex.model
+++ /dev/null
@@ -1,5 +0,0 @@
-[], !(head=0) => head in Nodes;
-[forall node in Nodes], !(node.next=0) => node.next in Nodes;
-[forall node in Nodes], !(node.next=0) => <node, node.next> in nextnodes;
-
-
diff --git a/Repair/RepairCompiler/MCC/ex.space b/Repair/RepairCompiler/MCC/ex.space
deleted file mode 100755
index ac17965..0000000
--- a/Repair/RepairCompiler/MCC/ex.space
+++ /dev/null
@@ -1,4 +0,0 @@
-set Nodes(Node);
-nextnodes : Nodes -> Nodes (1->1);
-prevnodes : Nodes -> Nodes (1->1);
-  
diff --git a/Repair/RepairCompiler/MCC/ex.struct b/Repair/RepairCompiler/MCC/ex.struct
deleted file mode 100755
index f8782dc..0000000
--- a/Repair/RepairCompiler/MCC/ex.struct
+++ /dev/null
@@ -1,6 +0,0 @@
-Node* head;
-structure Node {
-     int data;
-     Node *next;
-     Node *prev;
-}
diff --git a/Repair/RepairCompiler/MCC/link.constraints b/Repair/RepairCompiler/MCC/link.constraints
deleted file mode 100755
index 9e0c61b..0000000
--- a/Repair/RepairCompiler/MCC/link.constraints
+++ /dev/null
@@ -1,5 +0,0 @@
-[], sizeof(Nodes) >= literal(1);
-[forall node in Nodes], sizeof(node.~nextnodes) <= literal(1);
-[forall n in Nodes], 
-	sizeof(n.nextnodes) = literal(0) or n.nextnodes.prevnodes = n;
-
diff --git a/Repair/RepairCompiler/MCC/link.model b/Repair/RepairCompiler/MCC/link.model
deleted file mode 100755
index 1953ef2..0000000
--- a/Repair/RepairCompiler/MCC/link.model
+++ /dev/null
@@ -1,6 +0,0 @@
-[], literal(true) => head in Nodes;
-[forall node in Nodes], !(node.next=literal(0)) => node.next in Nodes;
-[forall node in Nodes], !(node.next=literal(0)) => <node, node.next> in nextnodes;
-[forall node in Nodes], !(node.prev=literal(0)) => <node, node.prev> in prevnodes;
-
-
diff --git a/Repair/RepairCompiler/MCC/link.space b/Repair/RepairCompiler/MCC/link.space
deleted file mode 100755
index ac17965..0000000
--- a/Repair/RepairCompiler/MCC/link.space
+++ /dev/null
@@ -1,4 +0,0 @@
-set Nodes(Node);
-nextnodes : Nodes -> Nodes (1->1);
-prevnodes : Nodes -> Nodes (1->1);
-  
diff --git a/Repair/RepairCompiler/MCC/link.struct b/Repair/RepairCompiler/MCC/link.struct
deleted file mode 100755
index f8782dc..0000000
--- a/Repair/RepairCompiler/MCC/link.struct
+++ /dev/null
@@ -1,6 +0,0 @@
-Node* head;
-structure Node {
-     int data;
-     Node *next;
-     Node *prev;
-}
-- 
2.34.1