Ricardo Rocha
|
77b93e2cda
|
Merge branch 'master' of git.dcc.fc.up.pt:yap-6.3
|
2011-12-22 16:50:27 +00:00 |
|
Ricardo Rocha
|
c594d321ef
|
Miguel's support for multi-threaded tabling
|
2011-12-22 16:50:20 +00:00 |
|
Vítor Santos Costa
|
8c7d0af032
|
Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3
|
2011-12-22 11:44:48 +00:00 |
|
Vítor Santos Costa
|
39b035a309
|
Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3
|
2011-12-22 11:43:44 +00:00 |
|
Vítor Santos Costa
|
d01eec1dbe
|
iupdate changes.
|
2011-12-22 11:43:30 +00:00 |
|
Vítor Santos Costa
|
1fde83d278
|
fix overflows
|
2011-12-22 11:42:26 +00:00 |
|
Vítor Santos Costa
|
551df1c70a
|
handle blob overflows.
|
2011-12-22 10:27:56 +00:00 |
|
Ricardo Rocha
|
dc36b1cf65
|
Merge branch 'master' of git.dcc.fc.up.pt:yap-6.3
|
2011-12-14 10:33:42 +00:00 |
|
Ricardo Rocha
|
f11e435db6
|
fix TRIE_LOCK_AT_WRITE_LEVEL scheme
|
2011-12-14 10:33:18 +00:00 |
|
Vítor Santos Costa
|
18190a4633
|
fix types for return absmi and friends.
|
2011-12-13 23:09:05 +00:00 |
|
Vítor Santos Costa
|
32ebfe00fd
|
use module in RunOnce.
|
2011-12-13 22:20:28 +00:00 |
|
Denys Duchier
|
17c3a16d35
|
rename rellocate -> relocate
|
2011-12-13 19:14:33 +01:00 |
|
Denys Duchier
|
fc1f622e7e
|
Merge branch 'master' of git://yap.git.sourceforge.net/gitroot/yap/yap-6.3
|
2011-12-13 14:51:48 +01:00 |
|
Vítor Santos Costa
|
98c849c087
|
should have been easy.
|
2011-12-13 12:16:42 +00:00 |
|
Vítor Santos Costa
|
707a3b9925
|
call opaque handlers from agc and stack shifter
|
2011-12-13 10:41:05 +00:00 |
|
Vítor Santos Costa
|
85c4d6673d
|
Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3
|
2011-12-13 10:02:03 +00:00 |
|
Vítor Santos Costa
|
aab98180c5
|
garbage collection support for opaque variables
|
2011-12-13 10:01:51 +00:00 |
|
Denys Duchier
|
213c0780d3
|
Merge branch 'master' of git://yap.git.sourceforge.net/gitroot/yap/yap-6.3
|
2011-12-12 18:38:14 +01:00 |
|
Ricardo Rocha
|
5f6fd7daea
|
Merge branch 'master' of git.dcc.fc.up.pt:yap-6.3
|
2011-12-12 17:25:02 +00:00 |
|
Ricardo Rocha
|
ab32e8f14e
|
fix expand hash tables with TRIE_LOCK_AT_WRITE_LEVEL schemes
|
2011-12-12 17:24:58 +00:00 |
|
Vítor Santos Costa
|
093e63e476
|
Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3
|
2011-12-12 15:32:18 +00:00 |
|
Vítor Santos Costa
|
7df0fd90f5
|
Changes by Tiago
|
2011-12-12 15:30:24 +00:00 |
|
Vítor Santos Costa
|
33bf0bc0f5
|
new release from Tiago
|
2011-12-12 15:29:51 +00:00 |
|
Vítor Santos Costa
|
03391e3feb
|
New Version From Tiago
|
2011-12-10 23:12:10 +00:00 |
|
Vítor Santos Costa
|
dbcb6e530c
|
New Version From Tiago
|
2011-12-10 22:58:43 +00:00 |
|
Ricardo Rocha
|
6bb26f4764
|
fix support for local pages with threads
|
2011-12-09 16:06:17 +00:00 |
|
Denys Duchier
|
7b8819073e
|
Merge branch 'master' of git://yap.git.sourceforge.net/gitroot/yap/yap-6.3
|
2011-12-08 22:29:29 +01:00 |
|
Vítor Santos Costa
|
2ab4ce503e
|
fix bad declaration.
|
2011-12-07 22:26:22 +00:00 |
|
Denys Duchier
|
26aa6d139a
|
Merge branch 'master' of git://yap.git.sourceforge.net/gitroot/yap/yap-6.3
|
2011-12-07 20:23:52 +01:00 |
|
Vitor Santos Costa
|
dcbf8b0522
|
fix configure to handle or-parallelism correctly and to remove random from clib.
|
2011-12-07 09:04:46 -08:00 |
|
Vitor Santos Costa
|
65c7b4250a
|
iensure we have LD.
|
2011-12-07 08:39:56 -08:00 |
|
Ubuntu32
|
c74cc23940
|
ifix bad prototype.
|
2011-12-07 08:36:10 -08:00 |
|
Ubuntu32
|
291486af3d
|
Merge branch 'master' of git.dcc.fc.up.pt:yap-6.3
|
2011-12-07 06:40:48 -08:00 |
|
Ricardo Rocha
|
d33829205e
|
support for local pages with threads
|
2011-12-07 13:53:20 +00:00 |
|
Denys Duchier
|
9bf2cdec35
|
Merge branch 'master' of git://yap.git.sourceforge.net/gitroot/yap/yap-6.3
|
2011-12-07 14:39:30 +01:00 |
|
Vítor Santos Costa
|
51e49d6660
|
Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3
|
2011-12-05 21:05:12 +00:00 |
|
Vítor Santos Costa
|
ad618c5bcb
|
fix bad typing for 64 bits (fix from Bernd).
|
2011-12-05 21:04:31 +00:00 |
|
Denys Duchier
|
4d80c7c610
|
missing @item for YAP_RestartGoal
|
2011-12-05 19:51:57 +01:00 |
|
Ricardo Rocha
|
67b9ad1fa2
|
__LD version
|
2011-12-05 17:03:54 +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 |
|
Denys Duchier
|
d75cf3118a
|
fix GECODE_EXTRALIBS assignment
|
2011-12-04 16:40:43 +01:00 |
|
Denys Duchier
|
0eb760e68f
|
doc for kept vars
|
2011-12-03 23:35:44 +01:00 |
|
Denys Duchier
|
8aa813d342
|
initial support for 'keep'
|
2011-12-03 23:31:28 +01:00 |
|
Denys Duchier
|
696e0e91e7
|
Merge branch 'master' of git://yap.git.sourceforge.net/gitroot/yap/yap-6.3
|
2011-12-03 22:05:22 +01:00 |
|
Denys Duchier
|
9a78735aaf
|
added support for search options
|
2011-12-03 22:04:04 +01:00 |
|
Vítor Santos Costa
|
514189e097
|
gecode compatibility.
|
2011-12-02 23:09:25 +00:00 |
|
Vítor Santos Costa
|
1a4e31e7a0
|
fix MKINDEX call
|
2011-12-02 23:09:04 +00:00 |
|
Vítor Santos Costa
|
18b982bd25
|
__LD version
|
2011-12-02 23:08:08 +00:00 |
|
Denys Duchier
|
9ebcae23ea
|
add -framework gecode if necessary
|
2011-12-02 14:30:55 +01:00 |
|