This website requires JavaScript.
Explore
Help
Sign In
diogo
/
yap-6.3
Archived
Watch
1
Star
0
Fork
0
You've already forked yap-6.3
Code
Issues
Pull Requests
Packages
Projects
Releases
Wiki
Activity
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.
yap-6.3
/
C
History
Vitor Santos Costa
edae401189
Merge ../yap-6.2
2010-11-24 10:02:04 +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
fix atom gc to actually recover first atom in the chain.
2010-10-26 10:04:36 +01:00
alloc.c
remove debugging info
2010-06-19 14:37:07 +01:00
amasm.c
fix YAP to use _longjmp when available. longjmp is just too expensive on OSX machines.
2010-10-26 22:03:36 +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
improve low level profiler interface. Still doesn't work too well.
2010-10-26 22:01:29 +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
fix YAP to use _longjmp when available. longjmp is just too expensive on OSX machines.
2010-10-26 22:03:36 +01:00
computils.c
fix YAP to use _longjmp when available. longjmp is just too expensive on OSX machines.
2010-10-26 22:03:36 +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
an implementation of the meld language.
2010-11-01 21:29:12 +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
change Heap.h to YapHeap.h
2009-10-23 14:22:17 +01:00
errors.c
patches to provide initial support UTF32 encodings(from Paulo Moura)
2010-10-27 14:49:27 +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
fix profon profon (obs from Bernd).
2010-11-21 23:31:42 +00:00
grow.c
fix save/restore in multi-process YAPOR.
2010-10-15 01:15:45 +01:00
heapgc.c
fix YAP to use _longjmp when available. longjmp is just too expensive on OSX machines.
2010-10-26 22:03:36 +01:00
index.c
fix YAP to use _longjmp when available. longjmp is just too expensive on OSX machines.
2010-10-26 22:03:36 +01:00
init.c
fix operator declaration (patch from Ulrich Neumerkel)
2010-11-05 11:00:14 +00: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 scanning of UTF-32 files.
2010-10-28 18:05:42 +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
do not reexecute function on restore if f_name is NULL.
2010-11-22 21:47:17 +00: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
fix shared object stuff (obs from Roberto Bagnara).
2010-11-22 18:07:01 +00: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
[PATCH-YAP 6/6] ISO: compound(+1). now holds.
2010-11-21 22:11:10 +00: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
only force 1E30 an error if in ISO mode.
2010-11-22 12:51:02 +00:00
sort.c
change Heap.h to YapHeap.h
2009-10-23 14:22:17 +01:00
stdpreds.c
fixes to number_codes and number_chars.
2010-10-29 10:28:25 +01:00
sysbits.c
support DragonFly BSD (patch from Aleksej Saushev)
2010-10-27 10:11:19 +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
routines to copy rational terms to tree and vice-versa.
2010-11-01 20:11:28 +00:00
write.c
Merge ../yap-6.2
2010-11-24 10:02:04 +00: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