Vitor Santos Costa
|
294131b1b6
|
Merge branch 'master' of git.dcc.fc.up.pt:yap-6.3
|
2014-02-13 11:57:59 +00:00 |
|
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 |
João Santos
|
bb061f9db8
|
remove GLOBAL_executing_workers
|
2014-02-13 10:13:45 +00:00 |
|
Vitor Santos Costa
|
6c7e5e3cd2
|
patch for OPTYap from João Silva
|
2014-02-05 16:21:21 +00:00 |
|
Vitor Santos Costa
|
d648375412
|
make MYDDAS into its own module.
|
2014-01-24 19:59:42 +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
|
e105130a8b
|
Tabling with coinductive mode for predicate
|
2013-12-20 14:56:13 +00:00 |
|
Theo
|
fdd96e96cf
|
Same as before...
|
2013-12-19 17:08:55 +00:00 |
|
Theo
|
b4506cf793
|
CoInductive tabling
|
2013-12-19 16:56:55 +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
|
5a8017156a
|
undid the last changes...
|
2013-12-17 18:03:46 +00:00 |
|
Theofrastos Mantadelis
|
35a332f23a
|
rational tries support for yap tabling
|
2013-12-17 16:55:39 +00:00 |
joao
|
da0f807abf
|
fix YAPOR_THREADS memory macros
|
2013-12-16 16:51:00 +00:00 |
|
Vítor Santos Costa
|
e813c75814
|
enable thread debugging
|
2013-11-12 08:34:26 +00:00 |
|
Vitor Santos Costa
|
bf77381744
|
alloc K * Size
|
2013-10-01 16:42:12 +01:00 |
|
Vitor Santos Costa
|
743c9c69fb
|
get rid of PROTO
|
2013-04-25 17:15:04 -05:00 |
|
Vitor Santos Costa
|
633a56647e
|
thread stuff should be thread efficient :)
|
2013-03-26 16:11:19 -05:00 |
|
Vitor Santos Costa
|
83480fe8a7
|
change the way predicates are hidden
|
2012-10-19 18:11:20 +01:00 |
Ricardo Rocha
|
f0c0913490
|
fix multithreading with mode-directed tabling
|
2012-06-06 15:19:38 +01:00 |
|
Ricardo Rocha
|
7e667c1038
|
fix multithreading with mode-directed tabling
|
2012-06-04 19:47:45 +01:00 |
|
Ricardo Rocha
|
d540354c30
|
adding sum mode operator + fix multithreading compatibility
|
2012-06-04 19:27:31 +01:00 |
|
Ricardo Rocha
|
26e6281bb7
|
fix PgEnt_strs_in_use counter
|
2012-05-22 14:47:47 +01:00 |
|
Ricardo Rocha
|
02447ac372
|
minor fixes
|
2012-05-21 15:55:14 +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
|
a6ff7528d1
|
missing variable declaration
|
2012-04-23 15:39:49 +01:00 |
U-WIN-UA9ACS5GS9N\vitor
|
19807d46f7
|
WIN32 and CYGWIN fixes.
|
2012-04-18 14:14:56 -05:00 |
|
João Santos
|
430147f310
|
Merge branch 'master' of git.dcc.fc.up.pt:yap-6.3
|
2012-02-27 17:22:37 +00:00 |
|
João Santos
|
553fbc505f
|
fix cut predicate in YapOr and ThOr
|
2012-02-27 17:18:01 +00:00 |
|
Vítor Santos Costa
|
1531002f26
|
avoid unnecessrily using slots in Input/Output calls or just because I need a stream. This can lead to hard to
catch stack bugs.
|
2012-02-18 11:01:06 +00:00 |
Miguel Areias
|
1de3affa99
|
Multi-threaded tabling - No Sharing support
|
2012-02-14 15:00:31 +00:00 |
|
Ricardo Rocha
|
1fe86ba2b3
|
fix parallel_findall/3
|
2012-01-05 16:04:32 +00: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
|
ea337366fe
|
fix compilation for or-parallelism
|
2011-12-05 17:02:06 +00:00 |
|
Ricardo Rocha
|
038c1854d0
|
fix compilation for tabling with threads
|
2011-12-05 16:54:22 +00:00 |
|
Ricardo Rocha
|
4db885e3c3
|
fix compilation for threads
|
2011-11-30 15:32:35 +00:00 |
|
Vítor Santos Costa
|
829f207307
|
ifixes for compilation under threads (no table sharing).
|
2011-11-30 13:37:59 +00:00 |
|
Ricardo Rocha
|
65b73a8a09
|
data structures for multithreading tabling
|
2011-11-22 17:09:29 +00:00 |
|
Ricardo Rocha
|
eea9c0d165
|
merge similar ALLOC macros
|
2011-11-18 16:22:31 +00:00 |
|
Ricardo Rocha
|
6aae4eb948
|
adjust ALLOC macros
|
2011-11-17 12:56:31 +00:00 |
|
Ricardo Rocha
|
0dab76c185
|
redefine ALLOC macros
|
2011-11-17 11:40:53 +00:00 |
|
Ricardo Rocha
|
a88fcec0c2
|
fix mode directed tabling with yapor
|
2011-11-16 12:47:43 +00:00 |
|
Ricardo Rocha
|
e993c2473b
|
the trie locking data structure (node field or global lock array) is now defined explicitly
|
2011-11-16 11:42:04 +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 |