This repository has been archived on 2023-08-20. You can view files and clone it, but cannot push or open issues or pull requests.

Vitor Santos Costa 8f02054109 From Keri Harris ...

In the event that Yap is compiled on a machine where the timezone is not set
it's possible to hit a buffer overflow:

2010-11-07 19:32:40 +00:00

..

absmi.c

Merge branch 'master' of yap.dcc.fc.up.pt:yap-6

2010-10-12 23:22:23 +01:00

adtdefs.c

make sure that we don't have tails of lists with local variables.

2010-07-19 14:39:52 +01:00

agc.c

Implement Halt Hook (request from Bernd).

2010-09-24 14:00:53 +01:00

alloc.c

remove debugging info

2010-06-19 14:37:07 +01:00

amasm.c

cannot optimise try/retry in the presence of or-parallelism

2010-10-15 01:11:49 +01:00

analyst.c

no need for special procceed instruction.

2010-10-12 22:02:51 +01:00

arith0.c

change Heap.h to YapHeap.h

2009-10-23 14:22:17 +01:00

arith1.c

fix error message (Ulrich's #184).

2010-10-08 10:50:23 +01:00

arith2.c

fix div to round correctly (Ulrich's #181).

2010-10-08 10:58:08 +01:00

arrays.c

generate known atoms and functors automatically

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

attvar.c

make clp(bn) work again.

2010-06-30 17:54:58 +02:00

bb.c

improve bb routines to use the DB efficiently

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

bignum.c

fix compilation warnings

2010-07-19 22:42:47 +01:00

c_interface.c

fix memory allocation (MMAP) for shared LOCAL and GLOBAL in ENV_COPY

2010-10-15 02:06:37 +01:00

cdmgr.c

fix threaded error handling.

2010-07-30 00:57:46 +01:00

clause_list.c

make YAP compile with --enable-or-parallelism

2009-08-19 21:53:49 -05:00

cmppreds.c

fix bad comparison (Ulrich Neumerkel).

2010-10-08 12:21:49 +01:00

compiler.c

support for space reservation (goal: call gc before trying to insert very large terms).

2010-08-02 13:04:30 +01:00

computils.c

support for space reservation (goal: call gc before trying to insert very large terms).

2010-08-02 13:04:30 +01:00

corout.c

fix comparison between terms when rationals come up.

2010-05-28 12:07:01 +01:00

cut_c.c

CUT_C and MYDDAS support for 64 bits architectures

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

dbase.c

no need for special procceed instruction.

2010-10-12 22:02:51 +01: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

change Heap.h to YapHeap.h

2009-10-23 14:22:17 +01:00

errors.c

don't go set jumping if in UserCCode. Just say there is an exception.

2010-08-04 11:34:04 +01:00

eval.c

make error handling close to ISO.

2010-02-26 12:01:08 +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 breakage in ball access

2010-07-27 23:21:15 +01:00

globals.c

support for rational numbers

2010-05-28 09:53:56 +01:00

gmp_support.c

div/2 operators (from WG17 and #176)

2010-08-30 21:50:33 -05:00

gprof.c

improve portability

2010-07-14 00:17:14 +01:00

grow.c

fix save/restore in multi-process YAPOR.

2010-10-15 01:15:45 +01:00

heapgc.c

instrument PE locking

2010-07-25 11:22:16 +01:00

index.c

no need for special procceed instruction.

2010-10-12 22:02:51 +01:00

init.c

fix memory allocation (MMAP) for shared LOCAL and GLOBAL in ENV_COPY

2010-10-15 02:06:37 +01:00

inlines.c

expand C-interface to allow access to common term operations (request from Ingo Molnar).

2010-08-02 19:48:17 +01:00

iopreds.c

fix file_base_name (obs from Paulo Moura).

2010-09-24 19:47:05 +01:00

load_aix.c

shared_object routines support: SWI compatibility and more flexibility.

2010-06-17 00:29:01 +01:00

load_aout.c

shared_object routines support: SWI compatibility and more flexibility.

2010-06-17 00:29:01 +01:00

load_coff.c

shared_object routines support: SWI compatibility and more flexibility.

2010-06-17 00:29:01 +01:00

load_dl.c

fix CYGWIN compilation

2010-08-03 01:11:13 +01:00

load_dld.c

shared_object routines support: SWI compatibility and more flexibility.

2010-06-17 00:29:01 +01:00

load_dll.c

shared_object routines support: SWI compatibility and more flexibility.

2010-06-17 00:29:01 +01:00

load_dyld.c

shared_object routines support: SWI compatibility and more flexibility.

2010-06-17 00:29:01 +01:00

load_foreign.c

shared_object routines support: SWI compatibility and more flexibility.

2010-06-17 00:29:01 +01:00

load_none.c

shared_object routines support: SWI compatibility and more flexibility.

2010-06-17 00:29:01 +01:00

load_shl.c

shared_object routines support: SWI compatibility and more flexibility.

2010-06-17 00:29:01 +01:00

mavar.c

change Heap.h to YapHeap.h

2009-10-23 14:22:17 +01:00

modules.c

change Heap.h to YapHeap.h

2009-10-23 14:22:17 +01:00

other.c

make sure that we don't have tails of lists with local variables.

2010-07-19 14:39:52 +01:00

parser.c

fix extra uses of mpz_ in external code.

2010-05-28 15:29:20 +01:00

readutil.c

fix first read can-t generate an EOF.

2010-08-04 02:45:31 +01:00

save.c

From Keri Harris

2010-11-07 19:32:40 +00:00

scanner.c

cannot hold the lock while getting a char: someone else may be trying to add to the stream.

2010-08-04 11:34:46 +01:00

sort.c

change Heap.h to YapHeap.h

2009-10-23 14:22:17 +01:00

stdpreds.c

instrument PE locking

2010-07-25 11:22:16 +01:00

sysbits.c

simplify RW locks

2010-10-15 02:05:20 +01:00

threads.c

fix thread creation.

2010-07-30 12:08:00 +01:00

tracer.c

remove debugging info from tracer.c

2010-05-25 16:14:44 +01:00

udi.c

updates to UDI package

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

unify.c

acyclic_term/1 should be builtin(ISO WG17, UD #174).

2010-08-04 21:50:19 +01:00

userpreds.c

change Heap.h to YapHeap.h

2009-10-23 14:22:17 +01:00

utilpreds.c

expand C-interface to allow access to common term operations (request from Ingo Molnar).

2010-08-02 19:48:17 +01:00

write.c

EX changes

2010-07-27 23:29:55 +01:00

ypsocks.c

fixes by David Powers (broadcast and >= 0)

2010-09-21 22:27:35 +01:00

ypstdio.c

all global symbols should now start with _YAP

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