Vítor Santos Costa
|
014a0ec5bc
|
CurSlot maintenance
|
2013-01-19 22:13:43 +00:00 |
|
Vitor Santos Costa
|
05f9a935e1
|
windows stuff
|
2013-01-19 11:47:14 +00:00 |
|
Vítor Santos Costa
|
0e262df2ee
|
fix readline interrupts.
|
2013-01-19 09:59:31 +00:00 |
|
Vitor Santos Costa
|
85acf5c4ea
|
slots and recover ENV in failure
|
2013-01-18 14:30:35 +00:00 |
|
Vitor Santos Costa
|
8758b6de5a
|
improve error handling for qload
|
2013-01-18 14:30:10 +00:00 |
|
Vitor Santos Costa
|
7e3db0f75c
|
improve error handling for qload
|
2013-01-18 14:29:41 +00:00 |
|
Vitor Santos Costa
|
fa470556f2
|
obey types
|
2013-01-18 14:27:46 +00:00 |
|
Vitor Santos Costa
|
0f362ae77f
|
term and goal expansion should actually call the goal
|
2013-01-18 14:27:06 +00:00 |
|
Vítor Santos Costa
|
e22e3d74a0
|
thread support
|
2013-01-17 09:09:46 +00:00 |
|
Vitor Santos Costa
|
7407ecb60c
|
SWI extension including write variable_names
|
2013-01-17 00:17:02 +00:00 |
|
Vítor Santos Costa
|
abe6621495
|
SWI update
|
2013-01-16 11:28:58 +00:00 |
|
Vítor Santos Costa
|
0eacb68907
|
SWI update
|
2013-01-16 00:19:07 +00:00 |
|
Vitor Santos Costa
|
9550393e66
|
check for enough head space
|
2013-01-15 22:58:34 +00:00 |
|
Vitor Santos Costa
|
e85e76cd57
|
update to newer pl-file.c and pl-write.c.
|
2013-01-15 16:51:55 +00:00 |
|
Vitor Santos Costa
|
be5208f281
|
fix search for free variables in bagof.
|
2013-01-14 22:46:06 +00:00 |
|
Vitor Santos Costa
|
be668f1558
|
debugging stuff
|
2013-01-14 22:45:58 +00:00 |
|
Vítor Santos Costa
|
0c9342466b
|
handle random on big ints (jan burse)
|
2013-01-14 09:56:25 +00:00 |
|
Vítor Santos Costa
|
48ea1f5ec5
|
exo clause support
|
2013-01-14 09:48:05 +00:00 |
|
Vítor Santos Costa
|
798afc81c4
|
fix argv[0] discovery.
|
2013-01-13 17:55:13 +00:00 |
|
Vítor Santos Costa
|
e054db052d
|
fix hashing function.
|
2013-01-13 11:49:12 +00:00 |
|
Vítor Santos Costa
|
480e9aea69
|
fix bad ints (obs from Mei).
|
2013-01-13 11:48:31 +00:00 |
|
Vítor Santos Costa
|
8f2766cbf3
|
Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3
|
2013-01-11 19:26:11 +00:00 |
|
Vitor Santos Costa
|
e9d04ef9f5
|
save/restore exo
|
2013-01-11 18:36:34 +00:00 |
|
Vitor Santos Costa
|
f83379648c
|
fix use of exo preds.
|
2013-01-11 16:45:14 +00:00 |
|
Vítor Santos Costa
|
d078a2b2c4
|
thread support
|
2013-01-10 23:22:11 +00:00 |
|
Vitor Santos Costa
|
649fae4294
|
more fixes to exo compilation.
|
2013-01-09 16:38:39 +00:00 |
|
Vitor Santos Costa
|
6cd778f70b
|
exo stuff
|
2013-01-09 09:21:07 +00:00 |
|
Vitor Santos Costa
|
e14703b990
|
flags patch by Petr Pisaf
|
2013-01-09 09:20:41 +00:00 |
|
David Vaz
|
c9a01455b5
|
Merge branch 'udi_new' into yap
|
2013-01-08 18:45:39 +00:00 |
|
Vitor Santos Costa
|
f7adcf9b44
|
fix unnecessary dereferencing.
|
2013-01-08 13:09:31 +00:00 |
|
Vitor Santos Costa
|
2a44a0205b
|
support backtracking with uninst args
|
2013-01-08 12:35:18 +00:00 |
|
Vitor Santos Costa
|
d98862f5ea
|
debugging exo
|
2013-01-08 00:40:51 +00:00 |
|
David Vaz
|
38fcc19d55
|
Merge branch 'udi_new' of github.com:davidvaz/yap-udi into udi_new
|
2013-01-07 16:33:21 +00:00 |
|
Vítor Santos Costa
|
f063a2bd52
|
exo first step.
|
2013-01-07 09:47:14 +00:00 |
|
David Vaz
|
cdc15e8cd8
|
merge with yap-6.3
|
2013-01-06 20:09:48 +00:00 |
|
David Vaz
|
a9cacc7b33
|
Changes to autoconfigure libjudy in udi
|
2013-01-02 12:10:11 +00:00 |
|
David Vaz
|
58962f2595
|
UDI: some code refactor, simple code when no index intersection is needed
|
2013-01-02 11:23:54 +00:00 |
|
David Vaz
|
bae26c618b
|
UDI: Added Judy1 with support for integer set intersection
|
2012-12-28 17:46:11 +00:00 |
|
David Vaz
|
e6c2fa30ee
|
Added uthash to store indexed predicates info
|
2012-12-27 12:11:14 +00:00 |
|
Vítor Santos Costa
|
14b67dc76d
|
fix threads
|
2012-12-20 21:33:20 +00:00 |
|
Vitor Santos Costa
|
cb37e7714a
|
fix warnings
|
2012-12-20 21:13:51 +00:00 |
|
Vitor Santos Costa
|
a309f47794
|
MT support in win32
|
2012-12-20 21:13:20 +00:00 |
|
David Vaz
|
4efa594f0a
|
UDI: more work
|
2012-12-20 17:13:30 +00:00 |
|
U-vsc-PC\vsc
|
4d9d22530f
|
fix compilation on sequential win32
|
2012-12-19 00:48:43 +00:00 |
|
David Vaz
|
43e459b8f8
|
Changes Rtree so almost working
|
2012-12-18 18:26:59 +00:00 |
|
David Vaz
|
bd25c61fbf
|
New work on UDI
|
2012-12-17 20:23:03 +00:00 |
|
Vitor Santos Costa
|
06cf326885
|
avoi calls to inityaamregs.
|
2012-12-17 16:27:15 +00:00 |
|
Vitor Santos Costa
|
f47a7bb999
|
add debugging hooks to gc
|
2012-12-17 16:25:27 +00:00 |
|
Vítor Santos Costa
|
45b6263f85
|
have a separator cell not to confuse the gc.
|
2012-12-15 00:40:11 +00:00 |
|
Vitor Santos Costa
|
6e94d6b37e
|
remove debugging support
|
2012-12-15 00:16:59 +00:00 |
|
Vitor Santos Costa
|
f329b5f06b
|
fix compilation without threads
|
2012-12-14 22:54:00 +00:00 |
|
Vitor Santos Costa
|
e648d197a8
|
fix worker_id assignment in threads
|
2012-12-14 19:58:07 +00:00 |
|
Vitor Santos Costa
|
2e6360738c
|
itry to use size_t
fix overflow handling bugs.
|
2012-12-14 19:35:26 +00:00 |
|
Vitor Santos Costa
|
9107af2e3d
|
improve thread startup
|
2012-12-13 18:12:50 +00:00 |
|
Vitor Santos Costa
|
eb63cf748c
|
small sequential fixes
|
2012-12-11 22:15:02 +00:00 |
|
Vitor Santos Costa
|
e41f821d67
|
improve multi-threading support from C-interface. Still not quite there.
|
2012-12-11 22:07:10 +00:00 |
|
Vitor Santos Costa
|
87e811028c
|
ifix indenting
|
2012-12-10 12:48:02 +00:00 |
|
Vitor Santos Costa
|
7b579b810f
|
fix printing of opaque terms.
|
2012-12-10 12:47:01 +00:00 |
|
Vitor Santos Costa
|
b34c8b1b2c
|
try to improve slot allocation.
|
2012-12-10 12:14:24 +00:00 |
|
Vitor Santos Costa
|
62aa6df644
|
fix bad register initialization.
|
2012-12-10 12:12:54 +00:00 |
|
Vitor Santos Costa
|
e05ee9670c
|
unify indexing of dynamic and static clauses
|
2012-12-07 23:43:14 +00:00 |
|
Vitor Santos Costa
|
556937195d
|
avoid meta-call in system; improve goal/pred expansion
|
2012-12-07 08:08:32 +00:00 |
|
Vitor Santos Costa
|
c52d7a182c
|
fix memory leak in foreign code handling
|
2012-12-07 08:06:45 +00:00 |
|
Vítor Santos Costa
|
2607e59a16
|
add stash_predicate and fix hide_predicate.
|
2012-11-25 23:36:43 +00:00 |
|
Vitor Santos Costa
|
81a2420747
|
hide hidden predicates.
|
2012-11-08 14:07:55 +00:00 |
|
Vítor Santos Costa
|
f74164c642
|
correct support for goal expansion (bug report from Paulo Moura)
|
2012-11-07 13:49:54 +00:00 |
|
Vítor Santos Costa
|
37e4d242ad
|
range predicates.
|
2012-11-02 22:36:33 +00:00 |
|
Vítor Santos Costa
|
3b44ed0660
|
fix warning
|
2012-11-02 22:35:51 +00:00 |
|
Vitor Santos Costa
|
f7493e0de6
|
fix comparsion with wide/unwide characters
|
2012-10-29 09:43:05 +00:00 |
|
Vitor Santos Costa
|
3e696eb831
|
fix bad index removal
|
2012-10-23 18:22:16 +01:00 |
|
Vitor Santos Costa
|
8126381e8d
|
range and fix locals.
|
2012-10-23 14:55:44 +01:00 |
|
Vitor Santos Costa
|
139b06115e
|
range builtins
|
2012-10-23 14:55:17 +01:00 |
|
Vitor Santos Costa
|
e92b8791c5
|
Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3
|
2012-10-19 18:12:06 +01:00 |
|
Vitor Santos Costa
|
88f2dc7730
|
change the way predicates are hidden
|
2012-10-19 18:10:48 +01:00 |
|
Vítor Santos Costa
|
27737c31bd
|
fix debug messages
|
2012-10-19 09:28:13 +01:00 |
|
Vitor Santos Costa
|
e596cce6f5
|
fix compilation under threads.
|
2012-10-17 17:24:14 +01:00 |
|
Vitor Santos Costa
|
3917a19ab9
|
bad ref counting with trust_log/threads
|
2012-10-17 17:23:47 +01:00 |
|
Vitor Santos Costa
|
474c088baf
|
ifix thread compilation.
|
2012-10-17 17:22:43 +01:00 |
|
Vitor Santos Costa
|
f753bce4fe
|
fix syntax error: tokens might be overwritten by Yap_unify(
|
2012-10-16 17:24:39 +01:00 |
|
Vitor Santos Costa
|
503bdcc8b3
|
check for overflow in big strings
|
2012-10-16 08:44:49 +01:00 |
|
Vitor Santos Costa
|
610ca06883
|
check for overflow in big strings
|
2012-10-16 08:44:26 +01:00 |
|
Vitor Santos Costa
|
ba866a36e2
|
check for memory overflow; avoid possible misalignments
|
2012-10-16 08:43:29 +01:00 |
|
Vitor Santos Costa
|
a4acb6a806
|
try to make sure we always have slots
|
2012-10-08 18:25:42 +01:00 |
|
Vitor Santos Costa
|
26b5173a33
|
use standard way to dump arguments
|
2012-10-08 18:25:17 +01:00 |
|
Vítor Santos Costa
|
ce7adaa632
|
text ARG2 first (obs from Ulrich Neumerkel)
|
2012-10-03 09:22:27 +01:00 |
|
Vítor Santos Costa
|
e60b485134
|
fix cyclic_term mess up from yesterday.
|
2012-10-03 09:11:37 +01:00 |
|
Vítor Santos Costa
|
4de83f5f52
|
include cyclic_term and friends.
|
2012-10-02 15:14:41 +01:00 |
|
Vítor Santos Costa
|
78a08e1b87
|
fix length/2 error handling.
|
2012-09-27 22:32:50 +01:00 |
|
Vítor Santos Costa
|
169339d5be
|
fix atom_length/2 ISO.
|
2012-09-27 22:32:12 +01:00 |
|
Vítor Santos Costa
|
5249d02107
|
debug routine.
|
2012-09-26 23:08:01 +01:00 |
|
Vitor Santos Costa
|
710be1a5e8
|
add slots after new stack extension.
|
2012-09-26 22:08:17 +01:00 |
|
Vitor Santos Costa
|
20d31b8207
|
"-nosignals" option (used by JPL)
|
2012-09-26 22:06:59 +01:00 |
|
Vitor Santos Costa
|
01f8731f97
|
add -nosignals option.
|
2012-09-26 14:50:06 +01:00 |
|
Vítor Santos Costa
|
d5bf100b71
|
make full init even before entering Prolog top-level
|
2012-09-21 11:49:59 +01:00 |
|
VITOR SANTOS COSTA
|
89030ce97d
|
Fix WriteBuffer and add WriteDynamicBuffer
|
2012-09-18 23:06:26 +01:00 |
|
Vítor Santos Costa
|
8d779f68ea
|
fix writebuffer interface
|
2012-09-08 00:12:38 +02:00 |
|
Vítor Santos Costa
|
9019a1a7b7
|
RTLD_NOLOAD may not always be loaded
dlopen should always have a matching dlclose.
|
2012-09-07 07:40:18 +02:00 |
|
Vitor Santos Costa
|
dcc5b57016
|
remove broken meta-call optimisation.
|
2012-09-07 00:21:57 -05:00 |
|
Vitor Santos Costa
|
198fc03bae
|
xirestore: predicates need timestamps inorder to find out which clauses are alive.
|
2012-08-23 21:01:32 +01:00 |
|
Vitor Santos Costa
|
1be424fe57
|
imprive speed of ql
|
2012-08-23 09:04:58 -05:00 |
|