2fdf8e9bda
fix bad ! register when calling continuation of meta-predicate (obs from A Kimmig).
2009-11-03 23:17:06 +00:00
418fa1a396
64 bit machines may be using S while calling ExpandIndex.
2009-08-19 20:22:04 -05:00
fc31e7066e
improve the support for deterministic tabling (still experimental,
...
problems mainly with the garbage collector)
2009-08-07 17:29:53 +01:00
66683aeef9
slots were not inited in tabling code, due to bad ifdef (obs from Chris Mungall).
2009-07-17 18:39:50 -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
026a666055
trail check on C entry: make sure we don't have unhandled trail overflows.
2009-06-26 14:08:15 -05:00
772d091a70
fix bad call to retry_counter
2009-06-26 13:16:42 -05:00
246d32551a
do not set PREG until being sure we have to jump
2009-06-23 06:50:53 -05: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
53fa330d90
always use YREG, not YENV, in case we have enough registers.
2009-06-16 21:20:35 -05:00
95f28228f6
- separate user_try and user_retry
...
- make sure we have slots inited in retrying user C code.
2009-06-01 15:30:22 -05:00
e84ecf2eaf
fix #37 : give resource error if trying to create a functor with bignum arity
...
also, allow meta-call to create large functors > Int.
2009-05-29 22:34:50 -05:00
c00facdd17
exception at fail could loop with bad env. #59
2009-05-22 19:43:17 -05:00
8fcc534a19
fix bad error propagation in term comparison #53
2009-05-22 18:44:05 -05:00
8e7695a42c
make Yap_Eval only on entry.
2009-05-16 22:41:44 -07:00
61973a2be6
be careful: error handling may have changed PC in call_c_with_fail!
2009-05-09 23:40:17 -04:00
f53c741d96
improve low-level tracer.
2009-05-09 23:30:20 -04:00
35c1cb6338
put future environment when waking up goals before failure.
2009-05-04 18:11:43 -05:00
2016e118b3
Ulrich Neumerkel's patch so that variables are declared in front of a block.
2009-05-02 10:54:09 -05:00
8275f2232c
fix handling of multiassignment variables with tabling;
...
fix bad overflow handling when copying terms from tries.
2009-05-01 11:53:59 -05:00
c92765d962
SREG and S could be different; also S might be in use if there is an
...
overflow and the index code is jumping to the middle.
2009-04-18 15:22:51 -05:00
7e98e5acdb
fix another internal deadlock.
2009-04-17 14:17:43 -05:00
9624026beb
locking fixes.
2009-04-16 11:19:26 -05:00
b2ad3bd000
first cut at Anderson's JIT code.
2009-04-07 23:55:16 +01:00
5c2e5c524b
recognise exceptions within comparisons.
2009-03-26 00:37:57 +00: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
a000af113b
OSX portability updates
...
start of support for commons prolog initiative
2009-02-16 12:25:03 +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
a8ac9bfb43
generate known atoms and functors automatically
2008-12-23 01:53:52 +00:00
a36be5bf20
massive changes to support new scheme for arithmetic:
...
- compilation and assembly support
2008-12-09 12:54:27 +00:00
e737599dc4
Change to simpler Eval mechanism
...
- avoid duplicate code
- implement different optimised code.
2008-12-04 23:33:32 +00:00
681d0f186d
fix bad type for p_number_y
2008-10-07 22:00:38 +01:00
e252ef0b2f
more debugger fixes!
...
- make sure donotrace and oncenotrace are known to the signal mechanism:
they should disable creeping
- avoid creep at deallocate: it is a very bad idea :(
2008-09-23 23:43:01 +01:00
fdf762e326
push changes to make tabling work: don't ignore tabling and yapor fields
...
in optype.
2008-09-05 05:22:19 +01:00
6046f9f913
more fixes to debugger: make l and s option do what they are supposed to
...
do.
fix k and t, they had been broken.
Ideas:
DebugOn is now in the system and can disable spypoints.
Have an extra flag to distinguish fast (t,z,k) and slow(l,s) jumping.
2008-09-02 03:48:02 +01:00
b2d9eb7aac
instructions xyc really has optype xyn.
2008-08-30 23:00:50 +01:00
2a84e259a2
Upgrade to new CHR (with Jan's changes).
...
Found out I need to add an extra field to allocate so that the
exception handling code knows where the clause is.
Protect creep_allowed from NULL pointers.
2008-08-30 16:24:44 +01:00
1226b58d8e
The debugger relied on the environment stack. To fix it:
...
- absmi.c now tells who called the debugger, besides who it was calling
- this is used to control whether we allow a goal to be debugged.
- I have creep to start creeping immediately, and signal_creep to tell
the next meta-call to creep what it executes!
- The debugger uses CalledFromTheDebugger to know if it is within the
debugger. If so, we do not need to creep on leaving.
2008-08-30 02:39:36 +01:00
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
17ba194c1e
Include new instruction execute_cpred to perform tail optimisation for
...
builtins. Required changes:
- be careful about creeping in deallocate: it may be followed by
something that is not a cut nor a proceed.
- include new instruction in absmi.c: it is a merge of execute and
call_cpred.
- change compiler to generate execute even for C builtins.
- be careful with dexecute: it may not be done if execute_op is a C
builtin.
- if we are in execute_cpred, the garbage collector cannot trust P:
instead it must look at CP to find out the size of the current
environment. The macro gc_P receives that information.
- We don't need to change CP if we do a meta-call from within
execute_cpred (and we in fact cannot). Check places where we do
meta-calls: exec, clause in cdmgr, and lu_recorded.
2008-08-28 04:43:00 +01:00
f499115573
redo lost updates
2008-08-21 13:38:25 +01:00
16d0f2e749
fix TopLevelGoal to handle correctly undefined predicates. Make sure that
...
undefined predicated will not force the boot process to loop.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2310 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-08-19 13:33:45 +00:00
7db64c5e1c
more locking fixes
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2306 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-08-13 01:16:26 +00:00
d170b34624
MaxOS fixes
...
Avoid a thread deadlock
improvements to SWI predicates.
make variables_in_term system builtin.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2304 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-08-12 01:27:23 +00:00
2581c3a3bf
more threadin fixes
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2300 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-08-07 20:51:23 +00:00
6d23a23a81
fix debugging info
...
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2299 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-08-06 23:05:49 +00:00
Vítor Manuel de Morais Santos Costa
Costa Vitor
Ricardo Rocha
Vitor Santos Costa
Vítor Santos Costa
Vítor Santos de Costa
vsc