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

Commit Graph

  • 9286cf54fa old changes vsc 2002-12-13 22:09:33 +00:00
  • 8b867ea4de new builtins: nth_clause, nth_instance. allow clause/3 on static predicates. predicate_property(P,number_of_clauses(N)). improve profiling code. vsc 2002-12-13 20:00:41 +00:00
  • f7161d37c4 support for tries vsc 2002-12-12 20:47:36 +00:00
  • 910e50d980 some_recordedp never gets a third argument bound vsc 2002-12-11 16:08:35 +00:00
  • e4185f145c document statistics/0. vsc 2002-12-11 15:04:13 +00:00
  • 81ee7099d2 statistics/0 should also show maximum heap spent. vsc 2002-12-11 14:56:09 +00:00
  • 6014cd75ca initial support for vc++ vsc 2002-12-10 19:09:50 +00:00
  • 696fdc338b start working on configure support for vc WIN should always disable buffering on stderr fix some warnings in ypsocks do some cleanups in save.c vsc 2002-12-10 19:08:25 +00:00
  • 52f4eb1895 protect <readline/readline.h> vsc 2002-12-10 14:44:47 +00:00
  • 00886e5205 key_statistics/3 disable stack dump by default: yap_flags(stack_dump,_). vsc 2002-12-10 14:36:22 +00:00
  • 8bccb86a43 do some more checking and document. vsc 2002-12-10 00:32:22 +00:00
  • 01d2448b34 allow recorded(X,Y,Key_Bound). vsc 2002-12-10 00:22:01 +00:00
  • 1db1bb484e make lcc happy. vsc 2002-12-06 20:03:26 +00:00
  • 13e409c659 More Yap_ fixes. vsc 2002-12-03 06:06:44 +00:00
  • 763b59bb05 $meta_predicate should be in user. vsc 2002-12-03 06:06:24 +00:00
  • 9bb13a1381 divide overflow time/1000 (Pat Caldron). vsc 2002-12-03 06:03:27 +00:00
  • 052a52f04f oops, left a line in docs for eraseall/1. vsc 2002-12-02 18:15:14 +00:00
  • d3dc039ddc fix documentation for eraseall vsc 2002-12-02 18:12:58 +00:00
  • 4238da327d \+,not and | should be module processed in the same way as -> ; and , vsc 2002-12-02 18:08:25 +00:00
  • 5b2faebb9d Yapor and normal system use same or_last vsc 2002-12-01 04:14:41 +00:00
  • 28ec10b764 meta-call should not have choice-points when co-routyining starts. This happened because of ; Thanks to Patrick Caldron. vsc 2002-11-26 23:00:32 +00:00
  • 7e5b706936 extra array functionality fix YAPOr compilation. vsc 2002-11-26 22:28:32 +00:00
  • e216aab2c6 Christian's patches for OPTYap. vsc 2002-11-26 22:19:48 +00:00
  • 8264bfeb9e fix debugger vsc 2002-11-26 22:16:30 +00:00
  • 2130f41f44 fixes by Nuno to c-interface. vsc 2002-11-26 16:52:09 +00:00
  • 61f2133901 fix stupid bug with mpi_receive/3 stasinos 2002-11-21 15:57:23 +00:00
  • fc684b3be7 use macros instead of hard-wired numbers for the 3rd argument of Yap_plwrite() stasinos 2002-11-21 15:54:38 +00:00
  • 3e0216413a write_depth(0) is an acceptable option for write_term. vsc 2002-11-20 20:02:11 +00:00
  • 0018af2b05 <0 would not work, it would set to default. vsc 2002-11-20 20:01:33 +00:00
  • 2c9190dee8 Try to make plwrite reentrant by getting rid of (some) global variables. vsc 2002-11-20 20:00:56 +00:00
  • e133c87b3b fix cycle when outputting a choicepoint for retry_c. vsc 2002-11-20 19:25:45 +00:00
  • 8934201fd3 oops! vsc 2002-11-20 15:07:36 +00:00
  • 4e727b2f34 get rid of annoying debugging message. vsc 2002-11-20 15:04:37 +00:00
  • f339741dd2 use install_win in all windows versions. vsc 2002-11-20 14:36:19 +00:00
  • 4a5d2809ab all windows should use install win cygwin only needs -lcygwin vsc 2002-11-20 05:29:43 +00:00
  • 1530bf21ed compiler should check for variables first! vsc 2002-11-20 05:17:26 +00:00
  • bf37b29b4b better handling for scanning errors; make Yap_error_output a global variable. vsc 2002-11-19 17:10:45 +00:00
  • 35f1d9cf63 initialization predicates should execute in consulted module. vsc 2002-11-19 14:43:17 +00:00
  • d7f80ea1ad Stasinos noticed that _YAP_ breaks C standard: use Yap_ instead. vsc 2002-11-18 18:18:05 +00:00
  • 212c64f782 fix bad documentation on remove_duplicates. vsc 2002-11-18 17:25:22 +00:00
  • f53fdc54cb Patrick Caldon: make goal_expansion/3 work recursively fixes a couple of spelling errors in the manual vsc 2002-11-18 17:17:22 +00:00
  • 735c5bed1c FileNameBuf is now _YAP_FileNameBuf stasinos 2002-11-14 17:33:37 +00:00
  • a4808d86da _YAP_RecoverSlots() and YAP_RecoverSlots() return void stasinos 2002-11-14 17:32:08 +00:00
  • 304fad4247 commit configure vsc 2002-11-13 15:29:44 +00:00
  • 81716ef31f WIN32 support updates and some fixes. vsc 2002-11-12 19:53:52 +00:00
  • 9cfd0deeab all global symbols should now start with _YAP add the T formatting control sequence for debugging the internal representation of terms stasinos 2002-11-12 10:29:31 +00:00
  • 9d4712b400 all global symbols should now start with _YAP stasinos 2002-11-12 10:25:11 +00:00
  • 0b562d3e2d updates to configure vsc 2002-11-12 04:36:59 +00:00
  • 99c2029cdc support for inlines.o vsc 2002-11-12 04:36:05 +00:00
  • 6c626484f0 fix module stuff (at last) debugger should call goal_expansion in spycalls. vsc 2002-11-12 00:33:48 +00:00
  • f56a874e3b fix library/system Makefile vsc 2002-11-11 20:01:22 +00:00
  • 9875d2ed7c add maximum limit to how much we can dump on stack error. vsc 2002-11-11 19:48:07 +00:00
  • 8c8a7c02ee move inline callables to their own space. vsc 2002-11-11 17:40:31 +00:00
  • 7b2c4dc6ff all global symbols should now start with _YAP global functions should not be called from within file (bug in binutils/WIN32). vsc 2002-11-11 17:38:10 +00:00
  • 932a850d5e Added note on updated Logtalk version (2.14.4). pmoura 2002-11-05 23:59:46 +00:00
  • 7be5341ee0 don't show inner preds in stack dump. debugger should never show (a,b). vsc 2002-11-05 19:14:42 +00:00
  • ab4168aff5 use MPI_Probe() instead of two send/receives, simplify mpi_parse() stasinos 2002-11-05 11:14:08 +00:00
  • 3075aa7fa1 Logtalk 2.14.4 release files. pmoura 2002-11-04 21:29:14 +00:00
  • 4326a07f2e make compile module aware. vsc 2002-10-31 19:27:13 +00:00
  • ae570afa71 fix portray_clause(a(1)) vsc 2002-10-31 17:35:24 +00:00
  • 33a7448b24 work around a possible redhat+MPICH bug stasinos 2002-10-31 11:13:21 +00:00
  • a282a4e7c1 get rid of annoying debugging message. vsc 2002-10-31 00:32:08 +00:00
  • e7a8249e02 search for trail fault was broken. vsc 2002-10-30 20:30:16 +00:00
  • bbeb11f0d0 oops, -l was broken. vsc 2002-10-30 20:23:27 +00:00
  • 8ac94c1d88 cleanup restore: use same code for check_saved_state and for actual restore, tell exact path of file, try several files even if first one is corrupt. vsc 2002-10-30 17:27:19 +00:00
  • 6d8c592775 fix garbage collection for delays (report from Bart Demoen). vsc 2002-10-29 17:23:32 +00:00
  • ace4b58e5b fix overflow bugs in parser and scanner: check if we have space before we start writing\! stasinos 2002-10-29 14:02:43 +00:00
  • ea76f86890 If parser overflows in local stack, expand global with scanned terms. stasinos 2002-10-29 13:58:21 +00:00
  • 6a4f06cde6 don't forget that gc may not give you all the space you want the first time: stdpreds.c vsc 2002-10-29 04:19:09 +00:00
  • 4e80f5feeb fix duplicated entry for term_variables/2 (Pat Caldon) vsc 2002-10-29 03:13:57 +00:00
  • 36a9f180c3 fix overflow bugs in parser and scanner: check if we have space before we start writing! vsc 2002-10-29 03:10:00 +00:00
  • 8d9d9cb4d5 optimise tail recursion when compiling lists. vsc 2002-10-28 20:01:53 +00:00
  • e7fc4d0059 If parser overflows in local stack, expand global with scanned terms. vsc 2002-10-28 20:00:59 +00:00
  • ad552d04b4 avoid recursive calls while parsing lists. vsc 2002-10-28 17:46:55 +00:00
  • 8c71464b80 cleanup patches. vsc 2002-10-27 18:11:01 +00:00
  • 4eb3336b3c back to config2.5 vsc 2002-10-24 03:32:04 +00:00
  • 7f4fdb1652 don't debug (a,b), debug a and then b. vsc 2002-10-23 21:43:55 +00:00
  • ead95fb0d4 fix warnings; improve SIGINT handling if !isastty vsc 2002-10-23 20:55:37 +00:00
  • 95e6dea185 respect prefix option in WIN32 check for rint in configure and use a simple hack to replace it if needed. vsc 2002-10-23 17:10:33 +00:00
  • e381b4b415 fix script documentation :-(. vsc 2002-10-22 04:38:26 +00:00
  • 593162243d check for overflows while building large constants (atom_chars and friends). vsc 2002-10-22 04:00:11 +00:00
  • 5fd92de03b further support for threads. vsc 2002-10-22 03:45:24 +00:00
  • 5a5c674300 disable stack shifting and garbage collection in the presence of multiple threads. vsc 2002-10-21 22:52:36 +00:00
  • 0351b9f0ab make --enable-threads work on CVS release. vsc 2002-10-21 22:14:29 +00:00
  • f7f3da7704 MacOSX dl patches by ROberto Chinnini vsc 2002-10-20 18:43:11 +00:00
  • a721ad3e27 more of the same module fixes. vsc 2002-10-18 14:52:58 +00:00
  • d21021da0d get rid of UnCutable a:(a(X),b(X)) should be the same as a:a(X), a:b(X). Use PushModPred to force that. vsc 2002-10-18 13:54:53 +00:00
  • e19f91db60 missing variable when converting from P to S representation. vsc 2002-10-17 19:06:44 +00:00
  • b1b021d168 make it linux compatible again. vsc 2002-10-17 03:42:14 +00:00
  • a1edbf5b9c WIN32 fixes vsc 2002-10-17 01:37:46 +00:00
  • 4a71cbda80 fix retry_head to work correctly if the argument is dereferenced. vsc 2002-10-17 00:48:52 +00:00
  • 153b2cb2a3 YAP would break when gc was called from portray: always save arguments before calling plwrite with possible portray only do it for portray because plwrite may be called from unsafe environments make Slot machinery mainstream. vsc 2002-10-17 00:05:29 +00:00
  • 78923655b5 dynamic predicates with no clauses are not undefined, so they should not point at UNDEFCODE but at FAIL_CODE vsc 2002-10-14 16:25:38 +00:00
  • ca930d6321 improve docs on current module a little bit vsc 2002-10-14 16:22:33 +00:00
  • b9ae6fd4df avoid clause vsc 2002-10-14 16:09:08 +00:00
  • efc7c1c5a6 Christian patches for call_cleanup and documentation. vsc 2002-10-11 03:39:11 +00:00
  • 523fae9544 stack overflow patches: process overflows as high-level as possible; introduce overflow related errors ExpandWorkSpace should never call Error: use ErrorMessage instead, format_putc should never release memory, causes memory corruption, Linux does not like MAP_FIXED, it can overwrite the actual program code. condor: twick configure to disable readline with condor. ---------------------------------------------------------------------- vsc 2002-10-10 05:58:49 +00:00
  • 3e662aca31 adjust HeapTop in save. vsc 2002-10-09 04:26:48 +00:00
  • 3ccfa0edaa fix @end table vsc 2002-10-08 16:05:26 +00:00
  • aae01edde2 keep on improving stack dumps. vsc 2002-10-08 14:44:44 +00:00