Vitor Santos Costa
|
5f0f91208d
|
fix compilation of threads+tabling
|
2009-12-18 00:19:49 -02:00 |
|
Ricardo Rocha
|
7d841065e9
|
support for the common global trie (version GT-T: global trie for terms)
|
2009-09-27 02:31:31 +01:00 |
|
Ricardo Rocha
|
3ccad9aff2
|
redefine MAX_DEPTH as MAX_BRANCH_DEPTH to avoid conflits with yap2swi
library
|
2009-06-24 20:00:51 +01:00 |
|
ricroc
|
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 |
|
vsc
|
3e0d7d8749
|
fix bad initialization with tabling.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1439 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2005-11-04 01:17:17 +00:00 |
|
ricroc
|
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 |
|
ricroc
|
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 |
|
ricroc
|
3a93e0e079
|
TABLING: answers for completed calls can now be obtained by loading (new option) or executing (default) them from the trie data structure.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1342 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2005-07-06 19:34:12 +00:00 |
|
ricroc
|
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 |
|
ricroc
|
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 |
|
vsc
|
ba9876268f
|
threads, clean signals, and much more...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@957 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2004-01-23 02:23:51 +00:00 |
|
ricroc
|
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 |
|
vsc
|
0351b9f0ab
|
make --enable-threads work on CVS release.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@645 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2002-10-21 22:14:29 +00:00 |
|
vsc
|
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 |
|