From 3759aa571b7addcb180f768e9489127346ffaa0e Mon Sep 17 00:00:00 2001
From: vsc <vsc@b08c6af1-5177-4d33-ba66-4b1c6b8b522a>
Date: Thu, 9 Aug 2001 14:01:20 +0000
Subject: [PATCH] misc changes
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@136 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
---
OPTYap/or.insts.i | 2 --
TO_DO | 11 +++++++----
VC/include/Tags_24bits.h | 2 +-
VC/include/Tags_32LowTag.h | 2 +-
VC/include/Tags_32Ops.h | 2 +-
VC/include/Tags_32bits.h | 2 +-
VC/include/Tags_64bits.h | 2 +-
VC/include/TermExt.h | 2 +-
VC/include/Yap.h | 4 ++--
changes4.3.html | 5 ++++-
10 files changed, 19 insertions(+), 15 deletions(-)
diff --git a/OPTYap/or.insts.i b/OPTYap/or.insts.i
index 2cb39c003..cc9e0027d 100644
--- a/OPTYap/or.insts.i
+++ b/OPTYap/or.insts.i
@@ -57,7 +57,6 @@
LOCK_OR_FRAME(LOCAL_top_or_fr);
if (OrFr_alternative(LOCAL_top_or_fr)) {
PREG = OrFr_alternative(LOCAL_top_or_fr);
- UNLOCK_OR_FRAME(LOCAL_top_or_fr);
PREFETCH_OP(PREG);
GONext();
} else {
@@ -75,7 +74,6 @@
if (OrFr_alternative(LOCAL_top_or_fr) &&
BITMAP_alone(OrFr_members(LOCAL_top_or_fr), worker_id)) {
PREG = OrFr_alternative(LOCAL_top_or_fr);
- UNLOCK_OR_FRAME(LOCAL_top_or_fr);
PREFETCH_OP(PREG);
GONext();
} else {
diff --git a/TO_DO b/TO_DO
index e0af29a2f..b1b9be52a 100644
--- a/TO_DO
+++ b/TO_DO
@@ -2,10 +2,10 @@ BEFORE 4.4:
- mixed attributes and delays.
- write infinite terms
- constraints in DB.
-- non-void temporaries going to global
- fix restore when code is moved around.
- document new interface functions.
- mask when installing.
+- Yap core dumps under simple configure/make in WIN32
TO CHECK:
- bad register allocation for a(X,Y) :- X is Y+2.3 ?
@@ -13,6 +13,7 @@ TO CHECK:
TABLING
- pass all tabling tests from Kostis and Bart paper
- handle floats, long ints and friends in tables.
+- backtracking over mutable and tabling does not work (ai_tests).
PARALLELISM
- copying: Fix stack copying after new stack.
@@ -20,6 +21,7 @@ PARALLELISM
- IAP.
AFTER 4.4(?)
+- improve debugger functionality
- change compilation order for arguments
- fix code for arithmetic
- large memory configurations on 32 bit machines (3GB).
@@ -81,7 +83,8 @@ DONE:
- timestamps on files.
- add more precision when outputting floats.
- make statistics/0 better looking.
+- fix Yap under Emacs/WIN32
+- warnings in documentation file.
+- make gc work after mutable var changes (done)
+- knap-sack (done)
-TO DO (tabling)
-- make gc work after mutable var changes.
-- knap-sack
diff --git a/VC/include/Tags_24bits.h b/VC/include/Tags_24bits.h
index 145770200..a6ac5c97a 100644
--- a/VC/include/Tags_24bits.h
+++ b/VC/include/Tags_24bits.h
@@ -18,7 +18,7 @@
* Last rev: December 90 *
* mods: *
* comments: Tag Scheme for machines with 24 bits adresses (m68000) *
-* version: $Id: Tags_24bits.h,v 1.3 2001-07-17 18:52:34 vsc Exp $ *
+* version: $Id: Tags_24bits.h,v 1.4 2001-08-09 14:01:19 vsc Exp $ *
*************************************************************************/
/* Version for 24 bit addresses (68000)
diff --git a/VC/include/Tags_32LowTag.h b/VC/include/Tags_32LowTag.h
index de3a4b1c8..bfa5629a4 100644
--- a/VC/include/Tags_32LowTag.h
+++ b/VC/include/Tags_32LowTag.h
@@ -18,7 +18,7 @@
* Last rev: December 90 *
* mods: *
* comments: Original Tag Scheme for machines with 32 bits adresses *
-* version: $Id: Tags_32LowTag.h,v 1.3 2001-07-17 18:52:34 vsc Exp $ *
+* version: $Id: Tags_32LowTag.h,v 1.4 2001-08-09 14:01:19 vsc Exp $ *
*************************************************************************/
#define TAG_LOW_BITS_32 1
diff --git a/VC/include/Tags_32Ops.h b/VC/include/Tags_32Ops.h
index 82e75a64a..fb8099fbe 100644
--- a/VC/include/Tags_32Ops.h
+++ b/VC/include/Tags_32Ops.h
@@ -18,7 +18,7 @@
* Last rev: December 90 *
* mods: *
* comments: Original Tag Scheme for machines with 32 bits adresses *
-* version: $Id: Tags_32Ops.h,v 1.3 2001-07-17 18:52:34 vsc Exp $ *
+* version: $Id: Tags_32Ops.h,v 1.4 2001-08-09 14:01:19 vsc Exp $ *
*************************************************************************/
/*
diff --git a/VC/include/Tags_32bits.h b/VC/include/Tags_32bits.h
index ff5ddaa48..9c5063161 100644
--- a/VC/include/Tags_32bits.h
+++ b/VC/include/Tags_32bits.h
@@ -18,7 +18,7 @@
* Last rev: December 90 *
* mods: *
* comments: Original Tag Scheme for machines with 32 bits adresses *
-* version: $Id: Tags_32bits.h,v 1.3 2001-07-17 18:52:34 vsc Exp $ *
+* version: $Id: Tags_32bits.h,v 1.4 2001-08-09 14:01:19 vsc Exp $ *
*************************************************************************/
/* Original version for 32 bit addresses machines,
diff --git a/VC/include/Tags_64bits.h b/VC/include/Tags_64bits.h
index 9a67231d0..5034eb6fb 100644
--- a/VC/include/Tags_64bits.h
+++ b/VC/include/Tags_64bits.h
@@ -18,7 +18,7 @@
* Last rev: December 90 *
* mods: *
* comments: Original Tag Scheme for machines with 32 bits adresses *
-* version: $Id: Tags_64bits.h,v 1.3 2001-07-17 18:52:34 vsc Exp $ *
+* version: $Id: Tags_64bits.h,v 1.4 2001-08-09 14:01:19 vsc Exp $ *
*************************************************************************/
#define TAG_64BITS 1
diff --git a/VC/include/TermExt.h b/VC/include/TermExt.h
index dc823eff1..568fc3204 100644
--- a/VC/include/TermExt.h
+++ b/VC/include/TermExt.h
@@ -17,7 +17,7 @@
* File: TermExt.h *
* mods: *
* comments: Extensions to standard terms for YAP *
-* version: $Id: TermExt.h,v 1.3 2001-07-17 18:52:34 vsc Exp $ *
+* version: $Id: TermExt.h,v 1.4 2001-08-09 14:01:19 vsc Exp $ *
*************************************************************************/
#if USE_OFFSETS
diff --git a/VC/include/Yap.h b/VC/include/Yap.h
index d09c33cb5..b10a4dccf 100644
--- a/VC/include/Yap.h
+++ b/VC/include/Yap.h
@@ -17,7 +17,7 @@
* File: Yap.h.m4 *
* mods: *
* comments: main header file for YAP *
-* version: $Id: Yap.h,v 1.3 2001-07-17 18:52:34 vsc Exp $ *
+* version: $Id: Yap.h,v 1.4 2001-08-09 14:01:20 vsc Exp $ *
*************************************************************************/
#include "config.h"
@@ -369,7 +369,7 @@ typedef CELL Term;
#ifdef mips
#include <mips_locks_funcs.h>
#endif
-#ifdef mips
+#ifdef __alpha
#include <alpha_locks_funcs.h>
#endif
#endif
diff --git a/changes4.3.html b/changes4.3.html
index 60929c8eb..028e31362 100644
--- a/changes4.3.html
+++ b/changes4.3.html
@@ -14,8 +14,11 @@
<h1>Changes in YAP4.3</h1>
-<h2>Yap-4.3.19:</h2>
+<h2>Yap-4.3.20:</h2>
<ul>
+ <li>FIXED: texinfo warnings (Stasinos).</li>
+ <li>FIXED: under emacs/win32: prompt if $EMACS=t and buf NULL.</li>
+ <li>FIXED: ^C and readline (I hope).</li>
<li>NEW: trace and notrace.</li>
<li>FIXED: make C-c t actually trace.</li>
<li>FIXED: put [debug] when in debug mode.</li>