Commit Graph

4985 Commits

Author SHA1 Message Date
Vitor Santos Costa
fee0ee8691 fix scanning for operators. 2011-08-18 05:01:48 -07:00
Vitor Santos Costa
d8b5a0e5d5 handle SY of wide characters. 2011-08-17 16:23:12 -07:00
Vitor Santos Costa
27299d432f more operator stuff. 2011-08-17 14:35:29 -07:00
Vitor Santos Costa
5f3df98069 make sure wide property is always the first property. 2011-08-17 11:16:21 -07:00
Vitor Santos Costa
cd4d55be9b don't test flag options. 2011-08-16 08:53:29 -07:00
Vitor Santos Costa
5a2aa219db more slot stuff 2011-08-16 08:47:31 -07:00
Vitor Santos Costa
a3303eeb69 more qlyw stuff. 2011-08-16 10:34:44 -03:00
Vitor Santos Costa
d51a89c815 fix time routines 2011-08-16 13:31:59 +00:00
Vitor Santos Costa
2256c3bf8b add timezone flag 2011-08-16 13:31:19 +00:00
Vitor Santos Costa
2ab46f753d recover slots 2011-08-16 13:30:51 +00:00
Vitor Santos Costa
dc080f4d45 Merge branch 'master' of https://github.com/denys-duchier/yap-6.3 2011-08-12 11:53:07 -03:00
Vitor Santos Costa
23be6ccdfc fix wide atom handling. 2011-08-12 11:52:47 -03:00
Denys Duchier
4c4f3b624d add pid to temp filename so that make -j works 2011-08-12 16:33:57 +02:00
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
Vitor Santos Costa
00949b8783 add WIN32 flags. 2011-07-26 17:54:17 +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