Commit Graph

20 Commits

Author SHA1 Message Date
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