diogo
/
yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

misc changes 

git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@136 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
This commit is contained in:
vsc 2001-08-09 14:01:20 +00:00
parent 7d73127461
commit 3759aa571b
10 changed files with 19 additions and 15 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
OPTYap/or.insts.i
View File

@ -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 {

11
TO_DO
View File

@ -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

2
VC/include/Tags_24bits.h
View File

@ -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)

2
VC/include/Tags_32LowTag.h
View File

@ -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

2
VC/include/Tags_32Ops.h
View File

@ -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 $ *
*************************************************************************/
/*

2
VC/include/Tags_32bits.h
View File

@ -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,

2
VC/include/Tags_64bits.h
View File

@ -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

2
VC/include/TermExt.h
View File

@ -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

4
VC/include/Yap.h
View File

@ -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

5
changes4.3.html
View File

@ -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>