Ricardo Rocha
|
e993c2473b
|
the trie locking data structure (node field or global lock array) is now defined explicitly
|
2011-11-16 11:42:04 +00:00 |
|
Vítor Santos Costa
|
67820baee0
|
fix overflow in << and >>
|
2011-11-16 07:36:34 +00:00 |
|
Vítor Santos Costa
|
c2504af4fb
|
fix rounding on negative number shifting
avoid allocating unnecessary space.
|
2011-11-16 07:34:58 +00:00 |
|
Ricardo Rocha
|
ec0fa8a2a3
|
tries locking scheme is now independent for the answer, subgoal and global trie
|
2011-11-15 16:57:51 +00:00 |
|
Vitor Santos Costa
|
fedf37ee35
|
update yapr
|
2011-11-15 12:59:00 +00:00 |
|
Vítor Santos Costa
|
946887d3b8
|
update !
|
2011-11-15 12:46:03 +00:00 |
|
Vítor Santos Costa
|
df949efdb3
|
fix god knows what.
|
2011-11-15 12:40:55 +00:00 |
|
U-WIN7\Vitor
|
a2917e4e9e
|
support R in WIN32.
|
2011-11-15 04:37:21 -08:00 |
|
Vítor Santos Costa
|
79bcde0869
|
fix variable that belongs to Makefile.in
|
2011-11-15 11:18:16 +00:00 |
|
Vítor Santos Costa
|
b7d9e63c17
|
ifix clib Makefile.in
|
2011-11-15 11:17:00 +00:00 |
|
Vítor Santos Costa
|
c469b0061a
|
Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3
|
2011-11-15 10:24:13 +00:00 |
|
Vítor Santos Costa
|
d2f6683538
|
more aggressive defaults (tabling and memory allocation from system on).
|
2011-11-15 10:23:41 +00:00 |
|
Vitor Santos Costa
|
71bedb75f2
|
fix configuration script to better recognsie R.
|
2011-11-15 10:22:03 +00:00 |
|
Vítor Santos Costa
|
ca43587f27
|
Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3
|
2011-11-14 14:37:22 +00:00 |
|
Vítor Santos Costa
|
42cb27c973
|
ifix typo.
|
2011-11-14 14:36:24 +00:00 |
|
Vítor Santos Costa
|
6a7dc31a3b
|
fix header files.
|
2011-11-12 12:22:19 +00:00 |
|
Vítor Santos Costa
|
449da99843
|
fix fix.
|
2011-11-12 12:20:03 +00:00 |
|
Vítor Santos Costa
|
074a9a754f
|
fix path for config.h
|
2011-11-12 12:18:57 +00:00 |
|
Ricardo Rocha
|
8f7983b6c4
|
minor changes for mode directed tabling
|
2011-11-11 19:17:55 +00:00 |
|
Ricardo Rocha
|
5c5fa5af55
|
Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3
|
2011-11-11 18:06:46 +00:00 |
|
Ricardo Rocha
|
e85854c1bb
|
fix invalid answers for mode directed tabling
|
2011-11-11 18:05:24 +00:00 |
|
Vítor Santos Costa
|
c637863616
|
Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3
|
2011-11-10 12:31:35 +00:00 |
|
Vítor Santos Costa
|
cfc13a0d61
|
improve term expansion: avoid duplicated calls and handle throws gracefully.
|
2011-11-10 12:27:36 +00:00 |
|
Vítor Santos Costa
|
02a8b35e36
|
improve action rules compilation.
|
2011-11-10 12:27:07 +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
|
e865248dce
|
prism logical probabilistic system.
|
2011-11-10 12:24:47 +00:00 |
|
Ricardo Rocha
|
f06489ffe5
|
show_table support for mode directed tabling
|
2011-11-09 15:13:22 +00:00 |
|
Ricardo Rocha
|
2905fc8114
|
fix mode directed tabling
|
2011-11-09 14:24:08 +00:00 |
|
Joao
|
1e7fc1afce
|
fix mode directed tabling.
|
2011-11-09 12:03:09 +00:00 |
|
Ricardo Rocha
|
dab7c00e60
|
extra space in macro definition
|
2011-11-09 11:02:05 +00:00 |
|
Ricardo Rocha
|
88760aa0b1
|
mode directed tabling
|
2011-11-09 11:00:31 +00:00 |
|
Ricardo Rocha
|
d063989dff
|
add tabled pred flag to undefined built-in
|
2011-11-09 10:24:39 +00:00 |
|
Vítor Santos Costa
|
d971219b7e
|
just add a comment.
|
2011-11-08 15:48:55 +00:00 |
|
Vítor Santos Costa
|
a90eaa4937
|
fix syntax error handling.
|
2011-11-08 15:30:06 +00:00 |
|
Ubuntu32
|
e1b132325e
|
Merge branch 'master' of git.dcc.fc.up.pt:yap-6.3
|
2011-11-08 00:17:54 -08: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
|
3dbae0cb94
|
Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3
|
2011-11-04 02:48:28 +00:00 |
|
Vítor Santos Costa
|
83f0903f6a
|
Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3
|
2011-11-04 02:47:31 +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
|
f8e3c7d347
|
for external code needing access to YAP internals.
|
2011-11-03 07:56:52 +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
|
1d2de81e86
|
update bprolog emulation stuff.
|
2011-11-03 07:54:51 +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
|
0141113583
|
fix bug.
|
2011-11-03 07:53:21 +09:00 |
|
Vítor Santos Costa
|
9f2b0c7e70
|
extend C-interface to support b-prolog like stuff
|
2011-11-03 07:52:52 +09:00 |
|
Vítor Santos Costa
|
fc2a50b67e
|
use C-code.
|
2011-11-03 07:51:58 +09:00 |
|