Vitor Santos Costa
|
e7b01f64d0
|
don't add minimums, compare them for memory overflows.
|
2009-04-26 10:50:56 -05:00 |
|
Vitor Santos Costa
|
e06ee4d4fa
|
avoid over enthusiastic stack expansion.
|
2009-04-26 10:50:10 -05:00 |
|
Vitor Santos Costa
|
4cdfbae62a
|
allow garbage collection when we store error term.
|
2009-04-26 10:48:32 -05:00 |
|
Vitor Santos Costa
|
2b79d5aada
|
fix case where we call YAP with very large arities (obs from Ulrich Neumerkel).
|
2009-04-26 10:47:41 -05:00 |
|
Vitor Santos Costa
|
c5ba7e3854
|
fix non GMP code (obs from Tony Wilson).
|
2009-04-26 10:46:00 -05:00 |
|
Vitor Santos Costa
|
c132e7e6ec
|
fix gmp support to give out of resource error if the bignum is too big.
|
2009-04-25 11:01:33 -05:00 |
|
Vitor Santos Costa
|
09d33c6cad
|
try to give more helpful message in console aborts
|
2009-04-25 11:00:39 -05:00 |
|
Vitor Santos Costa
|
d02e14415b
|
another fix to FileFromStream
|
2009-04-25 10:59:05 -05:00 |
|
Vitor Santos Costa
|
7628c875e8
|
make sure to be compatible with non-gcc/old gcc
|
2009-04-25 10:58:42 -05:00 |
|
Vitor Santos Costa
|
450123d5c6
|
fix FileNoFromStream
|
2009-04-25 10:28:34 -05:00 |
|
Vitor Santos Costa
|
291997ad77
|
fix FileDescriptorFromStream
|
2009-04-25 10:27:55 -05:00 |
|
Vitor Santos Costa
|
fadec66d2c
|
gmp_should always recover space for the temporary bignum.
|
2009-04-24 19:10:53 -05:00 |
|
Vitor Santos Costa
|
2503805aff
|
support 2^2 is 4 and not 4.0: complicated if we have to deal with bignums.
|
2009-04-24 19:03:00 -05:00 |
|
Vitor Santos Costa
|
b5dc71d080
|
is_list/1 is now a builtin.
|
2009-04-24 10:31:53 -05:00 |
|
Vitor Santos Costa
|
08320410cb
|
fix missing comma in declarations.
|
2009-04-23 09:12:03 -05:00 |
|
Vitor Santos Costa
|
1ea4a27dd1
|
YAP_FileNoFromStream for Nf
|
2009-04-22 21:42:15 -05:00 |
|
Vitor Santos Costa
|
7ed3b456ac
|
add Yap_FileDescriptorFromStream at request from NF.
|
2009-04-22 16:41:41 -05:00 |
|
Vitor Santos Costa
|
0a2c90a919
|
fix warning
|
2009-04-22 16:41:33 -05:00 |
|
Vitor Santos Costa
|
3c84466d05
|
asserting on a spied predicate might make it loop for ever :(
|
2009-04-21 18:51:01 -05:00 |
|
Vitor Santos Costa
|
e204a8b7a3
|
display({A}) should not display as an operator.
|
2009-04-21 18:04:36 -05:00 |
|
Vitor Santos Costa
|
e2d3e66632
|
fix native_op
|
2009-04-18 17:55:18 -05:00 |
|
Vitor Santos Costa
|
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 |
|
Vitor Santos Costa
|
7e98e5acdb
|
fix another internal deadlock.
|
2009-04-17 14:17:43 -05:00 |
|
Vitor Santos Costa
|
c685991119
|
fix self-deadlock in empty IDB entries.
|
2009-04-16 12:55:47 -05:00 |
|
Vitor Santos Costa
|
9624026beb
|
locking fixes.
|
2009-04-16 11:19:26 -05:00 |
|
Vitor Santos Costa
|
43ae55f5f2
|
thread_local is also dynamic.
|
2009-04-14 01:24:58 +01:00 |
|
Vitor Santos Costa
|
b92b026c90
|
more patches to support Anderson's JIT.
|
2009-04-08 00:32:36 +01:00 |
|
Vitor Santos Costa
|
b2ad3bd000
|
first cut at Anderson's JIT code.
|
2009-04-07 23:55:16 +01:00 |
|
Vitor Santos Costa
|
f97bc596b9
|
do not use int for modules, use Term.
|
2009-04-07 15:44:46 +01:00 |
|
Vitor Santos Costa
|
94b2b181a7
|
do not deref because you may want to pass a pointer.
|
2009-04-04 23:56:42 +01:00 |
|
Vitor Santos Costa
|
9e8db82391
|
updates to UDI package
|
2009-04-02 17:34:42 +01:00 |
|
Vitor Santos Costa
|
cc7ff82275
|
term_hash non non_ground terms: ignoring the variables.
|
2009-03-31 21:56:12 +01:00 |
|
Vitor Santos Costa
|
18eca09bd0
|
multiple assignment variables should always be globalised.
|
2009-03-31 21:55:17 +01:00 |
|
Vitor Santos Costa
|
67eddb5a5b
|
arity may be a long int
|
2009-03-27 15:28:32 +00:00 |
|
Vitor Santos Costa
|
4b5c07192a
|
get rid of debugging message.
|
2009-03-27 15:28:22 +00:00 |
|
Vitor Santos Costa
|
3a213d7029
|
get rid of debugging message.
|
2009-03-27 15:28:08 +00:00 |
|
Vitor Santos Costa
|
91fd215d3d
|
fix bad types.
|
2009-03-27 15:23:54 +00:00 |
|
Vitor Santos Costa
|
099edc1520
|
get rid of compilation warning.
|
2009-03-27 15:19:30 +00:00 |
|
Vitor Santos Costa
|
2aa5aa3a26
|
add -A flag to ask for more attributed stack.
|
2009-03-27 15:15:54 +00:00 |
|
Vitor Santos Costa
|
901161a413
|
patches to remove ints and be able to allocate a lot of memory in 64 bit mode.
|
2009-03-27 14:45:40 +00:00 |
|
Vitor Santos Costa
|
751426c610
|
fix unallocated variable in overflow.
|
2009-03-27 14:05:27 +00:00 |
|
Vitor Santos Costa
|
f46ff06f38
|
get rid of broken $clause/3: fixes listing of dynamic predicates.
|
2009-03-26 08:12:24 +00:00 |
|
Vitor Santos Costa
|
8a0b7312e4
|
get rid of thread warnings..
|
2009-03-26 00:39:44 +00:00 |
|
Vitor Santos Costa
|
2a6869bf28
|
just planning for the future...
|
2009-03-26 00:38:46 +00:00 |
|
Vitor Santos Costa
|
5c2e5c524b
|
recognise exceptions within comparisons.
|
2009-03-26 00:37:57 +00:00 |
|
Vitor Santos Costa
|
2e807fc5c7
|
fix static_growglobal.
|
2009-03-24 14:15:40 +00:00 |
|
Vitor Santos Costa
|
4b65b063ca
|
fixes for threads to compile and boot.
|
2009-03-24 13:27:36 +00:00 |
|
Vitor Santos Costa
|
b198de2272
|
patch from master
|
2009-03-24 01:02:44 +00:00 |
|
Vitor Santos Costa
|
7769c33be7
|
fix shunting where it breaks variable order.
|
2009-03-24 00:17:59 +00:00 |
|
Vitor Santos Costa
|
1b238d62ec
|
fix bad copy and paste from master
|
2009-03-17 22:29:24 +00:00 |
|
Vitor Santos Costa
|
a221244b8c
|
fix bug in following retry chains.
|
2009-03-17 20:10:14 +00:00 |
|
Vitor Santos Costa
|
4fa27164e6
|
oops!
|
2009-03-16 22:22:07 +00:00 |
|
Vitor Santos Costa
|
77eaff31b8
|
cleanup stack shifting when inserting holes (growglobal).
|
2009-03-16 17:30:13 +00:00 |
|
Vitor Santos Costa
|
4cac5b6616
|
ld_path is not a fixed atom
|
2009-03-16 15:12:48 +00:00 |
|
Vitor Santos Costa
|
5ef03f2d0f
|
fix BLOB operations and get rid of warning
|
2009-03-14 10:06:55 +00:00 |
|
Vitor Santos Costa
|
1161f80426
|
fix calling SWI C-Predicates.
|
2009-03-13 19:36:38 +00:00 |
|
Vitor Santos Costa
|
08acf82266
|
handle non-wide atoms correctly.
|
2009-03-13 19:00:14 +00:00 |
|
Vitor Santos Costa
|
8b118f1778
|
fix bad lock
|
2009-03-13 11:49:38 +00:00 |
|
Vitor Santos Costa
|
c9c097b32d
|
improve implementation of call_with_args/*
|
2009-03-13 11:11:04 +00:00 |
|
Vitor Santos Costa
|
fc2e01f320
|
improve code for disjunctions by trying to avoid permanent variables.
|
2009-03-10 16:24:26 +00:00 |
|
Vitor Santos Costa
|
e4d6b529c7
|
fix bad merge in put/get instructions
|
2009-03-10 16:23:43 +00:00 |
|
Vitor Santos Costa
|
7726944e1b
|
back to normal.
|
2009-03-10 16:22:45 +00:00 |
|
Vitor Santos Costa
|
21aba71211
|
get rid of unused builtins.
|
2009-03-10 16:21:33 +00:00 |
|
Vitor Santos Costa
|
b744fabb71
|
new predicates for variable search in term.
|
2009-03-10 16:21:05 +00:00 |
|
Vitor Santos Costa
|
cd548813fd
|
make $variables_in_term/3 check for repeated variables, ie (vint(a(X),[X],[X])).
|
2009-03-09 14:15:41 +00: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 |
|
Vitor Santos Costa
|
d98c3f0817
|
add support for sized queues.
|
2009-02-27 22:22:49 +00:00 |
|
Vitor Santos Costa
|
0b4b0d0a18
|
fix equality between float and integer, and simplify code in general.
|
2009-02-27 22:10:52 +00:00 |
|
Vitor Santos Costa
|
258d63edeb
|
forgot to mark objects in registers.
|
2009-02-27 12:56:27 +00:00 |
|
Vitor Santos Costa
|
48eaa975f2
|
if we have many embedded calls to nb_queue, make sure we don't allocate a lot of memory for each one.
|
2009-02-27 00:31:29 +00:00 |
|
Vitor Santos Costa
|
51875c627a
|
avoid excessive overflows and too large overflows in delay stack.
|
2009-02-26 23:06:27 +00:00 |
|
Vitor Santos Costa
|
d7c2c74acc
|
fix counting of C-pred: it should not be in caller.
|
2009-02-26 00:00:23 +00:00 |
|
Vitor Santos Costa
|
95fc66be25
|
more fixes to profiling code.
|
2009-02-25 22:15:18 +00:00 |
|
Vitor Santos Costa
|
083b7c9b92
|
improve compilation of arithmetic and other builtins, this should
make it more aggressive (and still correct).
|
2009-02-25 00:13:56 +00:00 |
|
Vitor Santos Costa
|
91657556ee
|
more UDI stuff.
|
2009-02-25 00:13:45 +00:00 |
|
Vitor Santos Costa
|
2bc5d8425a
|
fix arithmetic dependence on Prolog table.
|
2009-02-25 00:12:36 +00:00 |
|
Vitor Santos Costa
|
ffb621c53b
|
improve support for UDI.
|
2009-02-20 15:52:17 +00:00 |
|
Vitor Santos Costa
|
94ebb90719
|
UDI patch: make it work with YAP.
|
2009-02-20 11:42:48 +00:00 |
|
Vitor Santos Costa
|
ad2d073184
|
allow better writing of inlined operations
disallow eval.yap
|
2009-02-16 21:04:30 +00:00 |
|
Vitor Santos Costa
|
e5d11cfa16
|
MYDDAS is too closely integreated to be a package.
|
2009-02-16 17:15:21 +00:00 |
|
Vitor Santos Costa
|
0f58cf8029
|
small fixes
|
2009-02-16 12:53:29 +00:00 |
|
Vitor Santos Costa
|
a000af113b
|
OSX portability updates
start of support for commons prolog initiative
|
2009-02-16 12:25:03 +00:00 |
|
Vítor Santos Costa
|
f7046286a0
|
cleanups and a bug fix (it is lp now, not just p as before).
|
2009-02-12 21:45:41 +00:00 |
|
Vítor Santos Costa
|
8a6e0acedc
|
compiler support for udi including user_index instruction
|
2009-02-12 21:35:31 +00:00 |
|
Vítor Santos Costa
|
4b826e76ae
|
support for user defined indexing: step 1 basic routines.
|
2009-02-12 16:39:20 +00:00 |
|
Vitor Santos Costa
|
1191b039d5
|
include support for dynamically created clause lists.
|
2009-02-11 15:10:57 +00:00 |
|
Vitor Santos Costa
|
9a0d481528
|
avoid too many discontiguous warnings by keeping track of last clause predicate.
|
2009-02-10 23:42:26 +00:00 |
|
Vitor Santos Costa
|
0886bd2e59
|
get rid of unused mk_cl_not_first.
|
2009-02-10 23:17:41 +00:00 |
|
Vitor Santos Costa
|
e08cef278a
|
fix debugging message.
|
2009-02-10 22:56:12 +00:00 |
|
Vitor Santos Costa
|
1b41a08e74
|
fix indexing of tabling predicates: make sure we don't jump to the middle
of the code if we come from a retry.
|
2009-02-10 22:35:54 +00:00 |
|
Vitor Santos Costa
|
5efc438e49
|
fix put_att_term/2: bad arity and would not bind first arg if unbound var.
|
2009-02-10 14:56:43 +00:00 |
|
Vitor Santos Costa
|
fe85e92992
|
fixes for x86_64 compilation (with David Vaz).
|
2009-02-10 14:24:20 +00:00 |
|
Vítor Santos Costa
|
c750dd94f1
|
indexing code was not looking at tabled code.
|
2009-02-09 23:34:12 +00:00 |
|
Vitor Santos Costa
|
33b4a02fae
|
extend C-interface to check if a variable is AttVar and to fetch all the
attributes.
|
2009-02-09 22:45:50 +00:00 |
|
Vitor Santos Costa
|
bde2b57f07
|
compile =/2 to use an extra temporary, and not ARG1.
|
2009-02-09 22:29:44 +00:00 |
|
Vitor Santos Costa
|
89635fb1f6
|
optimise is/2 as a binary predicate.
|
2009-02-09 22:21:58 +00:00 |
|
Vitor Santos Costa
|
8a3978e3e1
|
rename BinaryTestPredFlag to BinaryPredFlag
get rid of small annoying arithmetic bugs
|
2009-02-09 21:56:40 +00:00 |
|
Vítor Santos Costa
|
30e946cc30
|
fix case where very big negative integer could have two representations.
|
2009-01-12 15:08:26 +00:00 |
|