Vitor Santos Costa
|
f33fe61ada
|
more support.
|
2012-10-26 00:24:07 +01:00 |
|
Tiago Gomes
|
68ef63207f
|
initial support for weighted model countign
|
2012-10-25 12:22:52 +01:00 |
|
Vítor Santos Costa
|
ea3f2f13e9
|
improve python interface
|
2012-10-25 00:33:02 +01:00 |
|
Tiago Gomes
|
eac6b954a8
|
add inital smoothing of the circuit
|
2012-10-24 21:22:49 +01:00 |
|
Tiago Gomes
|
0cfc64d068
|
update TODO
|
2012-10-24 16:24:49 +01:00 |
|
Vitor Santos Costa
|
3e696eb831
|
fix bad index removal
|
2012-10-23 18:22:16 +01:00 |
|
Vitor Santos Costa
|
8126381e8d
|
range and fix locals.
|
2012-10-23 14:55:44 +01:00 |
|
Vitor Santos Costa
|
139b06115e
|
range builtins
|
2012-10-23 14:55:17 +01:00 |
|
Vítor Santos Costa
|
d2da55463f
|
more python fixes.
|
2012-10-23 10:18:24 +01:00 |
|
Vítor Santos Costa
|
0caac30c11
|
support lists
|
2012-10-23 10:16:32 +01:00 |
|
Vitor Santos Costa
|
84a5f518bf
|
fix Makefile trouble
|
2012-10-23 09:06:38 +01:00 |
|
Vítor Santos Costa
|
b272205707
|
odbc and archive
|
2012-10-23 00:45:13 +01:00 |
|
Tiago Gomes
|
a8926fe38b
|
inital code for lifted knowledge compilation
|
2012-10-22 23:01:13 +01:00 |
|
Vitor Santos Costa
|
f189784510
|
Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3
|
2012-10-22 22:04:38 +01:00 |
|
Vitor Santos Costa
|
0f8a3de8b6
|
support for odbc driver
|
2012-10-22 22:04:11 +01:00 |
|
Vítor Santos Costa
|
6bfd5bbe54
|
new version.
|
2012-10-22 21:39:45 +01:00 |
|
Vítor Santos Costa
|
db39b48410
|
Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3
|
2012-10-22 21:38:59 +01:00 |
|
Vítor Santos Costa
|
ad4b767661
|
python support.
|
2012-10-22 21:38:04 +01:00 |
|
Vítor Santos Costa
|
135027fe20
|
python support.
|
2012-10-22 21:37:17 +01:00 |
|
Vitor Santos Costa
|
32a01a5bf6
|
:new SWI modules.
|
2012-10-22 18:16:52 +01:00 |
|
Vitor Santos Costa
|
43c3c89f30
|
export patch from Paulo Moura
|
2012-10-22 15:04:52 +01:00 |
|
Vítor Santos Costa
|
7fa7c8b92a
|
patch module code (by Paulo Moura)
|
2012-10-22 10:18:26 +01:00 |
|
Vítor Santos Costa
|
14796f5d90
|
patch syntax error (by Paulo Moura)
|
2012-10-22 10:18:01 +01:00 |
|
Vítor Santos Costa
|
7f41b36378
|
fix typo
|
2012-10-20 10:48:42 +01:00 |
|
Vitor Santos Costa
|
04bba4f1de
|
fix A option.
|
2012-10-19 18:13:48 +01:00 |
|
Vitor Santos Costa
|
e92b8791c5
|
Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3
|
2012-10-19 18:12:06 +01:00 |
|
Vitor Santos Costa
|
83480fe8a7
|
change the way predicates are hidden
|
2012-10-19 18:11:20 +01:00 |
|
Vitor Santos Costa
|
88f2dc7730
|
change the way predicates are hidden
|
2012-10-19 18:10:48 +01:00 |
|
Vitor Santos Costa
|
7d7a59ae28
|
outdated
|
2012-10-19 16:24:06 +01:00 |
|
Vítor Santos Costa
|
27737c31bd
|
fix debug messages
|
2012-10-19 09:28:13 +01:00 |
|
Vítor Santos Costa
|
140a19ba7c
|
make thread_exit follow protocol
|
2012-10-19 09:27:19 +01:00 |
|
Vitor Santos Costa
|
2de3917e4a
|
socket testing
|
2012-10-17 17:30:51 +01:00 |
|
Vitor Santos Costa
|
4da6733194
|
fix bad initialization of mqs
|
2012-10-17 17:25:35 +01:00 |
|
Vitor Santos Costa
|
e596cce6f5
|
fix compilation under threads.
|
2012-10-17 17:24:14 +01:00 |
|
Vitor Santos Costa
|
3917a19ab9
|
bad ref counting with trust_log/threads
|
2012-10-17 17:23:47 +01:00 |
|
Vitor Santos Costa
|
474c088baf
|
ifix thread compilation.
|
2012-10-17 17:22:43 +01:00 |
|
Vítor Santos Costa
|
fb2a17addf
|
improve interface
|
2012-10-17 10:56:44 +01:00 |
|
Vitor Santos Costa
|
f753bce4fe
|
fix syntax error: tokens might be overwritten by Yap_unify(
|
2012-10-16 17:24:39 +01:00 |
|
Vitor Santos Costa
|
4b35fd8271
|
Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3
|
2012-10-16 08:46:28 +01:00 |
|
Vitor Santos Costa
|
503bdcc8b3
|
check for overflow in big strings
|
2012-10-16 08:44:49 +01:00 |
|
Vitor Santos Costa
|
610ca06883
|
check for overflow in big strings
|
2012-10-16 08:44:26 +01:00 |
|
Vitor Santos Costa
|
ba866a36e2
|
check for memory overflow; avoid possible misalignments
|
2012-10-16 08:43:29 +01:00 |
|
Vitor Santos Costa
|
fcb59e5c74
|
fix buffer overflow
|
2012-10-16 08:41:15 +01:00 |
|
Vitor Santos Costa
|
bb71204a11
|
small tests for MPI interface
|
2012-10-11 13:47:29 +01:00 |
|
Vítor Santos Costa
|
d6b3fc4325
|
new version.
|
2012-10-09 20:10:02 +01:00 |
|
Vitor Santos Costa
|
965b48f017
|
inew version.
|
2012-10-09 17:29:15 +01:00 |
|
Vitor Santos Costa
|
474b7a19e7
|
fix read_term to handle new notation.
|
2012-10-09 17:19:39 +01:00 |
|
Vitor Santos Costa
|
48f07ad338
|
fix parsing of input strings.
|
2012-10-09 16:31:43 +01:00 |
|
Vitor Santos Costa
|
7c178d2644
|
newer version
|
2012-10-09 16:31:09 +01:00 |
|
Vitor Santos Costa
|
3f6e56eb82
|
fix overflow in SWI interface code.
|
2012-10-09 16:30:18 +01:00 |
|