Commit Graph

Select branches

Hide Pull Requests

master

threads

6.2

6.3.0

6.3.2

YAP-6.3.4

yap-6.3.1

yap-6.3.3

Mono Color

• dbd5b09303 make low_level_tracer compile sequentially, again. Costa Vitor 2009-08-20 09:38:30 -05:00
• 3cbdc8d14a make low level tracer understand yapor. Costa Vitor 2009-08-19 23:46:51 -05:00
• 4c9f440b07 simplify YAPOR. Costa Vitor 2009-08-19 22:45:11 -05:00
• 33085fd8d1 fix YAPOR not being threadtes as threads. Costa Vitor 2009-08-19 22:44:48 -05:00
• f877e78785 make YAP compile with --enable-or-parallelism Costa Vitor 2009-08-19 21:53:49 -05:00
• 80b97aafaa make flush_output easier to understand. Costa Vitor 2009-08-19 20:24:13 -05:00
• b4502969ad make types compatible. Costa Vitor 2009-08-19 20:23:52 -05:00
• 6453cf5ae7 avoid unnecessary backtracking. Costa Vitor 2009-08-19 20:23:20 -05:00
• 84646ee581 make includes compatible with configure.in Costa Vitor 2009-08-19 20:22:49 -05:00
• 418fa1a396 64 bit machines may be using S while calling ExpandIndex. Costa Vitor 2009-08-19 20:22:04 -05:00
• 40ea33c150 Merge branch 'master' of gitosis@yap.dcc.fc.up.pt:yap-6 Costa Vitor 2009-08-12 10:01:34 -05:00
• dccf3cf8a2 assert logupd should set the clause in use (obs by Jose Santos). Costa Vitor 2009-08-12 10:00:38 -05:00
• 9dc0618a12 make the support for compact lists the default configuration for the tabling engine Ricardo Rocha 2009-08-12 14:32:12 +01:00
• 23d44f959d include cp_h field in deterministic choice points, otherwise we get in trouble Ricardo Rocha 2009-08-09 03:38:07 +01:00
• 4f6676e5af fix garbage collector for deterministic tabling (still very experimental) Ricardo Rocha 2009-08-08 05:02:27 +01:00
• 4bdf8bf991 if the current generator choice point is the topmost choice point and the current call is deterministic then the current answer is deterministic and we can perform an early completion and remove the current generator choice point Ricardo Rocha 2009-08-08 03:53:51 +01:00
• fc31e7066e improve the support for deterministic tabling (still experimental, problems mainly with the garbage collector) Ricardo Rocha 2009-08-07 17:29:53 +01:00
• cc2c6dbe71 make the parallel and sequential code to check/insert nodes in the trie more consistent Ricardo Rocha 2009-08-07 06:27:34 +01:00
• 375f3b7bc6 fix debugging procedures for tabling Ricardo Rocha 2009-08-07 04:46:45 +01:00
• 981bee74f0 fix garbage collector for dealing with float/longint trie instructions Ricardo Rocha 2009-08-07 04:34:48 +01:00
• 7d50687c46 stdio.h include missing Ricardo Rocha 2009-08-07 00:16:21 +01:00
• b4a71ad43a empty --> EMPTY Ricardo Rocha 2009-08-06 18:34:21 +01:00
• 36e6925776 make the support for early completion optional (macro TABLING_EARLY_COMPLETION) Ricardo Rocha 2009-08-06 02:27:59 +01:00
• cf5d68edda fix recursive functions that manipulate tries Ricardo Rocha 2009-08-05 05:48:00 +01:00
• f68cc92bce make sure binary files are open as binary in WIN32 (obs from Meera Sridhar). U-Khasa\Vitor 2009-08-02 16:04:21 -05:00
• 2c53d1f8ed fix error message in put U-Khasa\Vitor 2009-08-02 15:54:27 -05:00
• 068242a833 mention examples in README file. Costa Vitor 2009-07-31 17:39:21 -05:00
• 77e947cdae - upgrade to latest simplecudd. - fix paths in learning. Costa Vitor 2009-07-31 17:04:11 -05:00
• 98843bea46 update to version 07312009 of ProbLog. Costa Vitor 2009-07-31 12:18:03 -05:00
• 1fa608010a for some reason, tabling codes likes using cp_ap == NULL for SLD complete goals. Vitor Santos Costa 2009-07-31 08:31:17 -05:00
• 5327c8bfe7 gc of tabling cps: now, if current cp is in gen chain, mark it as completion, otherwise, mark it as trust_fail. Vitor Santos Costa 2009-07-31 08:29:27 -05:00
• daa05caf86 Merge branch 'master' of gitosis@yap.dcc.fc.up.pt:yap-6 Vitor Santos Costa 2009-07-28 21:38:26 -05:00
• 9c74080512 fix memory overflow when doing very large writes on strings (obs from Jos Deroo). Vitor Santos Costa 2009-07-28 18:30:15 -05:00
• 93c6e65b7e tabling would set ap=NULL on producers and SLD nodes. Set SLD trusted nodes to TRUST_FAIL. Costa Vitor 2009-07-24 15:08:07 -05:00
• 59e0f71a7d trust_fail needs not to mark environments, but in contrast termination needs. Costa Vitor 2009-07-24 15:07:39 -05:00
• 11fb9183e1 make sure we track both producers and consumers (I am not sure we need to track producers, though) Always mark choicepoint, even if cp_ap==NULL (fixes wine). Vitor Santos Costa 2009-07-23 23:13:16 -05:00
• 22ac3ee80b Use >< for xor (Paulo Mour, Iso meeting) Vitor Santos Costa 2009-07-23 14:31:04 -05:00
• a1e6a2baa7 bad priority for +/1. (Paulo Moura, ISO) Vitor Santos Costa 2009-07-23 14:27:04 -05:00
• 7155aa943f make sure that variables in tabled predicates are safe for backtracking: new variables should be bound carefully. Vitor Santos Costa 2009-07-22 23:28:04 -05:00
• 4882cefa12 get rid of debugging code. Costa Vitor 2009-07-22 17:02:56 -05:00
• 0e2d3e3a91 fix bad argument processing in non-inlined arithmetic comparisons. Costa Vitor 2009-07-22 17:02:02 -05:00
• c8946e1e4e support inline arithemtic builtins as non-inlined. Costa Vitor 2009-07-22 17:01:30 -05:00
• d9a48c4014 disable inlining in tabled predicates (maybe a bit too harsh). Costa Vitor 2009-07-22 17:00:49 -05:00
• 014209c22f undo bug fix, it just handled one case. Costa Vitor 2009-07-22 14:31:15 -05:00
• ead58f6b34 in tabled mode, replace X is Y by X=X', is(Y') to avoid cases where Y is assigned determinastically but needs to be later restored. (obs Ricardo Rocha) Costa Vitor 2009-07-22 14:23:32 -05:00
• c1024caa53 Unify emptylist of variables if one reads EOF. Vitor Santos Costa 2009-07-21 00:11:44 -05:00
• 82b1a6f62a make it compile back in Unix. Vitor Santos Costa 2009-07-20 23:13:36 -05:00
• 868c7158ab improve SWI emulation in WIN32 U-Khasa\Vitor 2009-07-20 20:56:54 -07:00
• d3fa43d08e improve SWI emulation in WIN32 U-Khasa\Vitor 2009-07-20 20:56:16 -07:00
• d67332dc19 Improve error handling when loading DLLs U-Khasa\Vitor 2009-07-20 20:55:22 -07:00
• b9e10203bd make YAP dlls always export procedures U-Khasa\Vitor 2009-07-20 20:54:54 -07:00
• 2020a31362 mingw compilation U-Khasa\Vitor 2009-07-18 13:38:38 -07:00
• 869671fb1b make sure to have trail entries reset on setjump (obs from Jose Santos). Costa Vitor 2009-07-17 19:31:20 -05:00
• 66683aeef9 slots were not inited in tabling code, due to bad ifdef (obs from Chris Mungall). Costa Vitor 2009-07-17 18:39:50 -05:00
• 390408d5af fix checking profiled choice-points (obs from Jose Santos). Costa Vitor 2009-07-15 22:16:05 -05:00
• a69a34f3a5 fields/ library predicate, to return empty fields. Costa Vitor 2009-07-15 17:30:27 -05:00
• 0b85333018 fix int/UInt messup. Costa Vitor 2009-07-15 17:29:26 -05:00
• 8a38c64441 fix uninitialised variable (valgrind). Costa Vitor 2009-07-15 14:27:56 -05:00
• 8569aacfe5 check for very long wchar_t strings when scanning (obs from Jan Wielemaker). Costa Vitor 2009-07-15 14:26:56 -05:00
• a1775fb031 Merge branch 'master' of gitosis@yap.dcc.fc.up.pt:yap-6 Vitor Santos Costa 2009-07-13 21:58:29 -05:00
• ad30c36626 fix overflow testing in matrix_to_list Vitor Santos Costa 2009-07-13 21:57:01 -05:00
• 11cefa668a handle overflow error in YAP_MkPairTerm ( obs from Fabrizio Riguzzi). Vitor Santos Costa 2009-07-13 21:55:57 -05:00
• 6e3830aa4b improve error handling in arithmetic comparison (obs from Jose Santos) Vitor Santos Costa 2009-07-08 10:32:14 -05:00
• 02e82d7719 disable the support for trie compact lists in YapTab's default configuration. Ricardo Rocha 2009-07-05 05:29:53 +01:00
• 5e4d7078ab support for trie compact lists (version 2): this new version uses different marks to distinguish the lists ending with the empty list from the lists ending with a non-empty list term. Ricardo Rocha 2009-07-05 05:14:08 +01:00
• 6f2d5679c6 Merge branch 'master' of gitosis@yap.dcc.fc.up.pt:yap-6 Ricardo Rocha 2009-07-03 00:56:37 +01:00
• c666f74532 support for deterministic tabled calls and answers Ricardo Rocha 2009-07-03 00:54:39 +01:00
• df8f194d80 fix setof cleanup vars (patch from Bart Demoen). Costa Vitor 2009-07-02 14:46:07 -05:00
• 5d966928b9 prolog_file_name/2 was missing Costa Vitor 2009-07-01 12:11:33 -05:00
• cd2902f0d8 deleting old files for trie library Ricardo Rocha 2009-07-01 16:35:21 +01:00
• d9cdee931c Merge branch 'master' of gitosis@yap.dcc.fc.up.pt:yap-6 RIGUZZI FABRIZIO - Dipartimento di Ingegneria 2009-06-27 11:56:10 +02:00
• 1f4717d502 added PICL program RIGUZZI FABRIZIO - Dipartimento di Ingegneria 2009-06-27 11:54:33 +02:00
• 026a666055 trail check on C entry: make sure we don't have unhandled trail overflows. Costa Vitor 2009-06-26 14:08:15 -05:00
• 772d091a70 fix bad call to retry_counter Costa Vitor 2009-06-26 13:16:42 -05:00
• 69c0a52548 Revert "ENV may not be in scope of catch in very special cases (eg, call counter)." Costa Vitor 2009-06-26 13:04:07 -05:00
• 15f9a68a35 ENV may not be in scope of catch in very special cases (eg, call counter). Vitor Santos Costa 2009-06-26 09:15:19 -05:00
• ff20a23e64 stop counters at counter underflow event Vitor Santos Costa 2009-06-26 08:42:40 -05:00
• 4d6cd779cb fix warnings. Vitor Santos Costa 2009-06-25 22:31:02 -05:00
• 7413d0f898 bug fix in built-in predicate tabling_statistics/0. Ricardo Rocha 2009-06-25 13:00:13 +01:00
• 5b60209db3 bug fix in function free_subgoal_trie_branch() Ricardo Rocha 2009-06-25 12:37:07 +01:00
• c47da032a8 Merge branch 'master' of gitosis@yap.dcc.fc.up.pt:yap-6 Ricardo Rocha 2009-06-24 20:06:00 +01:00
• eeb62b63b4 support for trie compact lists Ricardo Rocha 2009-06-24 20:04:16 +01:00
• 3ccad9aff2 redefine MAX_DEPTH as MAX_BRANCH_DEPTH to avoid conflits with yap2swi library Ricardo Rocha 2009-06-24 20:00:51 +01:00
• 924cf77fed fix another loop in spy_pred. Costa Vitor 2009-06-23 23:24:16 -05:00
• 39e3bc8e41 Merge branch 'master' of gitosis@yap.dcc.fc.up.pt:yap-6 Costa Vitor 2009-06-23 06:52:15 -05:00
• 058b389566 asserta dynamic predicates should not kill preexisting code. Costa Vitor 2009-06-23 06:51:28 -05:00
• 246d32551a do not set PREG until being sure we have to jump Costa Vitor 2009-06-23 06:50:53 -05:00
• d79feb0310 bug fixes and performance improvement in SLGAD (lpad.pl) RIGUZZI FABRIZIO - Dipartimento di Ingegneria 2009-06-23 11:32:54 +02:00
• 2588f5b7c5 make sure we count built-ins. Costa Vitor 2009-06-22 16:03:14 -05:00
• 09f5a9ccb1 make YAP ask less space in deeply nested calls of findall. Costa Vitor 2009-06-22 15:37:17 -05:00
• d8595221d0 optimise sub_atom when sub_atom is known. Costa Vitor 2009-06-22 15:35:40 -05:00
• d47560342c more fixes to call_counter: try to keep on counting system builtins. Costa Vitor 2009-06-22 12:40:55 -05:00
• 50f7a80546 transfer call and profiler to spy. Costa Vitor 2009-06-22 11:12:56 -05:00
• fb85cc8c25 Merge branch 'master' of gitosis@yap.dcc.fc.up.pt:yap-6 Costa Vitor 2009-06-17 14:47:22 -05:00
• bf9091b5ed fix bug in copyterm Costa Vitor 2009-06-17 14:43:24 -05:00
• 3397e97732 Merge branch 'master' of gitosis@yap.dcc.fc.up.pt:yap-6 Ricardo Rocha 2009-06-17 17:16:31 +01:00
• 1351bd11a2 - bug fixes in show_table/1. - new built-in predicate show_all_tables/0. Ricardo Rocha 2009-06-17 17:14:16 +01:00
• d0baedbf84 solaris support. Costa Vitor 2009-06-16 23:31:45 -05:00
• c846fc50c8 fix empty stuff in Makefile. Costa Vitor 2009-06-16 23:26:45 -05:00
• 6a8f9faf4f solaris doesn't know limits. Costa Vitor 2009-06-16 23:26:03 -05:00