Vitor Santos Costa
|
3789f69cf1
|
minor patches
|
2017-10-27 23:06:23 +01:00 |
|
Vítor Santos Costa
|
ba978d8275
|
just in time native code: now compiles by doing cmake; make.
no workie in this version, though :)
|
2015-02-06 18:11:52 +00:00 |
|
Vítor Santos Costa
|
bece9d05d8
|
JIT
|
2015-01-20 03:00:42 +00:00 |
|
Vitor Santos Costa
|
a4081673e5
|
fix indexing on dynamics (bug introduced when fixing MT code).
|
2014-10-20 23:47:33 +01:00 |
|
Vítor Santos Costa
|
a76b6d23dc
|
Fix: eclipse >u. into >y_u.
|
2014-05-30 01:06:09 +01:00 |
|
Vítor Santos Costa
|
6bde2d2cd7
|
avoid unions called u: they confuse eclipse.
|
2014-02-18 09:44:01 +00:00 |
|
Vítor Santos Costa
|
d7397b43af
|
new text conversion and string code (big changes, take care please)
|
2013-12-02 14:49:41 +00:00 |
|
Vítor Santos Costa
|
917d5ad75b
|
line numbers for clauses and clause properties
|
2013-11-05 17:59:19 +00:00 |
|
Vitor Santos Costa
|
38a804db1e
|
fix indexing of long instructions
|
2013-07-22 10:43:38 -05: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 |
|
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
|
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
|
b92b026c90
|
more patches to support Anderson's JIT.
|
2009-04-08 00:32:36 +01: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 |
|