Vitor Santos Costa
d0efa26d8b
Merge branch 'rtries' of git.dcc.fc.up.pt:yap-6.3
...
Conflicts:
OPTYap/tab.insts.i
OPTYap/tab.tries.c
OPTYap/tab.tries.i
2014-02-13 11:57:46 +00:00
Vitor Santos Costa
6b2e1973ab
Windows fixes, mainly H -> HB
2014-01-19 21:15:05 +00:00
Vítor Santos Costa
ccccf71ae1
support for tabling of bignums and strings
2014-01-17 09:39:29 +00:00
Theo
1f0f9968df
Adding rational term support for tabling tries
2013-12-19 10:56:52 +00:00
Theo
65eb3b8e4d
Still undoing... sorry
2013-12-17 18:15:34 +00:00
Theofrastos Mantadelis
35a332f23a
rational tries support for yap tabling
2013-12-17 16:55:39 +00:00
Ricardo Rocha
d540354c30
adding sum mode operator + fix multithreading compatibility
2012-06-04 19:27:31 +01:00
Ricardo Rocha
1dcc8bd393
adptation of the memory allocator based on pages to work with threads
2012-05-14 19:11:58 +01:00
Ricardo Rocha
72f79b8c4f
fix compilation errors for multi-threaded tabling
2012-01-05 11:41:46 +00:00
Ricardo Rocha
c594d321ef
Miguel's support for multi-threaded tabling
2011-12-22 16:50:20 +00:00
Ricardo Rocha
f11e435db6
fix TRIE_LOCK_AT_WRITE_LEVEL scheme
2011-12-14 10:33:18 +00:00
Ricardo Rocha
ab32e8f14e
fix expand hash tables with TRIE_LOCK_AT_WRITE_LEVEL schemes
2011-12-12 17:24:58 +00:00
Ricardo Rocha
6bb26f4764
fix support for local pages with threads
2011-12-09 16:06:17 +00:00
Ricardo Rocha
d33829205e
support for local pages with threads
2011-12-07 13:53:20 +00:00
Ricardo Rocha
a88fcec0c2
fix mode directed tabling with yapor
2011-11-16 12:47:43 +00:00
Ricardo Rocha
ec0fa8a2a3
tries locking scheme is now independent for the answer, subgoal and global trie
2011-11-15 16:57:51 +00:00
Ricardo Rocha
8f7983b6c4
minor changes for mode directed tabling
2011-11-11 19:17:55 +00:00
Ricardo Rocha
e85854c1bb
fix invalid answers for mode directed tabling
2011-11-11 18:05:24 +00:00
Joao
1e7fc1afce
fix mode directed tabling.
2011-11-09 12:03:09 +00:00
Ricardo Rocha
88760aa0b1
mode directed tabling
2011-11-09 11:00:31 +00:00
Vítor Santos Costa
22b0bcac14
mode directed tabling.
2011-10-22 16:49:13 +01:00
Ricardo Rocha
f7b9c74948
sync with repository
2011-05-25 18:50:54 +01:00
Joao
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
Joao
ebd0e8a7c0
change global_optyap_data macros to GLOBAL_.
2011-05-10 11:47:18 +01:00
Joao
f890a11377
change macros GLOBAL to Yap
2011-03-29 18:19:18 +01:00
Vítor Santos Costa
90d93fdbdd
cache abstra machine register in threaded mode.
2011-03-07 16:02:55 +00:00
Vítor Santos Costa
da1df3d851
more cleanups.
2011-03-02 23:19:39 +00:00
Ricardo Rocha
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
Ricardo Rocha
73d210c991
reducing the number of macros for error checking in the OPTYap files
2010-04-18 04:59:11 +01:00
Ricardo Rocha
e122f2ca8d
Global trie support: atomic terms (vars, integers and atoms) are now stored
...
in the local tries (and not in the global trie). This required major changes
to the trie instructions in order to unify the use of the auxiliary stack
organization for the terms in the local tries and in the global trie.
2010-04-15 01:09:59 +01:00
Ricardo Rocha
ab8fee4e08
common global trie for subtems (seems to be working correctly !)
2010-04-05 03:34:02 +01:00
Ricardo Rocha
9c3bb73bab
common global trie (version GT-ST: global trie for subterms)
2010-04-05 03:31:12 +01:00
