Vitor Santos Costa
|
0179998d60
|
change Heap.h to YapHeap.h
rename $live to prolog/0 (for SWI compatibility).
|
2009-10-23 14:22:17 +01:00 |
|
Vítor Manuel de Morais Santos Costa
|
91b47a438b
|
indenting stuff.
|
2009-10-19 16:39:06 +01:00 |
|
Costa Vitor
|
c0fd49df34
|
fix bad functor in heap routines.
|
2009-09-12 16:44:28 -05:00 |
|
Costa Vitor
|
09f5a9ccb1
|
make YAP ask less space in deeply nested calls of findall.
|
2009-06-22 15:37:17 -05:00 |
|
Costa Vitor
|
15519fa3cd
|
tightenn conditions on JumpExec
|
2009-06-05 18:45:41 -05:00 |
|
Costa Vitor
|
5da51d615d
|
fix crashes in 64-bit mode with unknown predicates.
|
2009-06-03 15:27:53 -05:00 |
|
Costa Vitor
|
ec595374a6
|
fix allocation of temporary stack so that unification can work even for
very deep terms.
fix occur_unification_bug X = a(f(Y)).
|
2009-05-22 18:35:24 -05:00 |
|
Vitor Santos Costa
|
44f7e67394
|
make sure we reset global variables when exiting a thread
|
2009-05-17 10:38:39 -07:00 |
|
Vitor Santos Costa
|
55e37020a4
|
return copy when copying term
|
2009-05-17 09:41:59 -07:00 |
|
Vítor Santos Costa
|
8c3406adac
|
don't forget to globalise variables before making them global.
|
2009-04-29 14:21:52 +01:00 |
|
Vitor Santos Costa
|
e06ee4d4fa
|
avoid over enthusiastic stack expansion.
|
2009-04-26 10:50:10 -05:00 |
|
Vitor Santos Costa
|
d98c3f0817
|
add support for sized queues.
|
2009-02-27 22:22:49 +00:00 |
|
Vitor Santos Costa
|
48eaa975f2
|
if we have many embedded calls to nb_queue, make sure we don't allocate a lot of memory for each one.
|
2009-02-27 00:31:29 +00:00 |
|
Vitor Santos Costa
|
51875c627a
|
avoid excessive overflows and too large overflows in delay stack.
|
2009-02-26 23:06:27 +00:00 |
|
Vítor Santos Costa
|
331d1830dd
|
fix throw (it should undo bindings).
|
2008-12-29 00:11:05 +00:00 |
|
Vítor Santos Costa
|
a8ac9bfb43
|
generate known atoms and functors automatically
|
2008-12-23 01:53:52 +00:00 |
|
Vítor Santos Costa
|
2e8d898e86
|
add new eval compiler
fix garbage collector for new big allocation scheme.
|
2008-12-05 16:08:44 +00:00 |
|
Vítor Santos Costa
|
13dd600f88
|
add type to BIG NUMs, so that we can easily know what it is all about.
|
2008-11-28 15:54:46 +00:00 |
|
Vítor Santos Costa
|
58d4442883
|
fixes for gcc-4.3 (same as stable)
|
2008-11-26 09:56:18 +00:00 |
|
Vitor Santos Costa
|
9296762791
|
fix bug in reserving space for queues.
|
2008-11-14 14:52:00 +00:00 |
|
Vitor Santos Costa
|
181e122200
|
try to avoid doing stack expansion so often on arena overflow
|
2008-10-29 18:21:41 +00:00 |
|
Vítor Santos de Costa
|
7207c18e65
|
fix longmp in trow not to recover trail. This way we do not need to do
copy_term/2 and we avoid losing the attributed variable stack.
|
2008-10-18 11:03:25 +01:00 |
|
vsc
|
e90f744e5e
|
fix stack growth in globals
fix compilation messages
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2277 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2008-06-16 21:22:15 +00:00 |
|
vsc
|
637f381d94
|
valgrind it!
enable atom garbage collection.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2055 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2008-01-23 17:57:56 +00:00 |
|
vsc
|
9e9c260f7e
|
new version of viterbi implementation
fix all:atvars reporting bad info
fix bad S info in x86_64
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1968 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2007-10-28 00:54:09 +00:00 |
|
vsc
|
268ad4ab73
|
nb_getval of unbound stuff can succeed, just ask CHR.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1964 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2007-10-18 09:13:50 +00:00 |
|
vsc
|
c625347697
|
fix global variables
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1962 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2007-10-18 08:24:16 +00:00 |
|
vsc
|
c7344ca385
|
make gc work better with globals and even lots of globals
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1940 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2007-09-28 13:10:46 +00:00 |
|
vsc
|
31ff28d3ee
|
upgrade JPL
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1936 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2007-09-27 15:25:34 +00:00 |
|
vsc
|
ec2a3ab3b5
|
minor bug fixes
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1934 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2007-09-24 09:02:33 +00:00 |
|
vsc
|
0dc508eda0
|
nb_ extra stuff plus an indexing overflow fix.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1933 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2007-09-22 08:38:05 +00:00 |
|
vsc
|
0860b141de
|
nb_linkvar and nb_set_shared_var
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1932 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2007-09-21 14:18:12 +00:00 |
|
vsc
|
b4a6005fc4
|
improvements for nb_
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1928 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2007-09-17 22:17:49 +00:00 |
|
vsc
|
b715dc4a60
|
get rid of stupid comment.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1919 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2007-08-27 22:56:30 +00:00 |
|
vsc
|
66d14116dd
|
improve CLP(BN)/BNT interface
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1918 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2007-08-06 14:55:43 +00:00 |
|
vsc
|
621e47f8a4
|
add nb_current and fix nb_delete.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1801 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2007-02-21 16:50:51 +00:00 |
|
vsc
|
47765f7739
|
WIN32 support
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1790 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2007-01-28 14:26:37 +00:00 |
|
vsc
|
8d3a6c5b20
|
make java compilation see libraries
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1784 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2007-01-24 17:28:28 +00:00 |
|
vsc
|
48fdba3f1e
|
fix matrix mess
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1778 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2007-01-24 10:01:40 +00:00 |
|
vsc
|
c79a7a5bdb
|
allow coroutining plus tabling, this means fixing some trouble with the
gc and a bug in global variable handling.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1745 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2006-12-29 01:57:50 +00:00 |
|
vsc
|
7316eb490c
|
extra fixes for overflows with global variables, especially showing up
with malloc (thanks to Paulo Moura!)
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1743 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2006-12-27 18:26:19 +00:00 |
|
vsc
|
78b52b925c
|
diverse fixes
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1738 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2006-12-27 01:32:38 +00:00 |
|
vsc
|
90c1641841
|
several debugger and CLP(BN) improvements.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1732 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2006-12-13 16:10:26 +00:00 |
|
vsc
|
e112ce1a8a
|
fix bug in growstack
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1718 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2006-11-14 11:42:26 +00:00 |
|
vsc
|
13080439a6
|
small fixes on threaded implementation.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1700 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2006-10-10 14:08:17 +00:00 |
|
vsc
|
7b29ef1552
|
avoid doing full stack shifting when on top of stack.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1699 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2006-09-29 18:59:00 +00:00 |
|
vsc
|
4ff41f7a62
|
improve indexing on floats
fix sending large lists to DB
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1692 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2006-09-20 20:03:51 +00:00 |
|
vsc
|
f0b132b083
|
more fixes for global data-structures.
statistics on atom space.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1690 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2006-09-01 20:14:42 +00:00 |
|
vsc
|
cd5bc14cfc
|
win32 fixes
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1689 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2006-08-30 01:06:30 +00:00 |
|
vsc
|
31fb1d0345
|
add documentation to recent changes.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1688 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2006-08-25 23:22:12 +00:00 |
|