Commit Graph

5176 Commits

Author SHA1 Message Date
Denys Duchier
d70e53f243 support for ranges and values of intvars 2011-08-09 16:57:33 +02:00
Denys Duchier
76dd2511a8 finish and test support for dynamic arrays 2011-08-09 16:30:59 +02:00
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