Vítor Santos Costa
|
0141113583
|
fix bug.
|
2011-11-03 07:53:21 +09:00 |
|
U-WIN-U2045GN0RNQ\Vítor Santos Costa
|
d173af8d2d
|
fix
|
2011-10-21 19:14:04 +01:00 |
|
Vitor Santos Costa
|
e56e1cbacb
|
small fixes
|
2011-09-24 21:39:37 +01:00 |
|
Vitor Santos Costa
|
b2dcc47f9c
|
fix evidence problems.
|
2011-09-24 21:38:59 +01:00 |
|
Vitor Santos Costa
|
dd9aa08eec
|
fix aleph-params install
|
2011-09-24 21:37:50 +01:00 |
|
Vitor Santos Costa
|
ff84eaf782
|
delete_file changed in 6.3.
|
2011-09-20 14:50:24 +01:00 |
|
Vítor Santos Costa
|
5baf42320b
|
recompute tables when commit.
|
2011-09-20 09:55:09 +01:00 |
|
Vítor Santos Costa
|
bfc1def1d5
|
imake sure mutable is available.
|
2011-09-20 09:54:30 +01:00 |
|
Vítor Santos Costa
|
4855c3460a
|
improve memory usage when storing piointers to evidence facts.
|
2011-09-15 15:49:57 +01:00 |
|
Vítor Santos Costa
|
cdd33b8c1a
|
new CPLint and ProbLog versions.
|
2011-09-15 15:49:06 +01:00 |
|
Vitor Santos Costa
|
04f0a4bb73
|
fix Makefile.in for minisat.
|
2011-09-06 21:18:30 +02:00 |
|
Vitor Santos Costa
|
01c80d77e0
|
update latest releaase of ProbLog
|
2011-09-05 03:07:15 +02:00 |
|
Vitor Santos Costa
|
86c1842cff
|
upgrade to packages and to package docs.
|
2011-09-05 02:28:34 +02:00 |
|
Vitor Santos Costa
|
fda246f6fc
|
upgradae packages.
|
2011-09-05 01:11:49 +02:00 |
|
Vitor Santos Costa
|
d38d54b67a
|
small fix to Dialects.
|
2011-09-05 00:01:41 +02:00 |
|
Vitor Santos Costa
|
9cfd4d8d8b
|
move package/PLStream to os
modify Makefiles accordingly
define __unix__ on Unix like clones (OSX, AIX, etc).
|
2011-09-04 19:42:33 +02:00 |
|
Vitor Santos Costa
|
89023264a3
|
update branch
|
2011-09-04 19:32:21 +02:00 |
|
Vitor Santos Costa
|
df45128c8a
|
new version of clib
|
2011-09-04 19:31:49 +02:00 |
|
Vitor Santos Costa
|
284ac49217
|
fix wide atom writing.
|
2011-09-02 23:22:35 +01:00 |
|
Vitor Santos Costa
|
d21888abc9
|
adjust submodules
|
2011-08-31 14:11:01 -07:00 |
|
Vitor Santos Costa
|
e19133e362
|
Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3
|
2011-08-22 15:46:52 -03:00 |
|
Vitor Santos Costa
|
6c284faf8b
|
make sure we do a full reset after Scleanup.
|
2011-08-22 15:45:49 -03:00 |
|
Vitor Santos Costa
|
811606059e
|
try encoding even if . is not in string
|
2011-08-22 15:45:16 -03:00 |
|
U-WIN-U2045GN0RNQ\Vítor Santos Costa
|
b6aca9463d
|
Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3
|
2011-08-18 22:35:13 +01:00 |
|
U-WIN-U2045GN0RNQ\Vítor Santos Costa
|
5fa4da2e22
|
fix win directory access in YAP.
|
2011-08-18 22:33:49 +01:00 |
|
Vitor Santos Costa
|
2256c3bf8b
|
add timezone flag
|
2011-08-16 13:31:19 +00:00 |
|
Vitor Santos Costa
|
23be6ccdfc
|
fix wide atom handling.
|
2011-08-12 11:52:47 -03:00 |
|
Vitor Santos Costa
|
b9effea2e9
|
fix changes
|
2011-08-09 08:12:52 -03:00 |
|
Vitor Santos Costa
|
c871761c11
|
more qly stuff.
|
2011-08-03 08:23:00 +01:00 |
|
Vitor Santos Costa
|
545a3a2b03
|
writing hook for opaque terms.
|
2011-07-30 00:06:52 +01:00 |
|
Vitor Santos Costa
|
0e964c7278
|
include SWI patch.
|
2011-07-26 21:05:53 +01:00 |
|
Vitor Santos Costa
|
ffae487cf2
|
fix path support in WINDOWS.
|
2011-07-26 18:42:13 +01:00 |
|
Vitor Santos Costa
|
e145910234
|
windows path support.
|
2011-07-26 18:41:45 +01:00 |
|
U-WIN-U2045GN0RNQ\Vítor Santos Costa
|
5437984815
|
Merge branch 'master' of /cygdrive/z/vitor/Yap/yap-6.3
|
2011-07-26 17:07:10 +01:00 |
|
Vitor Santos Costa
|
69f1bedf47
|
copy error routines from SWI. That was easy.
|
2011-07-25 23:52:05 +01:00 |
|
Vitor Santos Costa
|
f73d7ef5f6
|
fixes for WIN32 compilation.
|
2011-07-25 23:51:45 +01:00 |
|
U-WIN-U2045GN0RNQ\Vítor Santos Costa
|
4fe1833ece
|
Merge branch 'master' of /cygdrive/z/vitor/Yap/yap-6.3
|
2011-07-25 17:09:43 +01:00 |
|
U-WIN-U2045GN0RNQ\Vítor Santos Costa
|
840e287cda
|
mode changes
|
2011-07-25 17:09:28 +01:00 |
|
Vitor Santos Costa
|
69e5fed10f
|
new version of belief propagation solver.
|
2011-07-22 21:33:30 +01:00 |
|
Vitor Santos Costa
|
a16a7d5b1c
|
fix calling of Write and Read for new SWI style interface.
|
2011-07-22 15:49:40 +01:00 |
|
Vitor Santos Costa
|
eea7f83e09
|
fix module stuff.
|
2011-07-22 14:50:32 +01:00 |
|
Vitor Santos Costa
|
08217b825b
|
update swi packages.
|
2011-07-22 14:41:17 +01:00 |
|
Vitor Santos Costa
|
c78aa3cf1d
|
fix user-c spying.
|
2011-07-22 14:10:55 +01:00 |
|
Vitor Santos Costa
|
e4a775925b
|
fix handling of YAP_Blob terms.
|
2011-07-22 04:09:14 -07:00 |
|
Vitor Santos Costa
|
6fdf6b49f6
|
fix computation of cut register for either (yapor).
|
2011-07-21 14:39:57 +01:00 |
|
Vitor Santos Costa
|
de60807724
|
cleanup patch
|
2011-07-14 09:40:15 +01:00 |
|
Ricardo Rocha
|
22d8e33a5f
|
fix cut support for or-parallelism
|
2011-07-13 17:36:26 +01:00 |
|
Vitor Santos Costa
|
45e5e3b983
|
work if ipackages are missing and some cleanups.
|
2011-07-13 15:31:22 +01:00 |
|
ubu32
|
2a51403518
|
fix restore of streams.
|
2011-07-11 21:15:15 -07:00 |
|
ubu32
|
f968a745e8
|
fix Scurin in mt
|
2011-07-11 07:06:20 -07:00 |
|