remove the teyjus and utils folders

1 files changed, 0 insertions, 141 deletions

diff --git a/src/runtime/c/teyjus/simulator/trail.c b/src/runtime/c/teyjus/simulator/trail.c
deleted file mode 100644
index 3938e134e..000000000
--- a/src/runtime/c/teyjus/simulator/trail.c
+++ /dev/null
@@ -1,141 +0,0 @@
-//////////////////////////////////////////////////////////////////////////////
-//Copyright 2008
-//  Andrew Gacek, Steven Holte, Gopalan Nadathur, Xiaochu Qi, Zach Snow
-//////////////////////////////////////////////////////////////////////////////
-// This file is part of Teyjus.                                             //
-//                                                                          //
-// Teyjus is free software: you can redistribute it and/or modify           //
-// it under the terms of the GNU General Public License as published by     //
-// the Free Software Foundation, either version 3 of the License, or        //
-// (at your option) any later version.                                      //
-//                                                                          //
-// Teyjus is distributed in the hope that it will be useful,                //
-// but WITHOUT ANY WARRANTY; without even the implied warranty of           //
-// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the            //
-// GNU General Public License for more details.                             //
-//                                                                          //
-// You should have received a copy of the GNU General Public License        //
-// along with Teyjus.  If not, see <http://www.gnu.org/licenses/>.          //
-//////////////////////////////////////////////////////////////////////////////
-/****************************************************************************/
-/*                                                                          */
-/*   File trail.c. This file defines the trail operations including         */
-/*   trailing and unwinding.                                                */
-/*                                                                          */
-/****************************************************************************/
-
-#ifndef TRAIL_C
-#define TRAIL_C
-
-#include "trail.h"
-
-static int TR_trailItemTag(TR_TrailItem *trPtr)     { return (trPtr -> tag); }
-static MemPtr TR_trailItemAddr(TR_TrailItem *trPtr) { return (trPtr -> addr);}
-
-/***************************************************************************/
-/*       TRAILING FUNCTIONS                                                */
-/***************************************************************************/
-void TR_trailTerm(DF_TermPtr addr)         //trailing a term of atomic size
-{
-    if (((MemPtr)addr <= AM_hbreg) ||
-        ((AM_hreg < (MemPtr)addr) && ((MemPtr)addr < AM_breg))) {
-        AM_trailError(TR_TRAIL_TERM_SIZE);
-        DF_copyAtomic(addr, AM_trreg);
-        ((TR_TrailItem*)(AM_trreg+DF_TM_ATOMIC_SIZE))->tag = TR_TAG_TERM;
-        ((TR_TrailItem*)(AM_trreg+DF_TM_ATOMIC_SIZE))->addr = (MemPtr)addr;
-        AM_trreg += TR_TRAIL_TERM_SIZE;
-    }
-}
-
-void TR_trailHTerm(DF_TermPtr addr)       //trailing a heap term of atomic size 
-{
-    if ((MemPtr)addr < AM_hbreg) {
-        AM_trailError(TR_TRAIL_TERM_SIZE);
-        DF_copyAtomic(addr, AM_trreg);
-        ((TR_TrailItem*)(AM_trreg+DF_TM_ATOMIC_SIZE)) -> tag = TR_TAG_TERM;
-        ((TR_TrailItem*)(AM_trreg+DF_TM_ATOMIC_SIZE)) -> addr = (MemPtr)addr;
-        AM_trreg += TR_TRAIL_TERM_SIZE;
-    }
-}
-
-void TR_trailETerm(DF_TermPtr addr)      //trailing a stack term 
-{
-    if ((MemPtr)addr < AM_breg) {
-        AM_trailError(TR_TRAIL_TERM_SIZE);
-        DF_copyAtomic(addr, AM_trreg);
-        ((TR_TrailItem*)(AM_trreg+DF_TM_ATOMIC_SIZE)) -> tag = TR_TAG_TERM;
-        ((TR_TrailItem*)(AM_trreg+DF_TM_ATOMIC_SIZE)) -> addr = (MemPtr)addr;
-        AM_trreg += TR_TRAIL_TERM_SIZE;
-    }
-}
-
-    
-void TR_trailType(DF_TypePtr addr)       //trailing a type (free variable)
-{
-    if (((MemPtr)addr < AM_hbreg) || 
-        ((AM_hreg < (MemPtr)addr) && ((MemPtr)addr < AM_breg))){
-        AM_trailError(TR_TRAIL_TYPE_SIZE);
-        ((TR_TrailItem*)AM_trreg) -> tag = TR_TAG_TYPE;
-        ((TR_TrailItem*)AM_trreg) -> addr = (MemPtr)addr;
-        AM_trreg += TR_TRAIL_TYPE_SIZE;
-    }
-}
-
-//temp
-void TR_trailImport(MemPtr addr)        //trailing a backchained field
-{
-    AM_trailError(TR_TRAIL_MOD_SIZE);
-    *AM_trreg = *addr;
-    *(AM_trreg+1) = *(addr+1);
-    ((TR_TrailItem*)(AM_trreg+2)) -> tag = TR_TAG_MOD;
-    ((TR_TrailItem*)(AM_trreg+2)) -> addr = addr;
-    AM_trreg += TR_TRAIL_MOD_SIZE;
-}
-
-/****************************************************************************/
-/*       UNWIND TRAIL FUNCTION                                              */
-/****************************************************************************/
-void TR_unwindTrail(MemPtr trOld)
-{
-    MemPtr addr;
-    
-    while (AM_trreg > trOld){
-        AM_trreg -= TR_TRAIL_ITEM_HEAD_SIZE;
-        addr = TR_trailItemAddr((TR_TrailItem*)AM_trreg);
-        switch (TR_trailItemTag((TR_TrailItem*)AM_trreg)){
-        case TR_TAG_TERM: 
-        {
-            AM_trreg -= DF_TM_ATOMIC_SIZE;
-            DF_copyAtomic((DF_TermPtr)AM_trreg, addr);
-            break;
-        }
-        case TR_TAG_MULTERM1:
-        {
-            AM_trreg -= DF_TM_APP_SIZE;
-            DF_copyApp((DF_TermPtr)AM_trreg, addr);
-            break;
-        }
-        case TR_TAG_MULTERM2:
-        {
-            AM_trreg -= DF_TM_SUSP_SIZE;
-            DF_copySusp((DF_TermPtr)AM_trreg, addr);
-            break;
-        }
-        case TR_TAG_TYPE:
-        {
-            DF_mkFreeVarType(addr);
-            break;
-        }
-        case TR_TAG_MOD: //temp
-        {
-            AM_trreg -= 2;
-            *addr = *AM_trreg;
-            *(addr+1) = *(AM_trreg + 1);
-            break;
-        }
-        } //switch
-    } //while
-}    
-
-
-#endif  //TRAIL_C