diogo/yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Commit Graph

  • c221c2ff85 renaming some OPTYap files in order to have a more consistent name organization Ricardo Rocha 2010-04-19 02:34:08 +01:00
  • 2a7765ae5c make clear that some files are generated automatically. Vitor Santos Costa 2010-04-18 21:48:20 +01:00
  • 7e389a5b87 allow a file filter with initialization. Vitor Santos Costa 2010-04-18 21:48:00 +01:00
  • 7593a9ec78 fix scanning of integers starting with 0b and 0o (ISO, obs from Paulo Moura). Vitor Santos Costa 2010-04-18 20:48:25 +01:00
  • 73d210c991 reducing the number of macros for error checking in the OPTYap files Ricardo Rocha 2010-04-18 04:59:11 +01:00
  • dd182fdeac Merge branch 'master' of gitosis@yap.dcc.fc.up.pt:yap-6 Vítor Santos Costa II 2010-04-16 12:12:37 +01:00
  • 0e431dcf24 prefetch on x86 Vítor Santos Costa II 2010-04-16 12:12:25 +01:00
  • d68c7854bd make things run in sparc-64 Vitor Santos Costa 2010-04-16 12:12:23 +01:00
  • 1cf17cc2fe improve type in token Vitor Santos Costa 2010-04-16 12:11:52 +01:00
  • be91864c1e Merge branch 'master' of yap.dcc.fc.up.pt:yap-6 Vitor Santos Costa 2010-04-16 10:33:11 +01:00
  • 463ab07f3c fix error handling with nan (obs from Jose Santos). Vitor Santos Costa 2010-04-16 10:32:36 +01:00
  • 467dd91b32 new built-in predicate global_trie_statistics/0. Ricardo Rocha 2010-04-16 03:07:37 +01:00
  • ddb1cd8604 adding two new modes to the yap_flag/2 and tabling_mode/2 built-in predicates: 'local_trie' mode and 'global_trie' mode. Ricardo Rocha 2010-04-16 02:08:06 +01:00
  • 052c20a29b more memory allocation fixes. Vítor Santos Costa II 2010-04-15 22:49:25 +01:00
  • c4b12d5cbe - fix memory leaks - avoid unnecessary mallocs by having a first alloc to do th ework. Vítor Santos Costa II 2010-04-15 22:23:54 +01:00
  • e231aea1b4 Merge branch 'master' of gitosis@yap.dcc.fc.up.pt:yap-6 Vítor Santos Costa II 2010-04-15 11:37:51 +01:00
  • 28e006b484 Merge branch 'master' of yap.dcc.fc.up.pt:yap-6 Vitor Santos Costa 2010-04-15 11:38:55 +01:00
  • b737ce447f improve allocation through malloc: avoid allocating labels in the stack. Vitor Santos Costa 2010-04-15 11:37:39 +01:00
  • 78b3213d5a add debugging info to system_malloc Vitor Santos Costa 2010-04-15 11:37:15 +01:00
  • 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. Ricardo Rocha 2010-04-15 01:09:59 +01:00
  • ccca051c48 avoid using ftell: it can be very slow on NFS. Vitor Santos Costa 2010-04-14 23:47:01 +01:00
  • 3666988f57 fixes for non-gmp case. Vítor Santos Costa II 2010-04-14 19:49:22 +01:00
  • 2b4e51a2d4 more jpk fixes Vítor Santos Costa II 2010-04-14 15:55:19 +01:00
  • 5b1a2067f9 add support for with_output_to/2. Vitor Santos Costa 2010-04-14 10:57:00 +01:00
  • 660ea12537 exception handler was not passing well exceptions in setup. Vitor Santos Costa 2010-04-14 10:49:32 +01:00
  • 45acd9b07d iupgrade to latest Vítor Santos Costa II 2010-04-13 22:35:49 +01:00
  • a3667150d3 remove debugging message Vítor Santos Costa II 2010-04-13 13:34:05 +01:00
  • 719089b96b make PL_is_initialised honest :) Vítor Santos Costa II 2010-04-13 00:31:48 +01:00
  • 661b9c3b7d protect base choice-point from nasty cutting. Vítor Santos Costa II 2010-04-13 00:31:25 +01:00
  • e605da8685 dump should dump to stdout, not stderr (that's where SWI dumps, and that's where scripts expect it). Vítor Santos Costa II 2010-04-13 00:30:15 +01:00
  • f753284785 fix JPL setup. Also, JPL requires paths for installed yap. so should only be compiled after installing libs: do make at install time. Vítor Santos Costa II 2010-04-13 00:24:40 +01:00
  • 9def5978bb SWI actually calls initialization after exiting the directory (obs from Paulo Moura). Vítor Santos Costa II 2010-04-12 18:30:39 +01:00
  • 51c6ac37d9 fix documentation of SWI compatible memory allocation flags. Vítor Santos Costa II 2010-04-12 17:22:03 +01:00
  • 2b7c645300 no need for a cast here. Vítor Santos Costa II 2010-04-12 17:21:50 +01:00
  • b10268def1 be careful about testing for attvars. Vítor Santos Costa II 2010-04-12 17:21:19 +01:00
  • 4ccc201322 fix version_data Vítor Santos Costa II 2010-04-10 23:57:46 +01:00
  • 894666efb8 unnecessary access could result in core dump (patch from Keri Harris). Vítor Santos Costa II 2010-04-10 21:52:53 +01:00
  • 2257b056f0 fix absolute_file_name (SWI and SICStus compatibility, obs from Paulo Moura). Vítor Santos Costa II 2010-04-10 21:23:38 +01:00
  • b1621d033a export type of foreign fields. Vítor Santos Costa II 2010-04-10 21:20:00 +01:00
  • 0df80db205 protect from looking at unused fields Vítor Santos Costa II 2010-04-10 21:19:31 +01:00
  • 37bf70fde1 improve dbusage Vítor Santos Costa II 2010-04-10 21:19:03 +01:00
  • 9b3b304624 try again to get correct statistics on memory usage :(w Vítor Santos Costa II 2010-04-10 21:18:35 +01:00
  • 2aff3b5071 clean reference to removed element. Vítor Santos Costa II 2010-04-10 21:17:17 +01:00
  • 469fab876d keep on working even after an overflow. Vítor Santos Costa II 2010-04-09 18:08:08 +01:00
  • d524dd542d test could access unused memory. Vítor Santos Costa II 2010-04-09 18:07:45 +01:00
  • b6f704fc7a fix possible memory leak. Vítor Santos Costa II 2010-04-09 17:02:24 +01:00
  • 8efec0b26e put ThOr back in shape. Vítor Santos Costa II 2010-04-09 11:56:07 +01:00
  • e9fce7c755 fix bad while: pred chain will be restored through pred hash table. Vítor Santos Costa II 2010-04-09 11:55:36 +01:00
  • 45473e939b fix previous patch for restoring PredHashTable. Vitor Santos Costa 2010-04-09 11:46:59 +01:00
  • 066603c79b fix global variables Vitor Santos Costa 2010-04-08 01:44:08 +01:00
  • 3fd7da94ba more valgrind catches. Vítor Santos Costa II 2010-04-08 00:53:38 +01:00
  • 222aac067b fix bad limit test (caught by valgrind). Vítor Santos Costa II 2010-04-08 00:52:59 +01:00
  • 5aed596919 bad list keeping Vítor Santos Costa II 2010-04-08 00:52:47 +01:00
  • 143022e6aa fix bad restore: we would just restore the first predicate with same name (obs from Nuno Fonseca). Vítor Santos Costa II 2010-04-08 00:52:00 +01:00
  • 55b464dace export Yap_WinError Vitor Santos Costa 2010-04-07 01:35:44 +01:00
  • f7e6242fe9 fix spy bug (obs from Nuno Fonseca). Vitor Santos Costa 2010-04-07 01:32:57 +01:00
  • 471bf55c4c fix reading from pipes in WIN32. Vitor Santos Costa 2010-04-07 01:18:32 +01:00
  • 8e72f97651 fix version info to be more like SWI/SICStus. Vitor Santos Costa 2010-04-06 00:57:40 +01:00
  • 504306d651 fix fast_proofs in ProbLog (obs from A Kimmig, F Riguzzi). Vitor Santos Costa 2010-04-05 12:20:59 +01:00
  • ab8fee4e08 common global trie for subtems (seems to be working correctly !) Ricardo Rocha 2010-04-05 03:34:02 +01:00
  • 9c3bb73bab common global trie (version GT-ST: global trie for subterms) Ricardo Rocha 2010-04-05 03:31:12 +01:00
  • 6c222b8e87 use a macro (stack_terms_limit) to delimit the top of the auxiliary term stack Ricardo Rocha 2010-04-03 16:05:38 +01:00
  • b3e2c562a2 misplaced #endif declaration Ricardo Rocha 2010-04-03 06:31:34 +01:00
  • 52a2b49263 new support for the common global trie (version GT-ST: global trie for subterms) Ricardo Rocha 2010-04-03 05:58:14 +01:00
  • fd1f63a73b tries module: bug fix when printing float terms Ricardo Rocha 2010-03-31 19:36:26 +01:00
  • 6cb0886587 tries module: undo last change on macro MAX_NODES_PER_TRIE_LEVEL Ricardo Rocha 2010-03-31 18:39:38 +01:00
  • 7b49c14edd tries module: add support for term-ending pairs (pairs of the form [a|b]) Ricardo Rocha 2010-03-31 18:36:13 +01:00
  • 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. Vitor Santos Costa 2010-03-31 15:51:18 +01:00
  • d49e139360 fix missing return value. Vitor Santos Costa 2010-03-31 15:51:08 +01:00
  • 3d5878f651 another fix to new nb_getval. Vitor Santos Costa 2010-03-31 15:50:36 +01:00
  • 16a5e33267 fix queue_close (Anton Dries). Vitor Santos Costa 2010-03-30 13:02:46 +01:00
  • ecf5c572ab Merge branch 'master' of yap.dcc.fc.up.pt:yap-6 Vitor Santos Costa 2010-03-30 12:48:56 +01:00
  • 03b96b3a60 upgrade to Markus' latest. Vitor Santos Costa 2010-03-30 12:46:01 +01:00
  • 3f5117d020 check overflow correctly. Vitor Santos Costa 2010-03-30 12:45:46 +01:00
  • c4819d8ab2 better handle over overflow. Vitor Santos Costa 2010-03-30 12:45:32 +01:00
  • f45e95ba68 fix sTR0 to always point to base of updates. Vitor Santos Costa 2010-03-30 10:59:12 +01:00
  • 9a728ed796 fix int -> Int Vitor Santos Costa 2010-03-30 10:58:46 +01:00
  • 91542c7be1 avoid bad alignment on 64 bits. Vitor Santos Costa 2010-03-30 09:16:20 +01:00
  • 66a5235098 just get rid of warning. Vitor Santos Costa 2010-03-30 09:16:07 +01:00
  • 394b3e08e1 make sure we never ask for less than what we were asked for (growtrail). Vitor Santos Costa 2010-03-30 09:15:02 +01:00
  • 55855d8d90 fix abolish_table/1 abolish_all_tables/0 for predicates with arity 0 Ricardo Rocha 2010-03-29 15:41:59 +01:00
  • ca31e9fad8 fix portray_clause to use copy_term_nat and get rid of attributed variables. Vitor Santos Costa 2010-03-27 15:06:36 +00:00
  • 35bbb9e7d1 avoid binding attributed variables. Vitor Santos Costa 2010-03-27 11:43:03 +00:00
  • c468d8431e try to make top level writing more SWI compatible. Vitor Santos Costa 2010-03-27 11:34:10 +00:00
  • 6d52fa371e Merge branch 'master' of yap.dcc.fc.up.pt:yap-6 Vitor Santos Costa 2010-03-27 11:00:42 +00:00
  • 9869ffebfd delete_attributes deletes v as an attvar. Vitor Santos Costa 2010-03-27 10:57:21 +00:00
  • 568c541874 use copy_term compatible with SWI. Vitor Santos Costa 2010-03-27 10:56:35 +00:00
  • 000f4524ea fix bad bracket Vítor Santos Costa II 2010-03-26 16:16:05 +00:00
  • 50b380c2aa make number_chars and atom_chars accept strings of numbers, unless if in strict iso. Vítor Santos Costa II 2010-03-25 09:59:39 +00:00
  • 4052f03726 initialise everything Vítor Santos Costa II 2010-03-23 16:15:55 +00:00
  • 3ceb7eb479 fix unneed call. Vítor Santos Costa II 2010-03-23 16:15:41 +00:00
  • e03b948b0a ifix warning Vítor Santos Costa II 2010-03-22 16:57:19 +00:00
  • a9b979144c forward possible errors Vítor Santos Costa II 2010-03-22 16:56:58 +00:00
  • b068721c68 fix type warnings. Vítor Santos Costa II 2010-03-22 15:01:54 +00:00
  • c3d2e4cd14 support for agc_margin Vítor Santos Costa II 2010-03-22 14:47:53 +00:00
  • 39483147f4 fix project_attributes/2 (was not being called ever). Vitor Santos Costa 2010-03-22 09:11:27 +00:00
  • 0c28e58dd4 do not randomise initial address. Vitor Santos Costa 2010-03-22 00:11:54 +00:00
  • 5a8fcfb641 Merge branch 'master' of yap.dcc.fc.up.pt:yap-6 Vitor Santos Costa 2010-03-22 00:10:22 +00:00
  • da51afc1e4 fix term_hash of floats and large ints (obs from Jose Santos). Vitor Santos Costa 2010-03-22 00:09:50 +00:00
  • d5e1ff38f4 new interface to access globals. They are not in a file called GLOBALS, from which we generate several files automatically. Vitor Santos Costa 2010-03-21 22:12:42 +00:00