Vitor Santos Costa
|
1cd3777a45
|
fix saving of source of static clauses.
|
2011-08-25 03:19:12 +01:00 |
|
Vitor Santos Costa
|
26e3f2cea0
|
qly fixes
|
2011-08-24 12:40:06 +01:00 |
|
Vitor Santos Costa
|
0f80358ca7
|
Merge branch 'master' of git://yap.git.sourceforge.net/gitroot/yap/yap-6.3
|
2011-08-24 04:12:48 +01:00 |
|
Vitor Santos Costa
|
7c0ba3b867
|
qly stuff.
|
2011-08-24 00:11:54 -03:00 |
|
Vitor Santos Costa
|
ee91cbca98
|
fix win32 permission changes.
|
2011-08-23 22:04:47 +01:00 |
|
Vitor Santos Costa
|
704989bf70
|
fix bad memory reference
|
2011-08-23 14:26:59 -03:00 |
|
Vitor Santos Costa
|
dfb81fc217
|
fix permissions (WIN messup).
|
2011-08-22 15:50:11 -03: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
|
3f04f14264
|
fixes for YAP in console code.
|
2011-08-18 22:34:47 +01:00 |
|
U-WIN-U2045GN0RNQ\Vítor Santos Costa
|
5fa4da2e22
|
fix win directory access in YAP.
|
2011-08-18 22:33:49 +01:00 |
|
U-WIN-U2045GN0RNQ\Vítor Santos Costa
|
0e2da3c3e0
|
fix version info
|
2011-08-18 22:32:59 +01:00 |
|
Vitor Santos Costa
|
fc9c92b5c1
|
use lifo for properties as before.
|
2011-08-18 05:06:02 -07:00 |
|
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 |
|