Denys Duchier
|
31063fdc85
|
Merge branch 'master' of /home/denys/src/yap/yap-6.3
|
2011-08-09 15:03:54 +02:00 |
|
Denys Duchier
|
292f89360b
|
add support for compilers without dynamic arrays
|
2011-08-09 15:03:45 +02:00 |
|
Vitor Santos Costa
|
8096f22b21
|
fix Makefile to use -I.
|
2011-08-09 08:34:50 -03:00 |
|
Vitor Santos Costa
|
0b12932f34
|
make this code DEBUG only.
|
2011-08-09 08:34:23 -03:00 |
|
Vitor Santos Costa
|
0ccba96834
|
fix CXXFLAGS
|
2011-08-09 08:30:37 -03:00 |
|
Vitor Santos Costa
|
31aed3db43
|
fix merge.
|
2011-08-09 08:13:42 -03:00 |
|
Vitor Santos Costa
|
b9effea2e9
|
fix changes
|
2011-08-09 08:12:52 -03:00 |
|
Vitor Santos Costa
|
0ed341ed83
|
Merge branch 'master' of https://github.com/denys-duchier/yap-6.3
Conflicts:
configure
|
2011-08-09 08:12:43 -03:00 |
|
Vitor Santos Costa
|
451dc1380f
|
qly to qlyw
|
2011-08-09 08:11:23 -03:00 |
|
Vitor Santos Costa
|
34b82b4b34
|
qly to qlyw
|
2011-08-09 08:10:56 -03:00 |
|
Denys Duchier
|
d4d4dbaddf
|
added support for gecode library
|
2011-08-08 15:21:36 +02:00 |
|
Vitor Santos Costa
|
a4ff34476b
|
fix buglet.
|
2011-08-08 08:08:53 -03:00 |
|
Vitor Santos Costa
|
bdeea3b15e
|
support ply
|
2011-08-03 16:30:39 +01:00 |
|
Vitor Santos Costa
|
fe8544c01e
|
fix debugging info.
|
2011-08-03 16:11:41 +01:00 |
|
Vitor Santos Costa
|
c871761c11
|
more qly stuff.
|
2011-08-03 08:23:00 +01:00 |
|
Vitor Santos Costa
|
a56402303e
|
first step for quick loader, and fix an instruction format.
|
2011-07-30 00:07:35 +01:00 |
|
Vitor Santos Costa
|
545a3a2b03
|
writing hook for opaque terms.
|
2011-07-30 00:06:52 +01:00 |
|
Vitor Santos Costa
|
169758af5e
|
fix bug.
|
2011-07-28 10:31:56 +01:00 |
|
Vitor Santos Costa
|
4a50cfa853
|
Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3
|
2011-07-27 16:51:24 +01:00 |
|
Vitor Santos Costa
|
619d0622e6
|
allow writing of opaque terms.
|
2011-07-27 16:50:14 +01:00 |
|
Vitor Santos Costa
|
b79a885480
|
fix prompt stuff.
|
2011-07-27 16:49:43 +01:00 |
|
Vitor Santos Costa
|
a06586ad22
|
make more slot ops inline.
|
2011-07-27 16:31:10 +01:00 |
|
Vitor Santos Costa
|
40976581a3
|
fix exists.
|
2011-07-27 16:30:29 +01:00 |
|
Vitor Santos Costa
|
e2179a277d
|
make top-level more SWI like
|
2011-07-26 23:32:50 +01:00 |
|
Vitor Santos Costa
|
a83546e313
|
fixes to have windows version of yap.
|
2011-07-26 23:32:38 +01:00 |
|
Vitor Santos Costa
|
0e964c7278
|
include SWI patch.
|
2011-07-26 21:05:53 +01:00 |
|
Vitor Santos Costa
|
b55ffd0089
|
fix warning message.
|
2011-07-26 21:05:16 +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
|
9a48889e69
|
Merge branch 'master' of /cygdrive/z/vitor/Yap/yap-6.3
|
2011-07-26 17:55:10 +01:00 |
|
Vitor Santos Costa
|
00949b8783
|
add WIN32 flags.
|
2011-07-26 17:54:17 +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 |
|
Ricardo Rocha
|
efc59cf8d6
|
DepFr_cons field initialization for threads
|
2011-07-26 16:49:49 +01:00 |
|
Ricardo Rocha
|
3345709bdb
|
avoid InitWorker twice for main thread
|
2011-07-26 15:51:52 +01:00 |
|
Ricardo Rocha
|
31b3eeaae6
|
fix output stream usage
|
2011-07-26 15:26:01 +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 |
|
Vitor Santos Costa
|
78d8487156
|
fix for OSX Lion.
|
2011-07-25 23:50:50 +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
|
beffc7b69d
|
fix missing CONST
|
2011-07-25 00:57:35 -07:00 |
|
Vitor Santos Costa
|
67ddf94afa
|
fix error messages.
|
2011-07-22 23:38:19 +01:00 |
|
Vitor Santos Costa
|
991d85edf0
|
fixes to interrupt handling in readline.
|
2011-07-22 22:48:30 +01:00 |
|
Vitor Santos Costa
|
a701f08180
|
small fixes.
|
2011-07-22 21:35:18 +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
|
80966dd286
|
check for NULL handler.
|
2011-07-22 04:21:21 -07:00 |
|