Vítor Santos Costa
|
917d5ad75b
|
line numbers for clauses and clause properties
|
2013-11-05 17:59:19 +00:00 |
|
Vítor Santos Costa
|
5561b80796
|
A not a for Atom (unused anyway)
|
2013-11-04 01:10:15 +00:00 |
|
Vítor Santos Costa
|
6f9b8bfca8
|
fix bad instruction format
|
2013-11-01 08:26:06 +00:00 |
|
Vitor Santos Costa
|
38a804db1e
|
fix indexing of long instructions
|
2013-07-22 10:43:38 -05:00 |
|
Vítor Santos Costa
|
f063a2bd52
|
exo first step.
|
2013-01-07 09:47:14 +00:00 |
|
Vitor Santos Costa
|
f0b44b9b77
|
fix bad indexing (obs from Jos)
|
2012-12-07 23:43:00 +00:00 |
|
Ricardo Rocha
|
c594d321ef
|
Miguel's support for multi-threaded tabling
|
2011-12-22 16:50:20 +00:00 |
|
Ubuntu32
|
29dc250a66
|
fix big int indexing
|
2011-11-01 17:25:59 -07:00 |
|
Vitor Santos Costa
|
a56402303e
|
first step for quick loader, and fix an instruction format.
|
2011-07-30 00:07:35 +01:00 |
|
Vítor Santos Costa
|
e74a25d366
|
handle slowdown when retracting clauses.
|
2011-06-24 21:08:22 +01: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
|
cfe0dda995
|
more bigint and dbterm fixes.
|
2010-12-16 22:21:46 +00:00 |
|
Vítor Santos Costa
|
5a2d908489
|
fix restore of instructions that manipulate bigints or db terms.
|
2010-12-16 20:39:53 +00: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 |
|
Vitor Santos Costa
|
fd9f4efe0b
|
fix indexing of bignums (obs from Jos de Roo).
|
2010-05-14 12:42:30 +01:00 |
|
Vitor Santos Costa
|
f5bba7b8f7
|
fix indexing of dbrefs (obs from Nicola di Mauro).
|
2010-02-12 15:51:31 +00:00 |
|
Vitor Santos Costa
|
e41c7a05c1
|
fix restoring of LU try chains.
|
2010-01-12 10:08:38 +00:00 |
|
Vitor Santos Costa
|
a628079e00
|
make sure we walk every clause when doing restore mega_clause.
|
2009-11-02 12:46:39 +00:00 |
|
Costa Vitor
|
f877e78785
|
make YAP compile with --enable-or-parallelism
|
2009-08-19 21:53:49 -05:00 |
|
Vitor Santos Costa
|
6acf7eeb0a
|
fix bad ordering in tests
|
2009-04-23 10:36:11 -05:00 |
|
Vitor Santos Costa
|
b92b026c90
|
more patches to support Anderson's JIT.
|
2009-04-08 00:32:36 +01:00 |
|
Vitor Santos Costa
|
15b86cded4
|
new merged instructions and small changes to the emulator.
|
2009-03-03 10:04:13 +00:00 |
|
Vitor Santos Costa
|
d7c2c74acc
|
fix counting of C-pred: it should not be in caller.
|
2009-02-26 00:00:23 +00:00 |
|
Vitor Santos Costa
|
95fc66be25
|
more fixes to profiling code.
|
2009-02-25 22:15:18 +00:00 |
|
Vítor Santos Costa
|
c750dd94f1
|
indexing code was not looking at tabled code.
|
2009-02-09 23:34:12 +00:00 |
|
Vítor Santos Costa
|
11eed457c1
|
use automatucally generate code to find indexing information.
|
2008-12-29 00:14:47 +00:00 |
|
Vítor Santos Costa
|
95a15bb689
|
fix small mistakes in output_ewalks.
|
2008-12-26 09:26:17 +00:00 |
|
Vitor Santos Costa
|
b1cf60cafb
|
moe changes to support atomic generation of atoms
support automatic generation of code walker (to find P's predicate and clause)
|
2008-12-24 09:04:44 +00:00 |
|
Vítor Santos Costa
|
fdf762e326
|
push changes to make tabling work: don't ignore tabling and yapor fields
in optype.
|
2008-09-05 05:22:19 +01:00 |
|
Vitor Santos Costa
|
d636450512
|
more fixes to make rclause.h automatic:
define new type n for Integers, as they were mistaken for Term.
define early return cases and ifdef exceptions.
|
2008-08-29 17:27:11 +01:00 |
|
Vítor Santos Costa
|
6063c019de
|
generate rclause.h automaticallywq
|
2008-08-29 05:25:36 +01:00 |
|
Vitor Santos Costa
|
b6409fc980
|
fix weird instruction with tabling and new optypes;
fix a stray ld.
|
2008-08-22 03:54:10 +01:00 |
|
Vítor Santos Costa
|
d96461f04c
|
add missing files
|
2008-08-21 13:39:56 +01:00 |
|