Vitor Santos Costa
|
d163cadda1
|
pass regs when constructing long ints and floats.
fix small gcc complaints.
|
2013-03-26 15:01:52 -05: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
|
9353d28c2e
|
fix meta-call
optimise deterministic (a,b,c).
|
2012-08-22 09:41:09 -05:00 |
|
Costa Vitor
|
bf4d37eb0d
|
simplify meta-call handling.
|
2012-08-13 23:35:37 -05:00 |
|
Costa Vitor
|
82d6640fea
|
fix bad counting.
|
2012-07-16 14:09:56 -05:00 |
|
Vítor Santos Costa
|
c08178a57c
|
fix thread compilation.
|
2012-04-11 22:08:02 +01:00 |
|
Vítor Santos Costa
|
36acb5f897
|
fix profiling support.
|
2012-03-09 11:46:34 +00:00 |
|
Vitor Santos Costa
|
dfa10d1c23
|
fix size calculation.
|
2011-08-31 13:55:46 -07: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
|
a56402303e
|
first step for quick loader, and fix an instruction format.
|
2011-07-30 00:07:35 +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
|
19f7dd8d58
|
fix typos.
|
2011-07-22 02:31:13 -07:00 |
|
Vitor Santos Costa
|
6fdf6b49f6
|
fix computation of cut register for either (yapor).
|
2011-07-21 14:39:57 +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 |
|
Vitor Santos Costa
|
8d4f51e098
|
Merge branch 'master' of ssh://yap.git.sf.net/gitroot/yap/yap-6.3
|
2011-06-04 09:33:50 +01:00 |
|
Vitor Santos Costa
|
8bd406bfc9
|
fix processing of undefined arithmetic argument (obs from J Santos)
|
2011-06-04 09:33:26 +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 |
|
Joao
|
dc3c54c164
|
change LOCALS macros.
|
2011-05-04 10:11:41 +01:00 |
|
Joao
|
274de7652f
|
fix error messages in configure file.
|
2011-04-18 14:59:17 +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 |
|
Vítor Santos Costa
|
90d93fdbdd
|
cache abstra machine register in threaded mode.
|
2011-03-07 16:02:55 +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
|
1717b113b3
|
cut should know about environment size.
|
2011-02-14 06:57:16 -08:00 |
|
Vitor Santos Costa
|
d64af810da
|
force wakeups before !
|
2010-12-29 09:29:42 -06:00 |
|
Vítor Santos Costa
|
cfe0dda995
|
more bigint and dbterm fixes.
|
2010-12-16 22:21:46 +00:00 |
|
Vitor Santos Costa
|
7ad5bc0214
|
include amasm.c
|
2010-12-16 01:30:05 +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 |
|
vsc
|
fa42de1025
|
cannot optimise try/retry in the presence of or-parallelism
|
2010-10-15 01:11:49 +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
|
6e17b2053f
|
fix assembly of table_try_single (report from Paolo Frasconi).
|
2010-08-19 09:32:35 +01:00 |
|
Vítor Santos Costa
|
ffc094e25f
|
make sure we have enough room before we enter a clause.
|
2010-08-02 18:20:03 +01:00 |
|
Vitor Santos Costa
|
3d6e223dae
|
support for space reservation (goal: call gc before trying to insert very large terms).
|
2010-08-02 13:04:30 +01:00 |
|
Vítor Santos Costa
|
be2a3a635e
|
L constants are evil in 64 bits
|
2010-05-11 12:25:49 +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
|
b737ce447f
|
improve allocation through malloc: avoid allocating labels in the stack.
|
2010-04-15 11:37:39 +01:00 |
|
Vitor Santos Costa
|
9a728ed796
|
fix int -> Int
|
2010-03-30 10:58:46 +01:00 |
|
Vitor Santos Costa
|
a98cc1ac65
|
fix bad label for gc
|
2010-03-08 09:13:52 +00:00 |
|
Vítor Manuel de Morais Santos Costa
|
a498dc1265
|
icompile table+orp
|
2010-01-14 17:38:39 +00:00 |
|
Costa Vitor
|
4431682276
|
get rid of unused variable.
|
2009-08-31 23:58:05 -05:00 |
|
Vitor Santos Costa
|
7155aa943f
|
make sure that variables in tabled predicates are safe for backtracking: new
variables should be bound carefully.
|
2009-07-22 23:28:04 -05:00 |
|
Costa Vitor
|
d9a48c4014
|
disable inlining in tabled predicates (maybe a bit too harsh).
|
2009-07-22 17:00:49 -05:00 |
|
Costa Vitor
|
d47560342c
|
more fixes to call_counter: try to keep on counting system builtins.
|
2009-06-22 12:40:55 -05:00 |
|
Costa Vitor
|
50f7a80546
|
transfer call and profiler to spy.
|
2009-06-22 11:12:56 -05:00 |
|
Costa Vitor
|
9b7d2b1cd4
|
if the compiler has ommited the instructions, it means we should the
argument set up there by the compiler.
|
2009-06-08 20:08:21 -05:00 |
|