| .. |
|
absmi.c
|
TABLING FIX: support for incomplete tables
|
2005-08-12 17:00:00 +00:00 |
|
adtdefs.c
|
indexing code could get confused with suspension points
|
2005-04-27 20:09:26 +00:00 |
|
agc.c
|
insert some more slack for indices in LU
|
2005-05-31 19:42:28 +00:00 |
|
alloc.c
|
improvements to compiler: merged instructions and fixes for ->
|
2005-07-06 15:10:18 +00:00 |
|
amasm.c
|
fix debugger to do well nonsource predicates.
|
2005-08-02 03:09:52 +00:00 |
|
analyst.c
|
improvements to compiler: merged instructions and fixes for ->
|
2005-07-06 15:10:18 +00:00 |
|
arith0.c
|
fix pruning bug
|
2005-03-01 22:25:09 +00:00 |
|
arith1.c
|
fix pruning bug
|
2005-03-01 22:25:09 +00:00 |
|
arith2.c
|
new indexing algorithm
|
2003-04-30 17:46:05 +00:00 |
|
arrays.c
|
improvements to compiler: merged instructions and fixes for ->
|
2005-07-06 15:10:18 +00:00 |
|
attvar.c
|
more robust support for attributed vars: all_attvars and stack
|
2005-08-17 20:13:50 +00:00 |
|
bb.c
|
improve bb routines to use the DB efficiently
|
2005-06-01 13:53:46 +00:00 |
|
bignum.c
|
fix situation where we might assume nonextsing double initialisation of C predicates (use
|
2004-11-18 22:32:40 +00:00 |
|
c_interface.c
|
YPP would leave exceptions on the system, disabling Yap-4.5.7
|
2005-08-17 13:35:52 +00:00 |
|
cdmgr.c
|
first steps to allow mavars with tabling
|
2005-08-05 14:55:03 +00:00 |
|
cmppreds.c
|
inline compare
|
2005-06-01 21:23:44 +00:00 |
|
compiler.c
|
improvements to compiler: merged instructions and fixes for ->
|
2005-07-06 15:10:18 +00:00 |
|
computils.c
|
improvements to compiler: merged instructions and fixes for ->
|
2005-07-06 15:10:18 +00:00 |
|
corout.c
|
fix situation where we might assume nonextsing double initialisation of C predicates (use
|
2004-11-18 22:32:40 +00:00 |
|
dbase.c
|
get_rid of try_me?, retry_me? and trust_me? instructions: they are not
|
2005-06-01 14:02:52 +00:00 |
|
depth_bound.c
|
fix situation where we might assume nonextsing double initialisation of C predicates (use
|
2004-11-18 22:32:40 +00:00 |
|
dlmalloc.c
|
fix pruning bug
|
2005-03-01 22:25:09 +00:00 |
|
errors.c
|
TABLING NEW: support to limit the table space size
|
2005-08-04 15:45:56 +00:00 |
|
eval.c
|
Stasinos noticed that _YAP_ breaks C standard: use Yap_ instead.
|
2002-11-18 18:18:05 +00:00 |
|
evalis.c
|
VC++ changes
|
2002-02-04 16:12:54 +00:00 |
|
evaltwo.c
|
VC++ changes
|
2002-02-04 16:12:54 +00:00 |
|
exec.c
|
fix debugger to do well nonsource predicates.
|
2005-08-02 03:09:52 +00:00 |
|
grow.c
|
more robust support for attributed vars: all_attvars and stack
|
2005-08-17 20:13:50 +00:00 |
|
heapgc.c
|
first steps to allow mavars with tabling
|
2005-08-05 14:55:03 +00:00 |
|
index.c
|
fix bug in processing overflows of expand_clauses.
|
2005-08-17 18:48:35 +00:00 |
|
init.c
|
TABLING NEW: support to limit the table space size
|
2005-08-04 15:45:56 +00:00 |
|
inlines.c
|
Adding tabling support for mixed strategy evaluation (batched and local scheduling)
|
2005-04-07 17:56:58 +00:00 |
|
iopreds.c
|
Allow put_byte and get_byte on text streams by default.
|
2005-08-17 02:27:39 +00:00 |
|
load_aix.c
|
Stasinos noticed that _YAP_ breaks C standard: use Yap_ instead.
|
2002-11-18 18:18:05 +00:00 |
|
load_aout.c
|
Stasinos noticed that _YAP_ breaks C standard: use Yap_ instead.
|
2002-11-18 18:18:05 +00:00 |
|
load_coff.c
|
Stasinos noticed that _YAP_ breaks C standard: use Yap_ instead.
|
2002-11-18 18:18:05 +00:00 |
|
load_dl.c
|
New comment-based message style
|
2004-06-23 17:24:20 +00:00 |
|
load_dld.c
|
Stasinos noticed that _YAP_ breaks C standard: use Yap_ instead.
|
2002-11-18 18:18:05 +00:00 |
|
load_dll.c
|
Stasinos noticed that _YAP_ breaks C standard: use Yap_ instead.
|
2002-11-18 18:18:05 +00:00 |
|
load_dyld.c
|
New comment-based message style
|
2004-06-23 17:24:20 +00:00 |
|
load_foreign.c
|
fix situation where we might assume nonextsing double initialisation of C predicates (use
|
2004-11-18 22:32:40 +00:00 |
|
load_none.c
|
improved support for threads and code area allocation using malloc
|
2004-02-05 16:57:02 +00:00 |
|
load_shl.c
|
New comment-based message style
|
2004-06-23 17:24:20 +00:00 |
|
mavar.c
|
first steps to allow mavars with tabling
|
2005-08-05 14:55:03 +00:00 |
|
modules.c
|
fix situation where we might assume nonextsing double initialisation of C predicates (use
|
2004-11-18 22:32:40 +00:00 |
|
other.c
|
protect writes to SignalMask and to CreepFlag. Reads are still not
|
2004-02-06 17:22:24 +00:00 |
|
parser.c
|
a few fixes for 64 bit compiling.
|
2004-11-19 17:14:15 +00:00 |
|
save.c
|
fix save/1.
|
2005-08-22 04:07:20 +00:00 |
|
scanner.c
|
fix pruning bug
|
2005-03-01 22:25:09 +00:00 |
|
sort.c
|
fix situation where we might assume nonextsing double initialisation of C predicates (use
|
2004-11-18 22:32:40 +00:00 |
|
stdpreds.c
|
TABLING NEW: support to limit the table space size
|
2005-08-04 15:45:56 +00:00 |
|
sysbits.c
|
improvements to compiler: merged instructions and fixes for ->
|
2005-07-06 15:10:18 +00:00 |
|
threads.c
|
fix excessive pruning in meta-calls
|
2005-03-13 06:26:13 +00:00 |
|
tracer.c
|
TABLING: answers for completed calls can now be obtained by loading (new option) or executing (default) them from the trie data structure.
|
2005-07-06 19:34:12 +00:00 |
|
unify.c
|
fix to support older compilers
|
2005-08-23 15:39:38 +00:00 |
|
userpreds.c
|
Stasinos noticed that _YAP_ breaks C standard: use Yap_ instead.
|
2002-11-18 18:18:05 +00:00 |
|
utilpreds.c
|
solved warning: cast from pointer to integer of different size
|
2005-07-20 13:54:42 +00:00 |
|
write.c
|
some extra bug fixes for trail overflows: some cannot be recovered that easily,
|
2004-12-28 22:20:37 +00:00 |
|
ypsocks.c
|
fix situation where we might assume nonextsing double initialisation of C predicates (use
|
2004-11-18 22:32:40 +00:00 |
|
ypstdio.c
|
all global symbols should now start with _YAP
|
2002-11-11 17:38:10 +00:00 |
bafca9c692