Vitor Santos Costa
|
a9d1bd788e
|
improve SWI console
|
2012-06-22 03:56:01 -05:00 |
|
Vitor Santos Costa
|
58c3445d82
|
win console.
|
2012-06-08 06:55:23 -05:00 |
|
Vitor Santos Costa
|
06cd0c7414
|
fix overflow handling.
|
2012-05-15 16:03:41 +01:00 |
|
Vitor Santos Costa
|
682db0aad4
|
support term_subsumer.
|
2012-05-14 15:04:19 +01:00 |
|
Vítor Santos Costa
|
c3e3b0b50f
|
fix term_to_atom/2.
|
2012-05-02 23:38:04 +01:00 |
|
Ricardo Rocha
|
42631bcc71
|
missing cache regs
|
2012-04-23 18:57:10 +01:00 |
|
Vítor Santos Costa
|
a9434aed37
|
more gc changes.
|
2012-04-20 23:45:16 +02:00 |
|
Vítor Santos Costa
|
fac8af303d
|
fix call to gc.
|
2012-04-18 00:57:43 +02:00 |
|
Denys Duchier
|
c484053210
|
added a README file for gecode bindings
|
2012-04-16 22:28:35 +02:00 |
|
Denys Duchier
|
638bcfb242
|
added support for gecode 3.7.3
|
2012-04-16 22:14:34 +02:00 |
|
Denys Duchier
|
82ced70a33
|
maybe import customize_compiler from new distutils
|
2012-04-16 22:02:53 +02:00 |
|
Denys Duchier
|
347b28f69d
|
removed -q option because of new g++
|
2012-04-16 21:59:11 +02:00 |
|
Denys Duchier
|
b66b261972
|
Merge branch 'master' of git://yap.git.sourceforge.net/gitroot/yap/yap-6.3
|
2012-04-16 21:51:54 +02:00 |
|
Vítor Santos Costa
|
01b86d78cc
|
support warning if matlab is not to be found.
|
2012-03-22 21:42:11 +00:00 |
|
Vítor Santos Costa
|
a0d2e6f285
|
dgraph_leaves: all leaves in a directed graph (linear time).
|
2012-03-22 21:41:48 +00:00 |
|
Denys Duchier
|
05bd59a2fb
|
better error messages. regenerated for all versions of gecode
|
2012-03-22 20:49:24 +01:00 |
|
Denys Duchier
|
8b16734e1c
|
fix for setvars. also slightly better errors in generated code.
|
2012-03-22 16:10:59 +01:00 |
|
Denys Duchier
|
48cb3d6543
|
added support for gecode 3.7.2
|
2012-03-22 15:10:19 +01:00 |
|
Vítor Santos Costa
|
7b84608e5e
|
ifix case where we lose hash table output.
|
2012-03-22 12:07:38 +00:00 |
|
Vítor Santos Costa
|
88cc8a0bdb
|
predicate options.
|
2012-02-13 09:39:09 +00:00 |
|
Vítor Santos Costa
|
795a958090
|
Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3
|
2012-02-12 12:29:00 +00:00 |
|
Vítor Santos Costa
|
ea18699602
|
JPL support patches.
|
2012-02-12 12:28:37 +00:00 |
|
João Santos
|
21522ce151
|
CACHE_REGS
|
2012-02-07 15:18:43 +00:00 |
|
Vitor Santos Costa
|
3648c562fa
|
more lammpi compilation fixes.
|
2012-02-06 17:35:32 +00:00 |
|
Vitor Santos Costa
|
e032d5faf7
|
configure fixes for LAM MPI.
|
2012-02-06 16:44:33 +00:00 |
|
Vítor Santos Costa
|
0b1c98d3f6
|
allow MPI to compute term size.
|
2012-02-05 11:57:03 +00:00 |
|
Vítor Santos Costa
|
bd677152e7
|
more MPI fixes.
|
2012-02-05 11:20:30 +00:00 |
|
Vítor Santos Costa
|
e6fb330f58
|
fix warnings.
|
2012-02-03 20:55:35 +00:00 |
|
Vítor Santos Costa
|
5e85dcbd8e
|
an example.
|
2012-02-03 20:53:59 +00:00 |
|
Vítor Santos Costa
|
a2c86643b0
|
ismall fixes to MPI interface.
|
2012-02-03 16:31:49 +00:00 |
|
Vítor Santos Costa
|
ab33cacf7b
|
LAM MPI interface support.
|
2012-02-02 23:25:31 +00:00 |
|
Vítor Santos Costa
|
6eea1fe1ea
|
fixes for export_term and friends.
|
2012-02-02 23:25:09 +00:00 |
|
Vítor Santos Costa
|
c60514f89b
|
add some MPI tests.
|
2012-02-02 10:00:17 +00:00 |
|
Vítor Santos Costa
|
4e6cc28cd3
|
lam support.
|
2012-02-02 09:58:05 +00:00 |
|
Vítor Santos Costa
|
7e73c781b0
|
configure fixes for lam-mpi.
|
2012-02-01 19:26:58 +00:00 |
|
Vitor Santos Costa
|
db619fa81f
|
protect atoms in SWI interface.
|
2012-01-17 12:37:29 +00:00 |
|
Vítor Santos Costa
|
f2dc53a53e
|
atoms passed through the SWI interface must always have a hold.
|
2012-01-15 11:21:38 -06:00 |
|
Vítor Santos Costa
|
5ce80cfe8a
|
fix matrix row removal.
|
2012-01-10 18:49:16 +00:00 |
|
Vitor Santos Costa
|
d3c7800ab4
|
support PL_skip_list and PL_unify_bool.
|
2012-01-09 23:29:31 +00:00 |
|
Vitor Santos Costa
|
f632bc72bc
|
comment out debugging codes.
|
2012-01-09 23:27:22 +00:00 |
|
Vítor Santos Costa
|
00b5edd8da
|
allow copying a chunk of floats to a list in a single operation. Also
improve performance of sum out operation on arrays.
|
2011-12-30 16:04:16 +00:00 |
|
Vítor Santos Costa
|
551df1c70a
|
handle blob overflows.
|
2011-12-22 10:27:56 +00: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 |
|
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 |
|