Vítor Santos Costa
|
a09b7c5bb8
|
fix >>
|
2011-11-16 14:55:13 +00:00 |
|
Vítor Santos Costa
|
67820baee0
|
fix overflow in << and >>
|
2011-11-16 07:36:34 +00:00 |
|
Vítor Santos Costa
|
3ac8e3914f
|
improve C-interface to cope with prism.
|
2011-11-10 12:26:23 +00:00 |
|
Vítor Santos Costa
|
64dded4a53
|
iunnumbervars may be copying terms from outside the stacks, so don't share
unless we know we share.
|
2011-11-04 09:28:33 +00:00 |
|
Vítor Santos Costa
|
4af0f47b7f
|
add this file to repository.
|
2011-11-04 09:28:09 +00:00 |
|
Vítor Santos Costa
|
fc8b265b66
|
ifix buildops
|
2011-11-04 02:51:52 +00:00 |
|
Vítor Santos Costa
|
e283f6406a
|
fix Yap_compare_terms for 64 bit code.
|
2011-11-04 11:41:35 +09:00 |
|
Vítor Santos Costa
|
2ee9981a11
|
new Makefiles and prototypes.
|
2011-11-03 07:55:56 +09:00 |
|
Vítor Santos Costa
|
9397c9336d
|
make this callable from foeign code.
|
2011-11-03 07:55:42 +09:00 |
|
Vítor Santos Costa
|
5ce8d637ef
|
fix AtomLength clash
|
2011-11-03 07:54:18 +09:00 |
|
Vítor Santos Costa
|
b85f9d1d54
|
use new interface code.
|
2011-11-03 07:53:49 +09:00 |
|
Vítor Santos Costa
|
d2c50b72c6
|
should be in main H directory.
|
2011-11-03 07:48:37 +09:00 |
|
Vítor Santos Costa
|
1ddd61314c
|
support for X^[A,B] and X^length in arithmetic expressions.
|
2011-10-27 12:36:48 +02:00 |
|
Vítor Santos Costa
|
1cc3280fea
|
Yap_unifiable
|
2011-10-27 12:36:03 +02:00 |
|
Vítor Santos Costa
|
980c79359f
|
Yap_unifiable and YAP_Unifiable.
|
2011-10-27 12:35:07 +02:00 |
|
Vítor Santos Costa
|
48bfaa1ce1
|
move to 6.3.1
|
2011-10-22 10:25:04 +01:00 |
|
U-WIN-U2045GN0RNQ\Vítor Santos Costa
|
9a731118d3
|
fix changes in paths.
|
2011-10-21 19:12:40 +01:00 |
|
U-WIN-U2045GN0RNQ\Vítor Santos Costa
|
f7f90d5f5c
|
fix conflict with WIN library
|
2011-10-21 19:12:21 +01:00 |
|
Vítor Santos Costa
|
a08d31a161
|
ytell compiler about some test outcomes.
|
2011-10-03 15:30:08 -03:00 |
|
Vítor Santos Costa
|
43c07f5051
|
more speed stuff.
|
2011-10-02 21:01:14 -03:00 |
|
Vítor Santos Costa
|
66ae65fe09
|
small look at compilation.
|
2011-10-02 19:55:22 -03:00 |
|
Vítor Santos Costa
|
36d20477fb
|
small fixes to avoid using global reg.
|
2011-10-02 16:18:09 -03:00 |
|
Joao
|
1a6aff8aa1
|
Merge branch 'master' of git://yap.git.sourceforge.net/gitroot/yap/yap-6.3
|
2011-09-15 15:44:26 +01:00 |
|
Joao
|
64ae3cdf52
|
fix YAPOR incremental copy.
|
2011-09-15 15:40:47 +01:00 |
|
Vitor Santos Costa
|
0febddf090
|
fix prototype complaints.
|
2011-09-07 22:04:18 +02:00 |
|
Vitor Santos Costa
|
5dd62b6354
|
fix reading predicates with prolog and other module.
|
2011-09-05 01:11:06 +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
|
49dc19c53b
|
can't trust mmap in OSX: it runs all over allocated memory.
|
2011-09-04 19:26:19 +02:00 |
|
Vitor Santos Costa
|
5a91af843f
|
encoding is done by SWI code, don't mess around.
|
2011-09-02 21:03:41 +01:00 |
|
Vitor Santos Costa
|
51e635f0c9
|
more QLY stuff.
|
2011-08-31 13:59:30 -07:00 |
|
Vitor Santos Costa
|
e5a62a8843
|
CloseSlots should work even if the stack doesn't have a slot on top.
|
2011-08-31 13:56:32 -07:00 |
|
Vitor Santos Costa
|
ec438106a0
|
more qly stuff
|
2011-08-27 21:23:14 -03:00 |
|
Vitor Santos Costa
|
1cd3777a45
|
fix saving of source of static clauses.
|
2011-08-25 03:19:12 +01:00 |
|
Vitor Santos Costa
|
7c0ba3b867
|
qly stuff.
|
2011-08-24 00:11:54 -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 |
|
Vitor Santos Costa
|
fc9c92b5c1
|
use lifo for properties as before.
|
2011-08-18 05:06:02 -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
|
a3303eeb69
|
more qlyw stuff.
|
2011-08-16 10:34:44 -03: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
|
619d0622e6
|
allow writing of opaque terms.
|
2011-07-27 16:50:14 +01:00 |
|
Vitor Santos Costa
|
a06586ad22
|
make more slot ops inline.
|
2011-07-27 16:31:10 +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
|
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
|
a16a7d5b1c
|
fix calling of Write and Read for new SWI style interface.
|
2011-07-22 15:49:40 +01:00 |
|
Vitor Santos Costa
|
f6be2ed08d
|
support interface to foreign objects that have a backtrack handler.
|
2011-07-22 04:09:33 -07:00 |
|
Vitor Santos Costa
|
a1d903e3e9
|
external term support.
|
2011-07-21 06:32:49 -07:00 |
|