51b99388e7
use same format for all call instructions; try to be more robust in doing g
2017-08-27 22:03:19 +01:00
d082af605d
less invasive error handling
2016-10-19 22:44:59 -05:00
e0d82cfb23
don't inline
2016-03-30 01:24:59 +01:00
4c368a59d3
error handling
2015-09-29 23:28:55 +01:00
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
bece9d05d8
JIT
2015-01-20 03:00:42 +00:00
a76b6d23dc
Fix: eclipse >u. into >y_u.
2014-05-30 01:06:09 +01:00
3cad9c37b1
removed unnecessary cut_c macros (always on)
2014-02-11 07:15:39 -08:00
ccccf71ae1
support for tabling of bignums and strings
2014-01-17 09:39:29 +00:00
d7397b43af
new text conversion and string code (big changes, take care please)
2013-12-02 14:49:41 +00:00
6f9b8bfca8
fix bad instruction format
2013-11-01 08:26:06 +00:00
90abff4f2f
Exo compilation, the range example.
2013-04-16 20:04:53 -05:00
504c2f3000
fix loop in restore
2013-01-22 16:01:37 +00:00
2a44a0205b
support backtracking with uninst args
2013-01-08 12:35:18 +00:00
f063a2bd52
exo first step.
2013-01-07 09:47:14 +00:00
f0b44b9b77
fix bad indexing (obs from Jos)
2012-12-07 23:43:00 +00:00
72f79b8c4f
fix compilation errors for multi-threaded tabling
2012-01-05 11:41:46 +00:00
c594d321ef
Miguel's support for multi-threaded tabling
2011-12-22 16:50:20 +00:00
a56402303e
first step for quick loader, and fix an instruction format.
2011-07-30 00:07:35 +01:00
e74a25d366
handle slowdown when retracting clauses.
2011-06-24 21:08:22 +01:00
90d93fdbdd
cache abstra machine register in threaded mode.
2011-03-07 16:02:55 +00:00
67d23051c2
fix pruning to handle backtrackable C-predicates in a much nicer way.
2011-02-14 11:29:20 -08:00
1717b113b3
cut should know about environment size.
2011-02-14 06:57:16 -08:00
cfe0dda995
more bigint and dbterm fixes.
2010-12-16 22:21:46 +00:00
5a2d908489
fix restore of instructions that manipulate bigints or db terms.
2010-12-16 20:39:53 +00:00
80c38081da
no need for special procceed instruction.
2010-10-12 22:02:51 +01:00
e5232bc8fc
force system to check for overflows at end of procceed for clauses with body.
2010-10-11 14:45:15 +01:00
ffc094e25f
make sure we have enough room before we enter a clause.
2010-08-02 18:20:03 +01:00
3d6e223dae
support for space reservation (goal: call gc before trying to insert very large terms).
2010-08-02 13:04:30 +01:00
e122f2ca8d
Global trie support: atomic terms (vars, integers and atoms) are now stored
...
in the local tries (and not in the global trie). This required major changes
to the trie instructions in order to unify the use of the auxiliary stack
organization for the terms in the local tries and in the global trie.
2010-04-15 01:09:59 +01:00
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
f877e78785
make YAP compile with --enable-or-parallelism
2009-08-19 21:53:49 -05:00
5e4d7078ab
support for trie compact lists (version 2): this new version uses
...
different marks to distinguish the lists ending with the empty list
from the lists ending with a non-empty list term.
2009-07-05 05:14:08 +01:00
c47da032a8
Merge branch 'master' of gitosis@yap.dcc.fc.up.pt:yap-6
2009-06-24 20:06:00 +01:00
eeb62b63b4
support for trie compact lists
2009-06-24 20:04:16 +01:00
d47560342c
more fixes to call_counter: try to keep on counting system builtins.
2009-06-22 12:40:55 -05:00
50f7a80546
transfer call and profiler to spy.
2009-06-22 11:12:56 -05:00
b2ad3bd000
first cut at Anderson's JIT code.
2009-04-07 23:55:16 +01:00
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
afd979a246
improve substantially handling of soft disjunctions.
2009-03-05 16:12:21 +00:00
15b86cded4
new merged instructions and small changes to the emulator.
2009-03-03 10:04:13 +00:00
d7c2c74acc
fix counting of C-pred: it should not be in caller.
2009-02-26 00:00:23 +00:00
95fc66be25
more fixes to profiling code.
2009-02-25 22:15:18 +00:00
8a6e0acedc
compiler support for udi including user_index instruction
2009-02-12 21:35:31 +00:00
8a3978e3e1
rename BinaryTestPredFlag to BinaryPredFlag
...
get rid of small annoying arithmetic bugs
2009-02-09 21:56:40 +00:00
11eed457c1
use automatucally generate code to find indexing information.
2008-12-29 00:14:47 +00:00
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
Vitor Santos Costa
David Vaz
Ricardo Rocha
Vítor Santos Costa
ubu32
Ricardo Rocha
Costa Vitor