Vitor Santos Costa
78b3213d5a
add debugging info to system_malloc
2010-04-15 11:37:15 +01:00
Ricardo Rocha
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
Vitor Santos Costa
ccca051c48
avoid using ftell: it can be very slow on NFS.
2010-04-14 23:47:01 +01:00
Vítor Santos Costa II
3666988f57
fixes for non-gmp case.
2010-04-14 19:49:22 +01:00
Vítor Santos Costa II
2b4e51a2d4
more jpk fixes
2010-04-14 15:55:19 +01:00
Vitor Santos Costa
5b1a2067f9
add support for with_output_to/2.
2010-04-14 10:57:00 +01:00
Vitor Santos Costa
660ea12537
exception handler was not passing well exceptions in setup.
2010-04-14 10:49:32 +01:00
Vítor Santos Costa II
45acd9b07d
iupgrade to latest
2010-04-13 22:35:49 +01:00
Vítor Santos Costa II
a3667150d3
remove debugging message
2010-04-13 13:34:05 +01:00
Vítor Santos Costa II
719089b96b
make PL_is_initialised honest :)
2010-04-13 00:31:48 +01:00
Vítor Santos Costa II
661b9c3b7d
protect base choice-point from nasty cutting.
2010-04-13 00:31:25 +01:00
Vítor Santos Costa II
e605da8685
dump should dump to stdout, not stderr (that's where SWI dumps, and that's where
...
scripts expect it).
2010-04-13 00:30:15 +01:00
Vítor Santos Costa II
f753284785
fix JPL setup. Also, JPL requires paths for installed yap. so should
...
only be compiled after installing libs: do make at install time.
2010-04-13 00:24:40 +01:00
Vítor Santos Costa II
9def5978bb
SWI actually calls initialization after exiting the directory (obs from Paulo Moura).
2010-04-12 18:30:39 +01:00
Vítor Santos Costa II
51c6ac37d9
fix documentation of SWI compatible memory allocation flags.
2010-04-12 17:22:03 +01:00
Vítor Santos Costa II
2b7c645300
no need for a cast here.
2010-04-12 17:21:50 +01:00
Vítor Santos Costa II
b10268def1
be careful about testing for attvars.
2010-04-12 17:21:19 +01:00
Vítor Santos Costa II
4ccc201322
fix version_data
2010-04-10 23:57:46 +01:00
Vítor Santos Costa II
894666efb8
unnecessary access could result in core dump (patch from Keri Harris).
2010-04-10 21:52:53 +01:00
Vítor Santos Costa II
2257b056f0
fix absolute_file_name (SWI and SICStus compatibility, obs from Paulo Moura).
2010-04-10 21:23:38 +01:00
Vítor Santos Costa II
b1621d033a
export type of foreign fields.
2010-04-10 21:20:00 +01:00
Vítor Santos Costa II
0df80db205
protect from looking at unused fields
2010-04-10 21:19:31 +01:00
Vítor Santos Costa II
37bf70fde1
improve dbusage
2010-04-10 21:19:03 +01:00
Vítor Santos Costa II
9b3b304624
try again to get correct statistics on memory usage :(w
2010-04-10 21:18:35 +01:00
Vítor Santos Costa II
2aff3b5071
clean reference to removed element.
2010-04-10 21:17:17 +01:00
Vítor Santos Costa II
469fab876d
keep on working even after an overflow.
2010-04-09 18:08:08 +01:00
Vítor Santos Costa II
d524dd542d
test could access unused memory.
2010-04-09 18:07:45 +01:00
Vítor Santos Costa II
b6f704fc7a
fix possible memory leak.
2010-04-09 17:02:24 +01:00
Vítor Santos Costa II
8efec0b26e
put ThOr back in shape.
2010-04-09 11:56:07 +01:00
Vítor Santos Costa II
e9fce7c755
fix bad while: pred chain will be restored through pred hash table.
2010-04-09 11:55:36 +01:00
Vitor Santos Costa
45473e939b
fix previous patch for restoring PredHashTable.
2010-04-09 11:46:59 +01:00
Vitor Santos Costa
066603c79b
fix global variables
2010-04-08 01:44:08 +01:00
Vítor Santos Costa II
3fd7da94ba
more valgrind catches.
2010-04-08 00:53:38 +01:00
Vítor Santos Costa II
222aac067b
fix bad limit test (caught by valgrind).
2010-04-08 00:52:59 +01:00
Vítor Santos Costa II
5aed596919
bad list keeping
2010-04-08 00:52:47 +01:00
Vítor Santos Costa II
143022e6aa
fix bad restore: we would just restore the first predicate with same name (obs from Nuno Fonseca).
2010-04-08 00:52:00 +01:00
Vitor Santos Costa
55b464dace
export Yap_WinError
2010-04-07 01:35:44 +01:00
Vitor Santos Costa
f7e6242fe9
fix spy bug (obs from Nuno Fonseca).
2010-04-07 01:32:57 +01:00
Vitor Santos Costa
471bf55c4c
fix reading from pipes in WIN32.
2010-04-07 01:18:32 +01:00
Vitor Santos Costa
8e72f97651
fix version info to be more like SWI/SICStus.
2010-04-06 00:57:40 +01:00
Vitor Santos Costa
504306d651
fix fast_proofs in ProbLog (obs from A Kimmig, F Riguzzi).
2010-04-05 12:20:59 +01:00
Ricardo Rocha
ab8fee4e08
common global trie for subtems (seems to be working correctly !)
2010-04-05 03:34:02 +01:00
Ricardo Rocha
9c3bb73bab
common global trie (version GT-ST: global trie for subterms)
2010-04-05 03:31:12 +01:00
Ricardo Rocha
6c222b8e87
use a macro (stack_terms_limit) to delimit the top of the auxiliary term
...
stack
2010-04-03 16:05:38 +01:00
Ricardo Rocha
b3e2c562a2
misplaced #endif declaration
2010-04-03 06:31:34 +01:00
Ricardo Rocha
52a2b49263
new support for the common global trie (version GT-ST: global trie for subterms)
2010-04-03 05:58:14 +01:00
Ricardo Rocha
fd1f63a73b
tries module: bug fix when printing float terms
2010-03-31 19:36:26 +01:00
Ricardo Rocha
6cb0886587
tries module: undo last change on macro MAX_NODES_PER_TRIE_LEVEL
2010-03-31 18:39:38 +01:00
Ricardo Rocha
7b49c14edd
tries module: add support for term-ending pairs (pairs of the form [a|b])
2010-03-31 18:36:13 +01:00
Vitor Santos Costa
9110c4db71
if we use malloc, get memory out of malloc instead of using stacks. This is in order to avoid growing stacks that never contract again.
2010-03-31 15:51:18 +01:00
