/
TO_DO
121 lines (111 loc) · 3.45 KB
/
TO_DO
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
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