d8b4d1c878
fixes
2019-04-16 09:53:20 +01:00
a6d709dabf
copy_term
2019-01-22 19:32:19 +00:00
18c74933af
full dir
2018-06-18 12:16:36 +01:00
67a88a196d
numbers
...
docs
2018-05-16 00:00:12 +01:00
54234c7e1d
fix C major issues
...
- use delays to implement setup_call
- fix user_* flag
- error handling i CXX should b local
- fix mess on how to call openQuert
- deter pt -> from a pointer to another one
- avoid text forms when you can use C: LOCLS to locals.h
- fux seto_call
- new gated call
- mem streams
2017-08-21 12:29:58 +01:00
6b545c8f71
smallbugs
2017-06-18 11:14:55 +01:00
65f1cb9741
win64 support: encodings
2016-04-10 06:21:17 -07:00
4336b2ba88
Avoid complaining from strlen
...
`
2015-09-21 17:05:36 -05:00
bece9d05d8
JIT
2015-01-20 03:00:42 +00:00
72b9ec59b7
Fix: Win32 defines Bind, so change Bind to YapBind.
2014-05-29 11:32:28 +02:00
cf39051162
fix gcc complaint.
2014-05-02 01:44:07 +01:00
3cad9c37b1
removed unnecessary cut_c macros (always on)
2014-02-11 07:15:39 -08:00
6b2e1973ab
Windows fixes, mainly H -> HB
2014-01-19 21:15:05 +00:00
c21b5bef3c
fix PRISM xompiltaion in 32 bits
2013-09-04 05:05:01 -05:00
743c9c69fb
get rid of PROTO
2013-04-25 17:15:04 -05:00
97163fa150
place INLINE_ONLY at front of extern inline declarations AND definitions. gcc and clang then behave the same.
2012-06-30 20:42:14 +02:00
70bde4d38f
inline extern patch by Denys Duchier
2012-06-29 22:44:08 +01:00
6c36a8ccd3
make it easier for outside packages to link with YAP innards.
2012-05-14 15:06:18 +01:00
110c78b309
add dereferencing macro.
2012-01-09 23:27:47 +00:00
a08d31a161
ytell compiler about some test outcomes.
2011-10-03 15:30:08 -03:00
8170f6d3cb
Some global variables(Yap_thread_gl) in C/init.c are now declared in misc/LOCALS
2011-05-23 16:19:47 +01:00
8fb8aec9bf
MULTIPLE_STACKS - or-parallelism/threads/tabling
...
YAPOR_THREADS - threads with or-parallelism
make tabling require reference counting for dynamic predicates.
2011-04-14 18:51:11 +01:00
b11a3f894c
make sure to initialise both fields in trail entry (helpful for valgrind).
2011-04-13 14:49:03 +01:00
2fb880b64a
fix bad tests for attributed variable, and use a better name for Quick Test.
2011-03-19 10:25:23 +00:00
0d8aed7971
new implementation of corourining...
2011-03-18 19:34:58 +00:00
e98ba46ccb
make new code work in 32 bit Linux.
2011-03-07 08:34:20 -08:00
90d93fdbdd
cache abstra machine register in threaded mode.
2011-03-07 16:02:55 +00:00
57f5ef8cfc
more bug fixes:
...
- make readline use packages, not old YAP code
- fix ! over backtrack cps
- fix write list
2011-02-15 05:54:19 -08:00
ae2421951b
fix comparison between terms when rationals come up.
2010-05-28 12:07:01 +01:00
b068721c68
fix type warnings.
2010-03-22 15:01:54 +00:00
54c0209d3a
give macros to reset and update chain of attvars in term copy.
2010-03-15 14:19:45 +00:00
3683da028a
use correct tests.
2010-03-14 09:31:04 +00:00
139fc6c440
small fixes for CUT_C
2010-01-28 15:42:49 +00:00
bcc4a27206
cut_succeed and cut_fail should recover pool of try_c and should
...
do trim_trail (not that the latter really matters).
2010-01-26 18:03:09 +00:00
2edc06b6a2
fix unifiable for attributed variables (obs from Jiefei Ma).
2010-01-21 09:47:55 +00:00
15b86cded4
new merged instructions and small changes to the emulator.
2009-03-03 10:04:13 +00:00
0c0826b938
fix some icc warnings
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2165 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-03-25 22:03:14 +00:00
d11fd73306
global variables
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1685 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2006-08-22 16:12:46 +00:00
ed92d70e68
BEAM for YAP update...
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1384 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2005-09-08 21:59:58 +00:00
34b2a0df4f
TABLING NEW: support to limit the table space size
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1355 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2005-08-04 15:45:56 +00:00
de17f5cca4
Adding tabling support for mixed strategy evaluation (batched and local scheduling)
...
UPDATE: compilation flags -DTABLING_BATCHED_SCHEDULING and -DTABLING_LOCAL_SCHEDULING removed. To support tabling use -DTABLING in the Makefile or --enable-tabling in configure.
NEW: yap_flag(tabling_mode,MODE) changes the tabling execution mode of all tabled predicates to MODE (batched, local or default).
NEW: tabling_mode(PRED,MODE) changes the default tabling execution mode of predicate PRED to MODE (batched or local).
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1268 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2005-04-07 17:56:58 +00:00
2dfdca263d
Use Doug Lea's malloc as an alternative to YAP's standard malloc
...
don't use TR directly in scanner/parser, this avoids trouble with ^C while
consulting large files.
pass gcc -mno-cygwin to library compilation in cygwin environment (cygwin should
compile out of the box now).
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1168 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2004-10-28 20:12:23 +00:00
040280ea73
fix overflow of attributed variables in copy_term
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1126 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2004-09-07 20:20:12 +00:00
6bf9d6cef1
fix bug in unwinding trail at amiops.h
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1124 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2004-09-07 16:48:04 +00:00
5b6e8182d1
expand_clauses: keep a list of clauses to expand
...
fix new trail scheme for multi-assignment variables
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1035 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2004-04-14 19:10:40 +00:00
4242efb73f
trim_trail for default machine
...
be more aggressive about try-retry-trust chains.
- handle cases where block starts with a wait
- don't use _killed instructions, just let the thing rot by itself.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1027 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2004-03-19 11:35:42 +00:00
80be9121af
My first attempt to synchronize OPTYap with CVS
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@916 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2003-11-05 16:12:25 +00:00
d7f80ea1ad
Stasinos noticed that _YAP_ breaks C standard: use Yap_ instead.
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@691 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2002-11-18 18:18:05 +00:00
7b2c4dc6ff
all global symbols should now start with _YAP
...
global functions should not be called from within file (bug in
binutils/WIN32).
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@675 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2002-11-11 17:38:10 +00:00
a5638757d3
unify might bound a multi-assignment variable?\027?\024
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@480 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2002-05-21 04:18:15 +00:00
Vitor Santos Costa
Andreas Becker
David Vaz
Vitor Santos Costa
Denys Duchier
Vitor Santos Costa
Vitor Santos Costa
Joao
ubu32
vsc
rslopes
ricroc