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

Commit Graph

  • 945fff50a2 we should only recover H after we backtrack, never before. Vitor Santos Costa 2009-11-17 10:03:14 +00:00
  • cef6c9da36 fix bad processing of eof_action flag (obs from Ulrich, #147). Vitor Santos Costa 2009-11-17 02:37:56 +00:00
  • 1c52d17a4d get_bom should consider the case the file is empty. Vitor Santos Costa 2009-11-17 02:37:29 +00:00
  • 7b85efff0c subsumes should check for loops (Ulrich's #146). Vitor Santos Costa 2009-11-17 02:08:01 +00:00
  • b7646836b6 remove some weird white spaces. Vitor Santos Costa 2009-11-17 02:07:48 +00:00
  • 832f3d2e4a fix missing header for Yap_rational_tree_loop Vitor Santos Costa 2009-11-17 02:07:06 +00:00
  • f7214090cb make operators defined within a module local to the module, operators in header are still global to every module, though (UN #131). Vitor Santos Costa 2009-11-17 00:59:06 +00:00
  • ce5ae8b972 another oops :( Vitor Santos Costa 2009-11-17 00:48:16 +00:00
  • 84022de89d disable creep when top-level starts: this prevents creeping after a top-level. Vitor Santos Costa 2009-11-17 00:32:38 +00:00
  • b56894e0d5 indenting. Vitor Santos Costa 2009-11-17 00:32:27 +00:00
  • c51c17aa52 make sure to get valid terms in meta_call, not references. Vitor Santos Costa 2009-11-17 00:23:34 +00:00
  • 73cdfe0f5b oops in previous change :( Vitor Santos Costa 2009-11-17 00:23:22 +00:00
  • 59935893ac fix bad syntax (obs from Ulrich Neumerkel #137, after #138) Vitor Santos Costa 2009-11-17 00:13:54 +00:00
  • 3f30a2bf18 expand meta-predicates before trying to debug them. Vitor Santos Costa 2009-11-17 00:09:23 +00:00
  • 0d23db6b6d fix use of rm * when we have lots of examples. Vítor Manuel de Morais Santos Costa 2009-11-11 12:36:54 +00:00
  • a3ac75edcc fix bad usage of configure (obs from Jose Santos). Vítor Manuel de Morais Santos Costa 2009-11-11 12:34:58 +00:00
  • 7058b6b35f minisat swi interface package. Vítor Manuel de Morais Santos Costa 2009-11-11 10:56:37 +00:00
  • eac1cc5b9d fix C++ complaint. Vítor Manuel de Morais Santos Costa 2009-11-11 10:56:19 +00:00
  • 4b3411e878 support for minisat interface fixes for newer versions of autoconf. Vítor Manuel de Morais Santos Costa 2009-11-11 10:55:36 +00:00
  • 99b2347cd8 SWI supports xor operator. Vítor Manuel de Morais Santos Costa 2009-11-11 10:54:38 +00:00
  • 51f6f509e1 hack to make ProbLog run faster on very large domains. Vítor Manuel de Morais Santos Costa 2009-11-11 10:54:05 +00:00
  • 8ecac6c2f9 sebuf on stdin was called if any std stream was a tty. Bad. (obs from Ashwin Srinivasan). Vítor Manuel de Morais Santos Costa 2009-11-10 11:25:56 +00:00
  • b5ad71c9c1 improve functor tracing Vítor Manuel de Morais Santos Costa 2009-11-10 11:25:39 +00:00
  • 3b7e5544f6 m:subgoal should compile subgoal with m as default module (obs from Nuno Fonseca). Vítor Manuel de Morais Santos Costa 2009-11-04 12:29:31 +00:00
  • 0e1fae17d9 make sure action is deterministic on key input. Vítor Manuel de Morais Santos Costa 2009-11-04 12:29:09 +00:00
  • 8f46f3d71d fix bad passing of ! destination if we were running at an exec: affected debugger. Vítor Manuel de Morais Santos Costa 2009-11-04 12:17:17 +00:00
  • 6870ba039d awk systime() is not standard; hope to have better luck with date +%s Vitor Santos Costa 2009-11-04 09:04:13 +00:00
  • 717d6ac4c8 handle meta-calls to unbound variables. first step to improve exceptions. Vitor Santos Costa 2009-11-04 00:10:27 +00:00
  • 2fdf8e9bda fix bad ! register when calling continuation of meta-predicate (obs from A Kimmig). Vítor Manuel de Morais Santos Costa 2009-11-03 23:17:06 +00:00
  • 69d34fb0ce fix over zealous cleaning of attributed variables in heapgc.c Vítor Manuel de Morais Santos Costa 2009-11-03 15:07:48 +00:00
  • 146718c060 fix bad call to tabling data structures. Vítor Manuel de Morais Santos Costa 2009-11-03 15:06:48 +00:00
  • 995b82cc6e Nuno Fonseca's trie writing updates. Vítor Manuel de Morais Santos Costa 2009-11-03 14:37:12 +00:00
  • 7fddfbc189 fix bad tabling restore. Vítor Manuel de Morais Santos Costa 2009-11-02 16:43:24 +00:00
  • 15fc06764a fix declaration and message_hook/3 (obs from Paulo Moura) Vitor Santos Costa 2009-11-02 12:53:51 +00:00
  • a628079e00 make sure we walk every clause when doing restore mega_clause. Vitor Santos Costa 2009-11-02 12:46:39 +00:00
  • 021141188f fix missing $live Vitor Santos Costa 2009-11-02 12:46:28 +00:00
  • 6a8cee8b79 compilation fixes Vítor Manuel de Morais Santos Costa 2009-10-31 00:18:13 +00:00
  • bda231f24d Use "Foreign.h" Vitor Santos Costa 2009-10-31 00:02:17 +00:00
  • 923094bd01 more updates to HEAPFIELDS. Vitor Santos Costa 2009-10-30 23:59:00 +00:00
  • 7116d1385b move more fields to HEAPFIELDS Vitor Santos Costa 2009-10-28 15:53:23 +00:00
  • 838b14cb77 more data structures. Vitor Santos Costa 2009-10-28 15:20:46 +00:00
  • d3f969e1b1 various_codes includes all the head pointers to the code space. Try to centralise everything in a single file (HEAPFIELDS) and generate them from a Prolog script (buildheap). Vitor Santos Costa 2009-10-28 13:11:35 +00:00
  • d373f23b50 make some sense of the mess that was various_codes * Vitor Santos Costa 2009-10-27 10:48:37 +00:00
  • 36a7e5c59e fix error handling in syntax_error (don't assume ARG2 has the output). Vitor Santos Costa 2009-10-26 22:56:18 +00:00
  • 4c8eb33e06 we had args already (no need for argv0) improve error handling in YAP_ReadBuffer Vitor Santos Costa 2009-10-26 10:42:19 +00:00
  • 96da71b514 fix console.c to also add / (obs from Paulo Moura). Vitor Santos Costa 2009-10-23 23:54:24 +01:00
  • 9303efd6d6 fix singleton warning. Vitor Santos Costa 2009-10-23 23:54:00 +01:00
  • 78d2960d16 bad doc on nth/4 (obs from Daniel Diaz) Vitor Santos Costa 2009-10-23 23:21:42 +01:00
  • 981d060ffb fix nth/4 going backwards (obs from Daniel Diaz). Vitor Santos Costa 2009-10-23 23:19:55 +01:00
  • 0ea348c26d extend SWI interface with PL_toplevel and to handle C++ code. prolog/0 built-in fixes to parms.h changes. Vitor Santos Costa 2009-10-23 16:50:43 +01:00
  • 0179998d60 change Heap.h to YapHeap.h rename $live to prolog/0 (for SWI compatibility). Vitor Santos Costa 2009-10-23 14:22:17 +01:00
  • 253444d7ca support parms.h pass argv[0] Vitor Santos Costa 2009-10-23 09:09:16 +01:00
  • da0186a0aa fix unused stuff. Vitor Santos Costa 2009-10-21 08:35:09 +01:00
  • 0f99e336cc YAPVERSION Vitor Santos Costa 2009-10-21 00:20:18 +01:00
  • c6e16a608a fix @ option in format/2 Vitor Santos Costa 2009-10-21 00:07:31 +01:00
  • b2eb437625 minor changes to CLP(BN). Vitor Santos Costa 2009-10-21 00:05:23 +01:00
  • 54465b08f1 support ISO extension popcount/1 Vítor Manuel de Morais Santos Costa 2009-10-20 10:03:10 +01:00
  • 90d8b42a85 document lsb Vítor Manuel de Morais Santos Costa 2009-10-20 09:51:55 +01:00
  • 36e0c6bcf7 support for msb Vítor Manuel de Morais Santos Costa 2009-10-20 09:50:51 +01:00
  • d18cb214fa implement epsilon (from ISO) Vítor Manuel de Morais Santos Costa 2009-10-20 09:21:59 +01:00
  • 7223b0c9a5 check for float.h Vítor Manuel de Morais Santos Costa 2009-10-20 09:11:10 +01:00
  • d810cbd41d we're moving down, not up, in both cases! Vítor Manuel de Morais Santos Costa 2009-10-19 16:39:40 +01:00
  • 91b47a438b indenting stuff. Vítor Manuel de Morais Santos Costa 2009-10-19 16:39:06 +01:00
  • 230d8f504f should make sure when we reset a trail_entry it looks like a variable pointer. Vítor Manuel de Morais Santos Costa 2009-10-19 16:37:25 +01:00
  • 460d0c9f6b fix compilation in older gccs. Vítor Manuel de Morais Santos Costa 2009-10-16 08:36:37 +01:00
  • ff31aa4a7c assign value to attributed variable Vítor Manuel de Morais Santos Costa 2009-10-16 08:32:03 +01:00
  • 0f4b64d199 make should only look at reconsulted files, it makes no sense to use make for consulted files. Vítor Manuel de Morais Santos Costa 2009-10-16 08:31:23 +01:00
  • fc3c3b4e29 fix passing LD Vítor Manuel de Morais Santos Costa 2009-10-16 08:09:50 +01:00
  • 463348bb2f fix memory collision in allocatng mmap Vítor Manuel de Morais Santos Costa 2009-10-16 08:09:22 +01:00
  • 6b5aa1542c pass full cc argument, not just gcc Vítor Manuel de Morais Santos Costa 2009-10-16 08:08:45 +01:00
  • d649ba5894 first cut at make/0y Vítor Manuel de Morais Santos Costa 2009-10-15 12:56:16 +01:00
  • dd6ac5a8f2 Merge branch 'master' of gitosis@yap.dcc.fc.up.pt:yap-6 Vítor Manuel de Morais Santos Costa 2009-10-13 14:51:37 +01:00
  • f9436a7faa Doc: ISO status added Ulrich Neumerkel 2009-10-04 00:49:31 +02:00
  • 61ead4a2e9 Doc: Corrected ISO status Ulrich Neumerkel 2009-10-03 23:59:17 +02:00
  • d459283a69 typo Ulrich Neumerkel 2009-06-15 02:41:52 +02:00
  • 7120e79dd6 include the library shm.h only when needed Ricardo Rocha 2009-09-29 00:56:58 +01:00
  • 7d841065e9 support for the common global trie (version GT-T: global trie for terms) Ricardo Rocha 2009-09-27 02:31:31 +01:00
  • 218bc2e423 fix to slow reconsult (Jos Deroo) Vitor Santos Costa 2009-09-20 10:03:10 -05:00
  • 56d37591a5 fix var_in_term Costa Vitor 2009-09-12 17:17:16 -05:00
  • a1d44f068e fix stupid typo. Costa Vitor 2009-09-12 16:45:00 -05:00
  • c0fd49df34 fix bad functor in heap routines. Costa Vitor 2009-09-12 16:44:28 -05:00
  • 32122f4171 make sure we have enough room when splitting mega clause. Costa Vitor 2009-09-12 16:43:44 -05:00
  • fc28a49122 just use stderr Costa Vitor 2009-09-12 16:43:18 -05:00
  • 4e4d486dee fix compilation errors Costa Vitor 2009-09-09 18:13:12 -05:00
  • 307446d000 improve evidence handling in CLP(BN). Vitor Santos Costa 2009-09-09 18:02:09 -05:00
  • 0688fb4d68 handle old style binding lists. Vitor Santos Costa 2009-09-09 18:00:35 -05:00
  • ef05f4a919 how did append/3 come up twice in lists? Vitor Santos Costa 2009-09-09 18:00:04 -05:00
  • e1a724e456 allow unification not to bound a variable. Vitor Santos Costa 2009-09-09 17:59:49 -05:00
  • 1e905eb5ef allow unification not to bound a variable. Vitor Santos Costa 2009-09-09 17:59:25 -05:00
  • ce76be4e77 Merge branch 'master' of gitosis@yap.dcc.fc.up.pt:yap-6 Vitor Santos Costa 2009-09-07 22:19:41 -05:00
  • 1e16a9c339 modern machines do not guarantee sequential consistency. Costa Vitor 2009-09-07 20:42:19 -05:00
  • 9047ad2e6e fix bad call. Vitor Santos Costa 2009-09-02 23:08:36 -05:00
  • 903358724d fix bad code in between (obs from Jose Santos). Vitor Santos Costa 2009-09-02 23:07:43 -05:00
  • 5fb3ec0515 fix repeated definition for halt. Costa Vitor 2009-09-01 00:00:08 -05:00
  • d02c9d23c2 handle cases where test is called with unbound variable. Costa Vitor 2009-08-31 23:59:34 -05:00
  • 4431682276 get rid of unused variable. Costa Vitor 2009-08-31 23:58:05 -05:00
  • a00c69b6f7 badly initialised memory stream (obs from J Santos). Costa Vitor 2009-08-31 23:56:00 -05:00
  • 8bde2a0d72 support control.yap Vitor Santos Costa 2009-08-20 10:39:25 -05:00
  • 12d793755e load control.yap Vitor Santos Costa 2009-08-20 10:38:33 -05:00
  • 2984a660fb make setup in setup_call_cleanup deterministic (#141) break utils.yap and transfer control functionality to control.yap Vitor Santos Costa 2009-08-20 10:36:58 -05:00