Commit Graph

5579 Commits

Author SHA1 Message Date
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
Denys Duchier
7c78f52a89 support search options, added 'restart' 2011-12-01 22:48:28 +01:00
Denys Duchier
d9ce468a03 move to a leaner install procedure 2011-12-01 21:54:39 +01:00
Vítor Santos Costa
84b017e5fd fix small problems in thread package. 2011-12-01 11:05:27 +00:00
Ricardo Rocha
4db885e3c3 fix compilation for threads 2011-11-30 15:32:35 +00:00