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

Commit Graph

  • f61aee4a83 third argument to thread_create needs :, #91 Vitor Santos Costa 2009-05-30 10:43:03 -05:00
  • e84ecf2eaf fix #37: give resource error if trying to create a functor with bignum arity also, allow meta-call to create large functors > Int. Vitor Santos Costa 2009-05-29 22:34:50 -05:00
  • 0cd72ad258 changes to compile YAP in WIN32 Vitor Santos Costa 2009-05-29 14:36:49 -05:00
  • 2dae7fd5ef fix unnecesary warnings for multifile (obs from Paulo Moura). Vitor Santos Costa 2009-05-29 10:48:40 -05:00
  • a45da5f722 check for memory overflows in format (very long double, say) obs from Ingo Thon. Vitor Santos Costa 2009-05-29 10:26:48 -05:00
  • 3fc4f71bee prolog module is visible everywhere. Vitor Santos Costa 2009-05-28 21:51:34 -05:00
  • 5760986b2f Forgotten failure - found by #22 Ulrich Neumerkel 2009-05-29 00:15:40 +02:00
  • c1dcb1d75d FIX #85 (defaultyness & meta_predicate), and thus #84, #82, #69 Ulrich Neumerkel 2009-05-28 19:23:43 +02:00
  • 2b495cd095 Introduction of errors for signal. In a case of conflict, 13211-1:7.12.2a is given precedence over 13211-2:6.7.1.4 Ulrich Neumerkel 2009-05-28 19:08:29 +02:00
  • c2bd671bfd time_out/3: Give every alternative the full timeout time #86 Ulrich Neumerkel 2009-05-28 01:15:02 +02:00
  • f9342e835d What's wrong with this one? Of course, the granularity of the alarms is a problem. And the inability to nest. Ulrich Neumerkel 2009-05-27 22:54:05 +02:00
  • 4e2572fe2e DOC: formatting Ulrich Neumerkel 2009-05-27 00:57:59 +02:00
  • 43e9e9f337 alarm(0) should be careful to kill existing signals. Costa Vitor 2009-05-26 17:31:21 -05:00
  • f11eeb2967 be more careful to handle throws. Costa Vitor 2009-05-26 17:24:49 -05:00
  • e6129e84b7 unnecessary disable_interrupts (#69) Costa Vitor 2009-05-26 16:57:27 -05:00
  • 3d9bd1a49f DOC: minor Ulrich Neumerkel 2009-05-24 00:38:27 +02:00
  • a10bf47a0c improve stochastic grammar learning (work in progress). Vitor Santos Costa 2009-05-26 10:49:04 -05:00
  • de7474a5d9 allow inplace operations. Vitor Santos Costa 2009-05-26 10:48:45 -05:00
  • 3c57286531 make sure we disable disabling interrupts on error handler. Vitor Santos Costa 2009-05-25 09:58:27 -05:00
  • 4f71103b88 idon't disable interrupts for creeping. Vitor Santos Costa 2009-05-25 09:57:59 -05:00
  • 9a0393e2ce predicate_property would only return first prop for system pred (obs from Paulo Moura). Vitor Santos Costa 2009-05-25 09:57:27 -05:00
  • a6f0b8cc9f ignore specific limit for max write depth on lists. Use same limit everywhere. Vitor Santos Costa 2009-05-24 19:37:07 -05:00
  • a0750ff5b7 handle heap overflows when constructing new predicates. Vitor Santos Costa 2009-05-24 19:25:26 -05:00
  • 9a9767d73c cannot just do error when user does crazy things. Vitor Santos Costa 2009-05-24 19:20:00 -05:00
  • 46dc2b1a49 should exit if interrupts *are* disabled. Vitor Santos Costa 2009-05-24 19:19:22 -05:00
  • 99ac4f4d4a handle SWI style goal expansion natively, instead of trying to be smart. Vitor Santos Costa 2009-05-24 19:18:52 -05:00
  • de3c042143 just update, no interesting change. Vitor Santos Costa 2009-05-24 15:17:23 -05:00
  • f5bff2a21d just indenting Vitor Santos Costa 2009-05-24 15:16:40 -05:00
  • 09216a70b8 fix unprotected calls to plwrite. Vitor Santos Costa 2009-05-24 15:15:36 -05:00
  • 488a230169 fix unification core dump. Vitor Santos Costa 2009-05-24 15:15:05 -05:00
  • 81970013ed allow storing a pointer. Vitor Santos Costa 2009-05-24 15:14:44 -05:00
  • b94baf1e5f try not to loop in infinite terms. Vitor Santos Costa 2009-05-24 15:14:23 -05:00
  • b5e5a671a8 restore stack on JumpExec Vitor Santos Costa 2009-05-23 15:51:50 -05:00
  • b9a7d24e8b avoid too long messages back to top level if Yap_Error is called in a critical region. Vitor Santos Costa 2009-05-23 15:51:00 -05:00
  • 4d497193b6 fix garbage collection on attributed variables with lots of choice points. Vitor Santos Costa 2009-05-23 12:41:37 -05:00
  • 04c419b3b0 not always throw an error when it is not a variable. Vitor Santos Costa 2009-05-22 22:35:40 -05:00
  • 9a2dbdcb24 one extra warning goes away. Vitor Santos Costa 2009-05-22 21:53:24 -05:00
  • f79d79e926 replace TYPE_ERROR_VARIABLE for attributes #57 Vitor Santos Costa 2009-05-22 21:51:48 -05:00
  • 264d9322b9 fix compiler warning messages. Vitor Santos Costa 2009-05-22 21:33:09 -05:00
  • 7304fbda13 fix lack of streams message (Ulrich Neumerkel #60) Costa Vitor 2009-05-22 19:55:18 -05:00
  • c00facdd17 exception at fail could loop with bad env. #59 Costa Vitor 2009-05-22 19:43:17 -05:00
  • b93e5fd300 fix warning Costa Vitor 2009-05-22 19:20:53 -05:00
  • e611e1061a fix annoying int cast problems (64 bit only) Costa Vitor 2009-05-22 19:09:18 -05:00
  • 8fcc534a19 fix bad error propagation in term comparison #53 Costa Vitor 2009-05-22 18:44:05 -05:00
  • ec595374a6 fix allocation of temporary stack so that unification can work even for very deep terms. fix occur_unification_bug X = a(f(Y)). Costa Vitor 2009-05-22 18:35:24 -05:00
  • cfbd2f8886 use types in unification algorithm, makes the rest simpler. Costa Vitor 2009-05-22 15:21:14 -05:00
  • 75e08846fe vargs needs include. Costa Vitor 2009-05-22 14:44:32 -05:00
  • 23301fb19a avoid warning on malloc Vitor Santos Costa 2009-05-22 14:01:22 -05:00
  • 8f019b22de make sure to work even without system mode Vitor Santos Costa 2009-05-22 14:01:05 -05:00
  • 51e669dcfb support for passing priority as argument to write. (Ulrich's #45). fixes on making write handle infinite loops Vitor Santos Costa 2009-05-22 13:24:27 -05:00
  • e1421f207e use DebugPlWrite for debugging writes Vitor Santos Costa 2009-05-22 13:23:51 -05:00
  • 328e2f5c22 don't loop on cyclic terms. Vitor Santos Costa 2009-05-22 12:24:30 -05:00
  • 8e1c8d723e never do P=FAILCODE directly in the code. Vitor Santos Costa 2009-05-22 11:24:44 -05:00
  • 9852f7781d - simplify error handling in arithmetic and handle infinite terms (#46) Vitor Santos Costa 2009-05-22 11:21:39 -05:00
  • e466bf2c5b fix $notrace (Ulrich Neumerkel #26) Vitor Santos Costa 2009-05-21 23:51:34 -05:00
  • 3736ba5793 $notrace should call $execute and disable interrupts below. Vitor Santos Costa 2009-05-21 22:35:24 -05:00
  • d7135f06e9 fix charsio. Costa Vitor 2009-05-21 19:15:12 -05:00
  • f9533c8757 fix backtracking in timeout. Vitor Santos Costa 2009-05-21 01:30:24 -05:00
  • 56fa3499b1 oops Vitor Santos Costa 2009-05-21 01:08:34 -05:00
  • 3a3220d1a1 make sure we don't generate an heapexpansion in the middle of a write. Vitor Santos Costa 2009-05-21 01:04:13 -05:00
  • a58e3d812d fix interrupt enabling in call_setup and friends remove between. Vitor Santos Costa 2009-05-21 00:41:35 -05:00
  • 46543ccb5c remove redundant $between Vitor Santos Costa 2009-05-21 00:40:52 -05:00
  • f3e4148511 fix bad behavior of time_out by making sure interrupts are disabled during critical operation, up to setting a throw. Vitor Santos Costa 2009-05-21 00:39:57 -05:00
  • c3974d49eb allow users to disable interrupts, if so inclined. Vitor Santos Costa 2009-05-21 00:39:44 -05:00
  • 88b5f1a735 be careful to make sure we can hanle the interrupt. Vitor Santos Costa 2009-05-21 00:39:14 -05:00
  • a59a434d66 use interrupts_disabled make onerrupts disabled recursive (not quite needed, but maybe one day). Vitor Santos Costa 2009-05-21 00:38:35 -05:00
  • efcf162aa6 use interrupts_disabled instead of enabled. Vitor Santos Costa 2009-05-21 00:38:04 -05:00
  • fe01f71f3e between/3 is now part of arith.yap: - handle inf - handle errors - make top case deterministic (Ulrich #66) Vitor Santos Costa 2009-05-21 00:36:09 -05:00
  • 2020a19e69 fix format_to_chars/4 (Ulrich Neumerkel #62) Vitor Santos Costa 2009-05-20 09:14:48 -07:00
  • 26a20fa74a fix showing clean_call (#65 Ulrich Neumerkel). Vitor Santos Costa 2009-05-20 09:12:01 -07:00
  • aaec9ddceb fix overflow while dumping very large big ints (Ulrich #18) Vitor Santos Costa 2009-05-20 08:12:18 -07:00
  • 26057240a8 fix call_cleanup/2 and /3 (broken in previous patch). Vitor Santos Costa 2009-05-20 07:29:13 -07:00
  • b38505cff2 FIXED: time_out output argument, exceptions (unhappy about once) Ulrich Neumerkel 2009-05-19 18:10:51 +02:00
  • c7066b43ec first try of setup_call_cleanup/3 and setup_call_catcher_cleanup/4 Vitor Santos Costa 2009-05-19 23:53:14 -07:00
  • 13b9098200 Ulrich: [PATCH-YAP] Permit | in DCGs. Vitor Santos Costa 2009-05-18 07:39:01 -07:00
  • 62118e3a0c Ulrich: [PATCH-YAP] DOC: copy_term/3 Vitor Santos Costa 2009-05-18 07:36:00 -07:00
  • cfec78de06 fix copy_term and frozen (obs from Ulrich). Vitor Santos Costa 2009-05-18 07:07:42 -07:00
  • a1203e56dd we don't always expand stack on attvar overflow. Vitor Santos Costa 2009-05-17 22:51:34 -07:00
  • 17e36dbda1 keep things right if there is a temporary overflow in loopy term checking. Vitor Santos Costa 2009-05-17 12:39:51 -07:00
  • a52317b9c2 fix Yap_shift_visit for malloc: a few miscalculations... Vitor Santos Costa 2009-05-17 12:26:09 -07:00
  • 55036ad9bb check if argument to when is bound (obs from Ulrich Neumerkel). Vitor Santos Costa 2009-05-17 10:58:21 -07:00
  • f4e3869025 include messages for out of stack and friends. Vitor Santos Costa 2009-05-17 10:40:14 -07:00
  • 44f7e67394 make sure we reset global variables when exiting a thread Vitor Santos Costa 2009-05-17 10:38:39 -07:00
  • ae5bf4d6e7 support resource errors for out of memory conditions. improve stack dump message. Vitor Santos Costa 2009-05-17 09:42:56 -07:00
  • d8590f2587 return error message if no room available. Vitor Santos Costa 2009-05-17 09:42:40 -07:00
  • 55e37020a4 return copy when copying term Vitor Santos Costa 2009-05-17 09:41:59 -07:00
  • 94e740ae31 reduce the initail amount of space for globals Vitor Santos Costa 2009-05-17 09:41:34 -07:00
  • de1fb3e2c5 copy exception term early on to avoid dangling pointers. Vitor Santos Costa 2009-05-17 08:02:34 -07:00
  • 8e7695a42c make Yap_Eval only on entry. Vitor Santos Costa 2009-05-16 22:41:44 -07:00
  • 1058a350c6 more cleanups: get rid of dead code. Vitor Santos Costa 2009-05-16 12:08:11 -07:00
  • 1fe1b19534 cleanup handling of attributed variables: - try to make it clear when to call project - try to make it clear when to generate goals for attributed variables (get_goalist_from_attvars). - change call_residue to rely this infrastructure and then add extra variables. - change frozen never to call project. Vitor Santos Costa 2009-05-16 12:00:56 -07:00
  • d333de262e fix typo (Ingo Molnar). Vitor Santos Costa 2009-05-15 20:55:24 -05:00
  • 8cfd6cf7fc make length steadfast (from Ulrich Neumerkel). Vitor Santos Costa 2009-05-15 20:54:14 -05:00
  • 7953004610 fix unused variable warning. Vitor Santos Costa 2009-05-13 17:12:12 -05:00
  • 6d8649226c fix tabling code. Vitor Santos Costa 2009-05-13 17:11:46 -05:00
  • bdf8b890e3 copy_term/3 Vitor Santos Costa 2009-05-13 17:11:21 -05:00
  • 04fa96e8a0 add call_residue_vars (SWI and SICStus 4 compatibility). Vitor Santos Costa 2009-05-13 16:43:24 -05:00
  • bddc09b963 documentation patch (from Ulrich Neumerkel). Vitor Santos Costa 2009-05-12 17:06:33 -05:00
  • 13e2febd30 stack overflow instructions could be wiped out by Restore. Vitor Santos Costa 2009-05-12 17:01:53 -05:00
  • 39ccbd345d make options -T -L -G work as SWI: they impose a maximum size limit Vitor Santos Costa 2009-05-10 13:36:55 -04:00