b871f6676e
fix error handling
2015-09-25 10:57:26 +01:00
1c06bfdc05
cmake & text support
2015-06-19 01:30:13 +01:00
5b19ccf6a8
swig fixes for Android compatibility
2014-06-22 17:35:05 +01:00
da0f807abf
fix YAPOR_THREADS memory macros
2013-12-16 16:51:00 +00:00
26e6281bb7
fix PgEnt_strs_in_use counter
2012-05-22 14:47:47 +01:00
1dcc8bd393
adptation of the memory allocator based on pages to work with threads
2012-05-14 19:11:58 +01:00
c594d321ef
Miguel's support for multi-threaded tabling
2011-12-22 16:50:20 +00:00
f11e435db6
fix TRIE_LOCK_AT_WRITE_LEVEL scheme
2011-12-14 10:33:18 +00:00
d33829205e
support for local pages with threads
2011-12-07 13:53:20 +00:00
eea9c0d165
merge similar ALLOC macros
2011-11-18 16:22:31 +00:00
6aae4eb948
adjust ALLOC macros
2011-11-17 12:56:31 +00:00
0dab76c185
redefine ALLOC macros
2011-11-17 11:40:53 +00:00
d601ba9caf
fix yapor memory allocation
2011-06-02 17:01:00 +01:00
f7b9c74948
sync with repository
2011-05-25 18:50:54 +01:00
1d4fdd53c0
use SWI's IOSTREAM for output
2011-05-25 18:38:46 +01: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
d6fc76faf1
Remove GLOBAL_AGcLastCall. Fix GLOBAL_check_sg_fr.
2011-05-10 12:20:22 +01:00
ebd0e8a7c0
change global_optyap_data macros to GLOBAL_.
2011-05-10 11:47:18 +01:00
d4825159ee
fix configure file. change memory management in YapOr.
2011-04-28 09:48:42 +01:00
274de7652f
fix error messages in configure file.
2011-04-18 14:59:17 +01:00
b6e0a64e56
fix memory allocation for YapOR
2011-04-14 19:19:13 +01:00
f890a11377
change macros GLOBAL to Yap
2011-03-29 18:19:18 +01:00
16c1056a01
tabling support for the common global trie is now available by default
...
(macro GLOBAL_TRIE was removed). Use 'yap_flag(tabling_mode,MODE)' to
set the storing mode for all tabled predicates to MODE ('local_trie' or
'global_trie). Alternatively, use 'tabling_mode(PRED,MODE)' to set the
default tabling mode of predicate PRED to MODE ('local_trie' or
'global_trie'). The default mode for all tabled predicates is 'local_trie'.
2010-04-23 04:22:10 +01:00
c221c2ff85
renaming some OPTYap files in order to have a more consistent name organization
2010-04-19 02:34:08 +01:00
73d210c991
reducing the number of macros for error checking in the OPTYap files
2010-04-18 04:59:11 +01:00
52a2b49263
new support for the common global trie (version GT-ST: global trie for subterms)
2010-04-03 05:58:14 +01:00
ee0022bb47
checking for frozen segments in the trail stack in now done using the
...
macro IN_BETWEEN(Yap_TrailBase, ref, Yap_TrailTop)
2010-03-12 20:02:32 +00:00
7120e79dd6
include the library shm.h only when needed
2009-09-29 00:56:58 +01:00
7d841065e9
support for the common global trie (version GT-T: global trie for terms)
2009-09-27 02:31:31 +01:00
cf5d68edda
fix recursive functions that manipulate tries
2009-08-05 05:48:00 +01:00
9bb854ab62
tabling support for 64 bits
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1870 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2007-04-26 14:13:21 +00:00
4c0865ca37
more tabling fixes
...
use malloc when AllocCodeSpace fails
use snprintf when available.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1458 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2005-11-16 01:55:03 +00:00
d12421405c
TABLING FIX: recover unused space algorithm
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1359 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2005-08-10 21:36:34 +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
b36b836820
TABLING NEW: better support for incomplete tabling
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1351 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2005-08-01 15:40:39 +00:00
5ef65b053e
TABLING: new predicates 'tabling_statistics' and 'abolish_all_tables'.
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1343 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2005-07-11 19:17:32 +00:00
b8546491fc
copyright header in OPTYap files
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1315 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2005-05-31 08:24:24 +00:00
f1db3d3b69
remove abort_yapor, abort_yaptab, ...
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1309 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2005-05-31 00:49:49 +00:00
4c972ca825
bug fixes for YapTab support
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1259 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2005-03-04 20:30:14 +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
e216aab2c6
Christian's patches for OPTYap.
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@707 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2002-11-26 22:19:48 +00:00
e5f4633c39
This commit was generated by cvs2svn to compensate for changes in r4,
...
which included commits to RCS files with non-trunk default branches.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@5 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2001-04-09 19:54:03 +00:00
Vítor Santos Costa
joao
Ricardo Rocha
Joao
Ricardo Rocha
Ricardo Rocha
ricroc
vsc