Vítor Santos Costa
|
917d5ad75b
|
line numbers for clauses and clause properties
|
2013-11-05 17:59:19 +00:00 |
|
Vítor Santos Costa
|
6f9b8bfca8
|
fix bad instruction format
|
2013-11-01 08:26:06 +00:00 |
|
Vitor Santos Costa
|
f0b44b9b77
|
fix bad indexing (obs from Jos)
|
2012-12-07 23:43:00 +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
|
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 |
|
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 |
|
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
|
df2b11a6ec
|
define Optype for xxc, for instructions whose constant argument is a term, like functor(a,X,T).
|
2009-12-06 00:37:48 +00:00 |
|
Costa Vitor
|
50f7a80546
|
transfer call and profiler to spy.
|
2009-06-22 11:12:56 -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
|
828964c3c1
|
remove optimised arithmetic instructions. They made the emulator even bigger than
usual, and they were not performing.
|
2009-03-09 11:52:01 +00:00 |
|
Vitor Santos Costa
|
afd979a246
|
improve substantially handling of soft disjunctions.
|
2009-03-05 16:12:21 +00:00 |
|
Vitor Santos Costa
|
15b86cded4
|
new merged instructions and small changes to the emulator.
|
2009-03-03 10:04:13 +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 |
|