yap-6.3

absmi.c

slots were not inited in tabling code, due to bad ifdef (obs from Chris Mungall).

2009-07-17 18:39:50 -05:00

adtdefs.c

allow storing a pointer.

2009-05-24 15:14:44 -05:00

agc.c

forgot to mark objects in registers.

2009-02-27 12:56:27 +00:00

alloc.c

fix compiler warning messages.

2009-05-22 21:33:09 -05:00

amasm.c

make sure that variables in tabled predicates are safe for backtracking: new

2009-07-22 23:28:04 -05:00

analyst.c

fixes to support threads and assert correctly, even if inefficiently.

2007-11-26 23:43:10 +00:00

arith0.c

Change to simpler Eval mechanism

2008-12-04 23:33:32 +00:00

arith1.c

remove some warnings in the absence of GMP

2009-06-15 10:11:05 -05:00

arith2.c

Use >< for xor (Paulo Mour, Iso meeting)

2009-07-23 14:31:04 -05:00

arrays.c

generate known atoms and functors automatically

2008-12-23 01:53:52 +00:00

attvar.c

not always throw an error when it is not a variable.

2009-05-22 22:35:40 -05:00

bb.c

improve bb routines to use the DB efficiently

2005-06-01 13:53:46 +00:00

bignum.c

add type to BIG NUMs, so that we can easily know what it is all about.

2008-11-28 15:54:46 +00:00

c_interface.c

handle overflow error in YAP_MkPairTerm ( obs from Fabrizio Riguzzi).

2009-07-13 21:55:57 -05:00

cdmgr.c

support for trie compact lists (version 2): this new version uses

2009-07-05 05:14:08 +01:00

clause_list.c

UDI patch: make it work with YAP.

2009-02-20 11:42:48 +00:00

cmppreds.c

fix bad argument processing in non-inlined arithmetic comparisons.

2009-07-22 17:02:02 -05:00

compiler.c

make sure that variables in tabled predicates are safe for backtracking: new

2009-07-22 23:28:04 -05:00

computils.c

more fixes to call_counter: try to keep on counting system builtins.

2009-06-22 12:40:55 -05:00

corout.c

fix allocation of temporary stack so that unification can work even for

2009-05-22 18:35:24 -05:00

cut_c.c

CUT_C and MYDDAS support for 64 bits architectures

2006-03-09 15:52:06 +00:00

dbase.c

transfer call and profiler to spy.

2009-06-22 11:12:56 -05: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 int/UInt messup.

2009-07-15 17:29:26 -05:00

errors.c

stop counters at counter underflow event

2009-06-26 08:42:40 -05:00

eval.c

improve error handling in arithmetic comparison (obs from Jose Santos)

2009-07-08 10:32:14 -05: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

make sure to have trail entries reset on setjump (obs from Jose Santos).

2009-07-17 19:31:20 -05:00

globals.c

make YAP ask less space in deeply nested calls of findall.

2009-06-22 15:37:17 -05:00

gmp_support.c

able to commit 64 bits

2009-06-05 12:18:10 -05:00

gprof.c

stdio.h include missing

2009-08-07 00:16:21 +01:00

grow.c

more fixes to call_counter: try to keep on counting system builtins.

2009-06-22 12:40:55 -05:00

heapgc.c

gc of tabling cps: now, if current cp is in gen chain, mark it as completion,

2009-07-31 08:29:27 -05:00

index.c

support for trie compact lists (version 2): this new version uses

2009-07-05 05:14:08 +01:00

init.c

Use >< for xor (Paulo Mour, Iso meeting)

2009-07-23 14:31:04 -05:00

inlines.c

support inline arithemtic builtins as non-inlined.

2009-07-22 17:01:30 -05:00

iopreds.c

make sure binary files are open as binary in WIN32 (obs from Meera Sridhar).

2009-08-02 16:04:21 -05: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

fix library search.

2007-05-24 19:54:45 +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

Improve error handling when loading DLLs

2009-07-20 20:55:22 -07:00

load_dyld.c

New comment-based message style

2004-06-23 17:24:20 +00:00

load_foreign.c

Improve error handling when loading DLLs

2009-07-20 20:55:22 -07: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

do not deref because you may want to pass a pointer.

2009-04-04 23:56:42 +01:00

modules.c

generate known atoms and functors automatically

2008-12-23 01:53:52 +00:00

other.c

fixes to Makefile and manual.

2006-05-19 17:49:25 +00:00

parser.c

support for passing priority as argument to write. (Ulrich's #45 ).

2009-05-22 13:24:27 -05:00

readutil.c

mainbranch fixes to:

2008-10-23 22:17:45 +01:00

save.c

fix allocation of temporary stack so that unification can work even for

2009-05-22 18:35:24 -05:00

scanner.c

check for very long wchar_t strings when scanning (obs from Jan Wielemaker).

2009-07-15 14:26:56 -05:00

sort.c

moe changes to support atomic generation of atoms

2008-12-24 09:04:44 +00:00

stdpreds.c

optimise sub_atom when sub_atom is known.

2009-06-22 15:35:40 -05:00

sysbits.c

no_readline patches

2009-06-15 14:59:50 -05:00

threads.c

do fetch and remove a the same time: PopFromDB

2009-06-13 13:06:02 -05:00

tracer.c

fix memory overflow when doing very large writes on strings (obs from Jos Deroo).

2009-07-28 18:30:15 -05:00

udi.c

updates to UDI package

2009-04-02 17:34:42 +01:00

unify.c

fix call to trim_trail on solaris

2009-06-15 13:51:30 -05:00

userpreds.c

generate known atoms and functors automatically

2008-12-23 01:53:52 +00:00

utilpreds.c

fix bug in copyterm

2009-06-17 14:43:24 -05:00

write.c

fix writing of atributed variables.

2009-06-04 10:18:28 -05:00

ypsocks.c

fixes for gcc-4.3 (same as stable)

2008-11-26 09:56:18 +00:00

ypstdio.c

all global symbols should now start with _YAP

2002-11-11 17:38:10 +00:00