Vitor Santos Costa
5cd85f4eaa
export Yap_IsGroundTerm(t)
2010-01-25 12:28:49 +00:00
Vitor Santos Costa
ad3bf0b178
pthread_locking is required for CYGWIN and Mac.
2010-01-22 22:30:43 +00:00
Vítor Manuel de Morais Santos Costa
3a0179ca9d
fix XOPEN_SOURCE complaint.
2010-01-21 15:05:30 +00:00
Vitor Santos Costa
2edc06b6a2
fix unifiable for attributed variables (obs from Jiefei Ma).
2010-01-21 09:47:55 +00:00
Vítor Manuel de Morais Santos Costa
af32dc1a9c
make cut_c default.
2010-01-15 15:09:18 +00:00
Vítor Manuel de Morais Santos Costa
5ef31fbfd2
experiment in or-parallel threads.
2010-01-14 15:58:19 +00:00
Vitor Santos Costa
e41c7a05c1
fix restoring of LU try chains.
2010-01-12 10:08:38 +00:00
Vitor Santos Costa
e86a995dd2
fix bad test faster interface to eval (obs from Jose Santos)
2010-01-11 10:35:36 +00:00
Vitor Santos Costa
a7e6c5672e
try to speed up eval a bit.
2010-01-04 21:16:42 -02:00
Vitor Santos Costa
6d1eec34db
make atom locking compatible with SWI-Prolog.
2009-12-21 10:12:47 -02:00
Vitor Santos Costa
79a1d3e13c
fix thread stuff (obs from Jiefei Ma).
2009-12-17 23:55:09 -02: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
Vítor Manuel de Morais Santos Costa
1176f71f3a
support for making sure exceptions are reset when they should be reset (obs from Nuno Fonseca, #159 )
2009-12-03 17:48:25 +00:00
Vitor Santos Costa
d2da5bfe26
fix setup_call_cleanup and friends.
2009-12-03 02:13:22 +00:00
Vitor Santos Costa
06d30b9fc9
Jump and Throw need to store the term away, if they try to use arena
...
the term will hang in the stack (#152 ).
2009-12-02 21:59:41 +00:00
Vítor Manuel de Morais Santos Costa
506da0b1bf
make write always protect operators when they are not used as operators so as to follow standard ( #150 ).
2009-11-27 16:09:48 +00:00
Vítor Manuel de Morais Santos Costa
b16623d026
fix realloc and friends (obs from Nuno Fonseca).
2009-11-27 13:31:03 +00:00
Vítor Manuel de Morais Santos Costa
98f79484ae
change throw mechanism to fit better with cleanup mechanism:
...
- balls are now stored off line and recovered by Prolog code when everything
is safe.
- if a ball exists, throw uses the *existing* one (be careful not to have one
laying around).
- Jump routine cleans up every cp except ones for setup_call handling, backtracking simply calls setup handlers.
2009-11-27 11:21:24 +00:00
Vitor Santos Costa
2ab3308a56
fix restore of opentries.
2009-11-25 00:38:05 +00:00
U-Xato7\Vsc
25b5464fe8
handle correctly next element after operator property.
2009-11-23 16:02:05 +00:00
Vítor Manuel de Morais Santos Costa
b300db2e96
LOW_PROF uses FILE structure, and therefore requires stdio.h
2009-11-23 13:52:13 +00:00
Vitor Santos Costa
ffe1dfdfff
support for module based operators.
2009-11-20 00:33:14 +00:00
Vitor Santos Costa
73bba98946
add extra protection against useless shifts.
2009-11-20 00:31:09 +00:00
Vitor Santos Costa
26e4ce7e27
fix bug in restore operators.
2009-11-20 00:30:36 +00:00
Vitor Santos Costa
8c1ba9562a
fix bad test in tabling mode.
2009-11-19 08:33:10 +00:00
Vitor Santos Costa
9cbdf8f57e
tiny cleanups.
2009-11-18 23:36:07 +00:00
Vitor Santos Costa
7ddaaa1362
Term is Unsigned so you cannot add a negative to it and get away :(
2009-11-18 23:33:09 +00:00
Vitor Santos Costa
dcf7e282c8
bugs in restoring Heap: stuff repeated twice or at bad locations.
2009-11-18 23:32:31 +00:00
Vitor Santos Costa
6c887452e6
allow randomization of initial address, this enables testing restore routine.
2009-11-18 23:32:00 +00:00
Vítor Manuel de Morais Santos Costa
7155fbec22
fix bad ordering in HEAPFIELDS: OPERANDS must be well placed before we can
...
recover atom table and dependent preds.
2009-11-18 15:48:29 +00:00
Vitor Santos Costa
832f3d2e4a
fix missing header for Yap_rational_tree_loop
2009-11-17 02:07:06 +00:00
Vítor Manuel de Morais Santos Costa
146718c060
fix bad call to tabling data structures.
2009-11-03 15:06:48 +00:00
Vítor Manuel de Morais Santos Costa
7fddfbc189
fix bad tabling restore.
2009-11-02 16:43:24 +00:00
Vitor Santos Costa
15fc06764a
fix declaration and message_hook/3 (obs from Paulo Moura)
2009-11-02 12:53:51 +00:00
Vitor Santos Costa
a628079e00
make sure we walk every clause when doing restore mega_clause.
2009-11-02 12:46:39 +00:00
Vítor Manuel de Morais Santos Costa
6a8cee8b79
compilation fixes
2009-10-31 00:18:13 +00:00
Vitor Santos Costa
923094bd01
more updates to HEAPFIELDS.
2009-10-30 23:59:00 +00:00
Vitor Santos Costa
7116d1385b
move more fields to HEAPFIELDS
2009-10-28 15:53:23 +00:00
Vitor Santos Costa
838b14cb77
more data structures.
2009-10-28 15:20:46 +00:00
Vitor Santos Costa
d3f969e1b1
various_codes includes all the head pointers to the code space. Try to
...
centralise everything in a single file (HEAPFIELDS) and generate them
from a Prolog script (buildheap).
2009-10-28 13:11:35 +00:00
Vitor Santos Costa
d373f23b50
make some sense of the mess that was various_codes *
2009-10-27 10:48:37 +00:00
Vitor Santos Costa
0179998d60
change Heap.h to YapHeap.h
...
rename $live to prolog/0 (for SWI compatibility).
2009-10-23 14:22:17 +01:00
Vitor Santos Costa
253444d7ca
support parms.h
...
pass argv[0]
2009-10-23 09:09:16 +01:00
Vitor Santos Costa
da0186a0aa
fix unused stuff.
2009-10-21 08:35:09 +01:00
Vitor Santos Costa
0f99e336cc
YAPVERSION
2009-10-21 00:20:18 +01:00
Vitor Santos Costa
c6e16a608a
fix @ option in format/2
2009-10-21 00:07:31 +01:00
Vítor Manuel de Morais Santos Costa
54465b08f1
support ISO extension popcount/1
2009-10-20 10:03:10 +01:00
Vítor Manuel de Morais Santos Costa
36e0c6bcf7
support for msb
2009-10-20 09:50:51 +01:00
Vítor Manuel de Morais Santos Costa
d18cb214fa
implement epsilon (from ISO)
2009-10-20 09:21:59 +01:00
Vítor Manuel de Morais Santos Costa
463348bb2f
fix memory collision in allocatng mmap
2009-10-16 08:09:22 +01:00
