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

Commit Graph

  • e252ef0b2f more debugger fixes! - make sure donotrace and oncenotrace are known to the signal mechanism: they should disable creeping - avoid creep at deallocate: it is a very bad idea :( Vítor Santos Costa 2008-09-23 23:43:01 +01:00
  • ebbefd71ce debugger fixes: fix $execute0 and $call: they should be handled explicitely fix missing ! for builtins in debugger meta-call Vítor Santos Costa 2008-09-23 22:50:25 +01:00
  • 1e8de3f86c fix ) in arity 0 predicates Vítor Santos Costa 2008-09-23 22:49:44 +01:00
  • 895e29d444 FIX: '$execute0' should be invisible to creep processing Vitor Santos Costa 2008-09-22 18:07:50 +01:00
  • bcb6edfb8a include PtoAtomHashEntryAdjust to reduce casts Vitor Santos Costa 2008-09-18 17:59:16 +01:00
  • 20e8924bba fix type warning in EnvPreg/error.c Vitor Santos Costa 2008-09-18 17:48:31 +01:00
  • 7f51339a97 fix syntax error in current_predicate Vitor Santos Costa 2008-09-18 17:48:01 +01:00
  • 02893cc83f Ricardo Rocha's code for user managed suspension. changed code from absmi.c to tab.macros.h Vitor Santos Costa 2008-09-18 17:35:21 +01:00
  • 5db95de67d first cut at making GPROF work on Leopard based on Ocaml macport. Vitor Santos Costa 2008-09-18 17:34:46 +01:00
  • 821cc384a3 allow statistics on data base keys of integers. change pred_entry not to fail on this case. avoid using functor in this case. Vitor Santos Costa 2008-09-15 04:30:09 +01:00
  • e35af2a352 experiments with early completion. Vitor Santos Costa 2008-09-15 04:29:26 +01:00
  • 537dbb19fa "single" indexing cannot disable wait nodes for LU predicates. Otherwise, memory recovery breaks down. Vitor Santos Costa 2008-09-14 05:11:51 +01:00
  • 473012316a put tracer.c back to normal. Vitor Santos Costa 2008-09-14 05:11:35 +01:00
  • f4100a8095 small update to instruction name Vitor Santos Costa 2008-09-12 14:09:29 +01:00
  • d70cb39c1d fix answer_trie compilation and execution: - YapOpcodes.h should have do/trust/try/trust: force this order in tab.tries.insts.i - retry and trust instructions should not trust YENV Vítor Santos Costa 2008-09-05 18:34:26 +01:00
  • fdf762e326 push changes to make tabling work: don't ignore tabling and yapor fields in optype. Vítor Santos Costa 2008-09-05 05:22:19 +01:00
  • 65ccd336b2 fix a stupid threads bug Vítor Santos Costa 2008-09-04 16:58:45 +01:00
  • 6046f9f913 more fixes to debugger: make l and s option do what they are supposed to do. fix k and t, they had been broken. Ideas: DebugOn is now in the system and can disable spypoints. Have an extra flag to distinguish fast (t,z,k) and slow(l,s) jumping. Vítor Santos Costa 2008-09-02 03:48:02 +01:00
  • 8f69c35e7f optime access to execute_cpred Vítor Santos Costa 2008-09-01 16:48:05 +01:00
  • 84ad9adff0 fix clause to support new execute_cpred Vítor Santos Costa 2008-09-01 16:30:37 +01:00
  • 83ebf097df add support for dbusage Vitor Santos Costa 2008-09-01 04:45:55 +01:00
  • 236ffa0718 add useful debugging info on data base usage. Vitor Santos Costa 2008-09-01 04:45:16 +01:00
  • 2a53a46d12 document lineutils Vitor Santos Costa 2008-09-01 04:44:54 +01:00
  • 6062b1c738 document lineutils library Vítor Santos Costa 2008-09-01 02:41:09 +01:00
  • ff75b8ff85 document 3 statistics/2 option. Vítor Santos Costa 2008-09-01 02:01:01 +01:00
  • 0fc361d331 indexer was going bad on _pop instruction. Vítor Santos Costa 2008-08-30 23:59:09 +01:00
  • b2d9eb7aac instructions xyc really has optype xyn. Vítor Santos Costa 2008-08-30 23:00:50 +01:00
  • 2a84e259a2 Upgrade to new CHR (with Jan's changes). Found out I need to add an extra field to allocate so that the exception handling code knows where the clause is. Protect creep_allowed from NULL pointers. Vitor Santos Costa 2008-08-30 16:24:44 +01:00
  • 2ae9677f4b Added shlib as git module Vitor Santos Costa 2008-08-30 14:43:25 +01:00
  • 882178c02f support paths like the term a/b. Vítor Santos Costa 2008-08-30 04:34:27 +01:00
  • 1226b58d8e The debugger relied on the environment stack. To fix it: - absmi.c now tells who called the debugger, besides who it was calling - this is used to control whether we allow a goal to be debugged. - I have creep to start creeping immediately, and signal_creep to tell the next meta-call to creep what it executes! - The debugger uses CalledFromTheDebugger to know if it is within the debugger. If so, we do not need to creep on leaving. Vítor Santos Costa 2008-08-30 02:39:36 +01:00
  • d636450512 more fixes to make rclause.h automatic: define new type n for Integers, as they were mistaken for Term. define early return cases and ifdef exceptions. Vitor Santos Costa 2008-08-29 17:27:11 +01:00
  • 6063c019de generate rclause.h automaticallywq Vítor Santos Costa 2008-08-29 05:25:36 +01:00
  • 04c944972b -L swi compatibility had broken standard -L usage in YAP :(wq Vítor Santos Costa 2008-08-29 05:19:36 +01:00
  • 05f93cd4e6 be more careful about marking attributed variables: - only mark unbound attributed variables in first step. - remove deterministic bindings for those variables. - mark non-deterministic bindings at mark_trail. Vítor Santos Costa 2008-08-28 17:41:07 +01:00
  • 17ba194c1e Include new instruction execute_cpred to perform tail optimisation for builtins. Required changes: - be careful about creeping in deallocate: it may be followed by something that is not a cut nor a proceed. - include new instruction in absmi.c: it is a merge of execute and call_cpred. - change compiler to generate execute even for C builtins. - be careful with dexecute: it may not be done if execute_op is a C builtin. - if we are in execute_cpred, the garbage collector cannot trust P: instead it must look at CP to find out the size of the current environment. The macro gc_P receives that information. - We don't need to change CP if we do a meta-call from within execute_cpred (and we in fact cannot). Check places where we do meta-calls: exec, clause in cdmgr, and lu_recorded. Vítor Santos Costa 2008-08-28 04:43:00 +01:00
  • ff12e2bdbf use inlines instead of macros; add ENV_Parent function, to walk an environment chain Vítor Santos Costa 2008-08-28 04:37:18 +01:00
  • 3a7b3e15c6 include type information in mark_delays. Vitor Santos Costa 2008-08-27 17:12:03 +01:00
  • 24c2650472 get rid of suprious definition of $message Vitor Santos Costa 2008-08-27 00:43:40 +01:00
  • d5d5a6c95f escape from NULL pointer. Vitor Santos Costa 2008-08-26 01:08:52 +01:00
  • 9821770ce4 remove original CHR from tree. Vitor Santos Costa 2008-08-26 00:45:53 +01:00
  • 42bed282b4 Updated to Working CHR Vitor Santos Costa 2008-08-26 00:18:06 +01:00
  • 6f0b3cf2f5 fix flatten/2: it would not create variable elements. Vitor Santos Costa 2008-08-25 20:41:09 +01:00
  • 8169ef0343 fix stack_dump Vitor Santos Costa 2008-08-25 15:20:18 +01:00
  • a6b9d096a6 make sure we always close intermediate memory streams on exit. Vitor Santos Costa 2008-08-25 15:19:00 +01:00
  • 7a94144ccb support writeln/1 for SWI compatibility. Vitor Santos Costa 2008-08-24 16:09:33 +01:00
  • a72355f288 redefine arg/3 as genarg/3 unless first argument is bound on call. term_variables/3 and /2 is now a builtin-in, and thus not in the interace. Vitor Santos Costa 2008-08-24 14:25:04 +01:00
  • 46744810ae support exporting DCG rules as // (swi compatibility). Vitor Santos Costa 2008-08-24 14:24:02 +01:00
  • 2e2aaf040b add PL_fail and PL_succeed to SWI interface emulation. Vitor Santos Costa 2008-08-24 14:22:49 +01:00
  • e1544a0358 genarg is at arg module, not at globals module! Vitor Santos Costa 2008-08-24 14:18:32 +01:00
  • 33af161136 add // operator for SWI compatibility. Vitor Santos Costa 2008-08-24 00:46:20 +01:00
  • 52a927dcf7 add 'G' option as alias to 'S', again for SWI compatibility. Vitor Santos Costa 2008-08-24 00:40:40 +01:00
  • 92f99fce25 more SWI compatibility fixes: make -f option test if there is an argument and if so use it. Vitor Santos Costa 2008-08-24 00:30:25 +01:00
  • e0f108ee55 allow -L option to be used for stack size (in SWI compatibility). Vitor Santos Costa 2008-08-23 17:48:38 +01:00
  • 88759dbb33 make -t option allow top-level-goal if number parsing fails. add '.' to goals in yap.c so that we can parse them. Vitor Santos Costa 2008-08-23 17:26:41 +01:00
  • a7f75fffef Added CHR as git module Vitor Santos Costa 2008-08-23 02:48:10 +01:00
  • 63d77c3561 Deleted CHR Vitor Santos Costa 2008-08-23 02:45:57 +01:00
  • b6409fc980 fix weird instruction with tabling and new optypes; fix a stray ld. Vitor Santos Costa 2008-08-22 03:54:10 +01:00
  • 461d24360a support for install_docs Vitor Santos Costa 2008-08-22 03:53:45 +01:00
  • 29e161399c Merge branch 'master' into devel Vítor Santos Costa 2008-08-21 13:49:22 +01:00
  • 2fb1cb6e00 fix problem in manual (report from Bernd Gutmann) Vítor Santos Costa 2008-08-21 13:45:49 +01:00
  • d96461f04c add missing files Vítor Santos Costa 2008-08-21 13:39:56 +01:00
  • f499115573 redo lost updates Vítor Santos Costa 2008-08-21 13:38:25 +01:00
  • 258796098e fix d optype vsc 2008-08-22 02:03:39 +00:00
  • 27c1f89dca small change to c* optypes vsc 2008-08-22 02:01:27 +00:00
  • 82efc8fb2c small fixes to compile in Windows again. Trust _isatty vsc 2008-08-22 01:59:48 +00:00
  • 0719b8a19d small fixes to compile in Windows again. Trust _isatty Vitor Santos Costa 2008-08-19 15:50:57 +01:00
  • 16d0f2e749 fix TopLevelGoal to handle correctly undefined predicates. Make sure that undefined predicated will not force the boot process to loop. vsc 2008-08-19 13:33:45 +00:00
  • df22b925b5 fix thread messages vsc 2008-08-19 00:44:37 +00:00
  • d035b22f2c continue fixing vsc 2008-08-13 10:29:48 +00:00
  • af01eeee07 patch previous patch for Linux (Keri Harris) vsc 2008-08-13 10:26:55 +00:00
  • 7db64c5e1c more locking fixes vsc 2008-08-13 01:16:26 +00:00
  • 8350d52c78 DESTDIR fixes vsc 2008-08-12 22:04:51 +00:00
  • d170b34624 MaxOS fixes Avoid a thread deadlock improvements to SWI predicates. make variables_in_term system builtin. vsc 2008-08-12 01:27:23 +00:00
  • ad67cd43af Added built-in predicate format/1 for compatibility with SWI-Prolog. pmoura 2008-08-10 15:44:12 +00:00
  • b3a0b412f1 fix threads/0. vsc 2008-08-08 16:05:10 +00:00
  • 5776abb31c more thread fixes. vsc 2008-08-08 14:05:34 +00:00
  • 2581c3a3bf more threadin fixes vsc 2008-08-07 20:51:23 +00:00
  • 6d23a23a81 fix debugging info vsc 2008-08-06 23:05:49 +00:00
  • dbd6e1b139 fix fix vsc 2008-08-06 17:34:15 +00:00
  • 85d7d39dbf more thread fixes vsc 2008-08-06 17:32:22 +00:00
  • ea812ad059 fix expand_term to list at end_of_file vsc 2008-08-06 10:15:48 +00:00
  • 2c829f8e5c fixes to module expansion vsc 2008-08-06 00:56:11 +00:00
  • a3983fa820 swi compatibility support vsc 2008-08-01 21:44:25 +00:00
  • 437fda3c61 fix bad syntax in config.h and first step to fix chr compilation. vsc 2008-07-27 22:31:36 +00:00
  • e1866e2917 improve C-interface and SWI comptaibility a bit. vsc 2008-07-24 16:02:04 +00:00
  • 778215b85c Added missing documentation on the call/N family of built-in predicates. pmoura 2008-07-23 11:43:15 +00:00
  • 75c72d7b7d SWI and module fixes vsc 2008-07-22 23:34:50 +00:00
  • dc53522604 small fixes vsc 2008-07-16 10:58:59 +00:00
  • d832a81991 add extra versions to maplist and fix apply macros to handle predicates with the same aargument. vsc 2008-07-16 10:45:47 +00:00
  • dc45cde7ee flatten does not need to be defined as a system predicate. vsc 2008-07-16 10:34:00 +00:00
  • d8e5f2c895 fixes by Bart and Tom: mostly libraries but nasty one in indexing compilation. vsc 2008-07-11 17:02:10 +00:00
  • 0dd1ed933e improve graphs a bit. vsc 2008-06-26 13:09:15 +00:00
  • bcfa65e227 support for glib-2.0 rzf 2008-06-19 21:28:33 +00:00
  • a500ac9f97 support for glib-2.0 rzf 2008-06-19 21:09:56 +00:00
  • 82d9ed1521 upgrade to 5.1.4 vsc 2008-06-18 10:02:27 +00:00
  • c808b52451 make DOS compatible vsc 2008-06-17 21:21:35 +00:00
  • 6da7cb9569 fix missing decl vsc 2008-06-17 21:04:27 +00:00
  • 39c4a2e67f fix c_interface not to crash when people try to recover slots that are not there. fix try_logical and friends to handle case where predicate has arity 0. vsc 2008-06-17 13:37:51 +00:00
  • e90f744e5e fix stack growth in globals fix compilation messages vsc 2008-06-16 21:22:15 +00:00