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 |
|
Ricardo Rocha
|
7aa77faf2a
|
fix compilation for or-parallelism
|
2011-11-30 15:19:37 +00:00 |
|
Vítor Santos Costa
|
829f207307
|
ifixes for compilation under threads (no table sharing).
|
2011-11-30 13:37:59 +00:00 |
|
Vítor Santos Costa
|
79d1bf5eec
|
Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3
Conflicts:
OPTYap/opt.config.h
OPTYap/opt.structs.h
|
2011-11-30 13:24:12 +00:00 |
|
Vítor Santos Costa
|
ee4ad9ffd0
|
ifix warnings.
|
2011-11-30 13:05:44 +00:00 |
|
Vítor Santos Costa
|
fec7019a79
|
fix some warnings
improve thread support.
|
2011-11-30 13:05:21 +00:00 |
|
Vítor Santos Costa
|
e06560eff4
|
support for threads.
|
2011-11-30 13:05:06 +00:00 |
|
Vítor Santos Costa
|
7f6084b3b7
|
isupport for threads aanda malloc
|
2011-11-30 13:04:49 +00:00 |
|
Vítor Santos Costa
|
48482ff422
|
isupport for threads.
|
2011-11-30 13:04:29 +00:00 |
|
Vítor Santos Costa
|
2f6ec5ff59
|
improve learning for CLP(BN).
|
2011-11-30 13:04:13 +00:00 |
|
Vítor Santos Costa
|
0b81d99803
|
initialise thread local prredicates.
|
2011-11-30 13:03:22 +00:00 |
|
Vítor Santos Costa
|
dcfdb5e614
|
don't try to release null pointer.
|
2011-11-30 13:02:44 +00:00 |
|
Vítor Santos Costa
|
7da303450f
|
fix while.
|
2011-11-30 13:02:20 +00:00 |
|
Ricardo Rocha
|
455b1606aa
|
Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3
|
2011-11-22 17:09:46 +00:00 |
|
Ricardo Rocha
|
65b73a8a09
|
data structures for multithreading tabling
|
2011-11-22 17:09:29 +00:00 |
|
Ubuntu32
|
2d699b0c04
|
Merge branch 'master' of git.dcc.fc.up.pt:yap-6.3
|
2011-11-18 14:35:43 -08:00 |
|
Vítor Santos Costa
|
6c1cf7ea39
|
update to OSX support.
|
2011-11-18 22:24:46 +00:00 |
|
Vítor Santos Costa
|
749a5103a1
|
fix empty slots in unnumbervars.
|
2011-11-18 22:16:33 +00:00 |
|
Vítor Santos Costa
|
e33712403f
|
fix prism compilation and PRISM overflow handling.
|
2011-11-18 18:33:22 +00:00 |
|
Vítor Santos Costa
|
b3045ae38b
|
Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3
|
2011-11-18 17:06:36 +00:00 |
|
Vítor Santos Costa
|
244cb3d17c
|
compile prism.
|
2011-11-18 17:02:09 +00:00 |
|
Ricardo Rocha
|
42211448c5
|
Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3
|
2011-11-18 16:35:52 +00:00 |
|
Vítor Santos Costa
|
ae29efec0c
|
iupdate version.
|
2011-11-18 16:26:41 +00:00 |
|