Vitor Santos Costa
b331c4bed0
ClSize should be the block size in bytes, and not the amount of code. Check that for megaclauses.
2011-08-31 21:13:29 -07:00
Vitor Santos Costa
1b34fde09e
consider case where we are not indexed.
2011-08-31 13:57:10 -07:00
Vitor Santos Costa
de60807724
cleanup patch
2011-07-14 09:40:15 +01:00
Ricardo Rocha
22d8e33a5f
fix cut support for or-parallelism
2011-07-13 17:36:26 +01:00
Vitor Santos Costa
e160d86304
use assembler to tell whether a clause has cut, instead of stupidly searching the clause.
2011-07-05 07:28:28 +01:00
Vítor Santos Costa
e74a25d366
handle slowdown when retracting clauses.
2011-06-24 21:08:22 +01:00
Joao
971ad94311
moved several global variables to misc/GLOBALS
2011-05-25 16:40:36 +01:00
Joao
8170f6d3cb
Some global variables(Yap_thread_gl) in C/init.c are now declared in misc/LOCALS
2011-05-23 16:19:47 +01:00
Vítor Santos Costa
a9899c5443
ifix bad registers corrupting garbage collection.
2011-05-09 19:13:10 +01:00
Joao
d9cee607e9
Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3
...
Conflicts:
C/cdmgr.c
2011-05-04 11:10:20 +01:00
Joao
dc3c54c164
change LOCALS macros.
2011-05-04 10:11:41 +01:00
Vítor Santos Costa
6a3e422c11
timestamps are stored as terms! (fix also uninportant bug).
2011-04-30 01:08:48 +01:00
Vítor Santos Costa
8fb8aec9bf
MULTIPLE_STACKS - or-parallelism/threads/tabling
...
YAPOR_THREADS - threads with or-parallelism
make tabling require reference counting for dynamic predicates.
2011-04-14 18:51:11 +01:00
Vitor Santos Costa
26dc567a0f
fix bad overflow handling.
2011-04-08 11:58:22 +01:00
Vítor Santos Costa
2a76f86785
don't lock ThreadLocal predicates.
2011-03-15 09:08:09 +00:00
Vítor Santos Costa
90d93fdbdd
cache abstra machine register in threaded mode.
2011-03-07 16:02:55 +00:00
Vítor Santos Costa
d12762ffa2
fix missing cases in cut handling
2011-03-02 09:16:40 +00:00
Vítor Santos Costa
e93df788e5
fix indexing bug (report from Jos DeRoo).
2011-02-15 21:19:27 +00:00
ubu32
67d23051c2
fix pruning to handle backtrackable C-predicates in a much nicer way.
2011-02-14 11:29:20 -08:00
ubu32
b3fb1d1e73
ifix cut stuff
2011-02-14 06:58:42 -08:00
Vitor Santos Costa
76b3aec555
remove debugging stubs.
2011-01-20 12:01:50 -06:00
Vitor Santos Costa
4e90d68748
fix bad casts
2011-01-20 12:01:18 -06:00
Vitor Santos Costa
6e2947e8c4
avoid _longjmp
2010-12-16 01:22:10 +00:00
Vitor Santos Costa
ab8911708b
fix YAP to use _longjmp when available. longjmp is just too expensive on OSX machines.
2010-10-26 22:03:36 +01:00
Vitor Santos Costa
80c38081da
no need for special procceed instruction.
2010-10-12 22:02:51 +01:00
Vitor Santos Costa
e5232bc8fc
force system to check for overflows at end of procceed for clauses with body.
2010-10-11 14:45:15 +01:00
Vitor Santos Costa
8f49db480d
fix stupid code.
2010-08-30 21:52:11 -05:00
Vítor Santos Costa
6ee0ce8e48
support missing instructions.
2010-08-04 11:36:10 +01:00
Vitor Santos Costa
fd9f4efe0b
fix indexing of bignums (obs from Jos de Roo).
2010-05-14 12:42:30 +01:00
Vitor Santos Costa
e302eb3463
fix bad assumption in indexing code.
2010-04-27 22:09:44 +01:00
Vítor Santos Costa II
052c20a29b
more memory allocation fixes.
2010-04-15 22:49:25 +01:00
Vítor Santos Costa II
c4b12d5cbe
- fix memory leaks
...
- avoid unnecessary mallocs by having a first alloc to do th ework.
2010-04-15 22:23:54 +01:00
Vitor Santos Costa
28e006b484
Merge branch 'master' of yap.dcc.fc.up.pt:yap-6
2010-04-15 11:38:55 +01:00
Vitor Santos Costa
b737ce447f
improve allocation through malloc: avoid allocating labels in the stack.
2010-04-15 11:37:39 +01:00
Ricardo Rocha
e122f2ca8d
Global trie support: atomic terms (vars, integers and atoms) are now stored
...
in the local tries (and not in the global trie). This required major changes
to the trie instructions in order to unify the use of the auxiliary stack
organization for the terms in the local tries and in the global trie.
2010-04-15 01:09:59 +01:00
Vítor Santos Costa II
894666efb8
unnecessary access could result in core dump (patch from Keri Harris).
2010-04-10 21:52:53 +01:00
Vítor Santos Costa II
b6f704fc7a
fix possible memory leak.
2010-04-09 17:02:24 +01:00
Vítor Santos Costa II
222aac067b
fix bad limit test (caught by valgrind).
2010-04-08 00:52:59 +01:00
Vitor Santos Costa
9110c4db71
if we use malloc, get memory out of malloc instead of using stacks. This is in order to avoid growing stacks that never contract again.
2010-03-31 15:51:18 +01:00
Vítor Santos Costa II
ff97f53a24
expand_index was broken for long_ints
2010-03-12 18:03:15 +00:00
Vítor Santos Costa
1b66eba611
fix handling of float/1 by indexing code.
2010-02-19 14:16:41 +00:00
Vítor Manuel de Morais Santos Costa
4d341f2aab
fix bad call to gc (obs from Jose Santos).
2010-01-29 15:21:00 +00:00
Vitor Santos Costa
98769ce9af
fix case where debugger was finding the wrong clause.
2010-01-25 10:21:40 +00:00
Vítor Manuel de Morais Santos Costa
a498dc1265
icompile table+orp
2010-01-14 17:38:39 +00:00
Vítor Manuel de Morais Santos Costa
a316090f8c
fix nth_instance: fix bugs and actually add two versions (obs from Theofrastos Mantadelis)
2009-11-18 13:06:37 +00:00
Costa Vitor
f877e78785
make YAP compile with --enable-or-parallelism
2009-08-19 21:53:49 -05:00
Ricardo Rocha
5e4d7078ab
support for trie compact lists (version 2): this new version uses
...
different marks to distinguish the lists ending with the empty list
from the lists ending with a non-empty list term.
2009-07-05 05:14:08 +01:00
Costa Vitor
50f7a80546
transfer call and profiler to spy.
2009-06-22 11:12:56 -05:00
Vitor Santos Costa
e1421f207e
use DebugPlWrite for debugging writes
2009-05-22 13:23:51 -05:00
Vitor Santos Costa
2016e118b3
Ulrich Neumerkel's patch so that variables are declared in front of a block.
2009-05-02 10:54:09 -05:00
