Commit Graph

3600 Commits

Author SHA1 Message Date
Vitor Santos Costa
ccca051c48 avoid using ftell: it can be very slow on NFS. 2010-04-14 23:47:01 +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
Vitor Santos Costa
d49e139360 fix missing return value. 2010-03-31 15:51:08 +01:00
Vitor Santos Costa
3d5878f651 another fix to new nb_getval. 2010-03-31 15:50:36 +01:00
Vitor Santos Costa
16a5e33267 fix queue_close (Anton Dries). 2010-03-30 13:02:46 +01:00
Vitor Santos Costa
ecf5c572ab Merge branch 'master' of yap.dcc.fc.up.pt:yap-6 2010-03-30 12:48:56 +01:00