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 |
|
ubu32
|
2b213963dd
|
use Scurin by default in read/1.
|
2011-07-10 04:50:55 -07:00 |
|
ubu32
|
04a6911b9f
|
fix warnings.
|
2011-07-09 09:15:52 -07:00 |
|
ubu32
|
87b99f4d54
|
update pldoc.
|
2011-07-09 08:23:12 -07:00 |
|
Vitor Santos Costa
|
1130a3536d
|
fix ProbLog error.
|
2011-07-04 22:36:57 +01:00 |
|
Vitor Santos Costa
|
9727f3c71c
|
fix warning messages.
|
2011-07-04 22:36:34 +01:00 |
|
Vitor Santos Costa
|
21050891ee
|
city example.
|
2011-07-02 09:49:12 +01:00 |
|
Vitor Santos Costa
|
be345a0387
|
update to recent ProbLog.
|
2011-06-26 23:13:43 +01:00 |
|
Vitor Santos Costa
|
249010bd90
|
add SWI compatible file_name_variables flag.
|
2011-06-21 22:33:10 +01:00 |
|
Vítor Santos Costa
|
53f76eb198
|
fix Makefile
|
2011-06-14 11:13:32 +01:00 |
|
Vítor Santos Costa
|
9549277295
|
fix Makefilew
|
2011-06-14 09:41:20 +01:00 |
|