122 lines
3.5 KiB
Plaintext
122 lines
3.5 KiB
Plaintext
6.0
|
|
o Rogério Salvini's report
|
|
o Fix meta-commas
|
|
o Document CLPBN
|
|
o Fix meta-call conjunction
|
|
o exo-emulation.
|
|
o EMACS interface.
|
|
o talk to Fabrizio
|
|
o upgrade save/restore
|
|
o R Interface
|
|
|
|
5.1.4
|
|
|
|
|
|
|
|
BEFORE 4.4:
|
|
- mixed attributes and delays.
|
|
- write infinite terms
|
|
- fix restore when code is moved around.
|
|
- document new interface functions.
|
|
- mask when installing.
|
|
- reports from Nicos.
|
|
- fix ensure_loaded/1.
|
|
|
|
STK:
|
|
- move architecture #ifdef's out of C files.
|
|
- collapse windows and POSIX makefile recipes.
|
|
- inline c_interface functions (static #included?)
|
|
- look for a system regexp library before using the one in Yap.
|
|
- see why tag2.pl is not compiling.
|
|
- make docs/Makefile configurable.
|
|
- break up yap.tex.
|
|
- start devel.tex.
|
|
- should sigactions be executed when Yap is waiting at the prompt?
|
|
- see if on_signal/3 works through the C interface as well.
|
|
- current_signal/3 does not know the SigId.
|
|
- see how MPI libraries interact with YAP's signal handling.
|
|
- atomic (as opposed or to numerical) tags (and communicators).
|
|
- configure.in:236: check for mpicc in the user's prefix, if any
|
|
|
|
TO CHECK:
|
|
- bad register allocation for a(X,Y) :- X is Y+2.3 ?
|
|
|
|
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.
|
|
- SBA: fix constraint and unification.
|
|
- IAP.
|
|
|
|
AFTER 4.4(?)
|
|
- improve debugger functionality
|
|
- change compilation order for arguments
|
|
- fix code for arithmetic
|
|
- large memory configurations on 32 bit machines (3GB).
|
|
- big data-bases
|
|
- CLP(FD)
|
|
- garbage collector cleans up clauses and logical update DB.
|
|
- atom garbage collector.
|
|
- lpdoc.
|
|
- incremental garbage collector.
|
|
- threads.
|
|
|
|
DONE:
|
|
- compilation of bignums.
|
|
- expansion in the middle of compilation.
|
|
- garbage collect multiple assignment variables properly.
|
|
- read inf, nan, improve print_message.
|
|
- Too large term in copy_term.
|
|
- block.
|
|
- include Stasinos patches for gmp configuration and documentation.
|
|
- debug new code for delays
|
|
- debug new code for attributes.
|
|
- bug in CHR, run3, deussen1(X).
|
|
- functor
|
|
- check how terms are written by debugger
|
|
- tabling garbage collector.
|
|
- port to HP-UX (4.3.15)
|
|
- port to Alpha (4.3.15)
|
|
- fix trail overflow in gc
|
|
- fix opt.mavar.h trouble
|
|
- fix [] lookup
|
|
- fix documentation complaint
|
|
- fix overflow in tab_fib
|
|
- fix rpm build
|
|
- build problems with cygwin 1.1.7?
|
|
- Trail Overflow in WIN32.
|
|
- save/restore for DB
|
|
- Ashwin bug on storing floats as head of db term.
|
|
- save/restore for arrays.
|
|
- save/restore for arithmetic.
|
|
- fix aliases, user error, etc.
|
|
- set user_input, user_output, and user_error
|
|
- include Mandrake makefiles
|
|
- system enters loop if predicate exported by module is not defined.
|
|
- copying garbage collector: implemented hybrid
|
|
- dif example in Manual.
|
|
- initial port to OS_X
|
|
- listing (Steve Moyle).
|
|
- logtalk.
|
|
- fix bugs from Nicos.
|
|
- remove pl/nfr.yap and misc/yap.spec from CVS.
|
|
- deterministic trail entries for multi-assignment variables.
|
|
- weird going ons with prompt and readline
|
|
- check library(random)
|
|
- document system(library)
|
|
- interrupt handling in WIN32
|
|
- ^C can break code.
|
|
- system library
|
|
- library(system) for WIN32
|
|
- 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)
|
|
- Yap core dumps under simple configure/make in WIN32
|