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

Commit Graph

  • 916f43c799 makefile for meld plaything Vitor Santos Costa 2010-11-05 04:19:51 +00:00
  • 0a5a1efd77 no comment Theofrastos Mantadelis 2010-11-03 19:34:16 +01:00
  • 8303b477ab these guys got forgotten Theofrastos Mantadelis 2010-11-03 19:30:43 +01:00
  • 24b21de2e7 ProbLog Makefile.in to include a new file please re-configure Theofrastos Mantadelis 2010-11-03 19:24:37 +01:00
  • c804d105b6 Some ProbLog improvements related with tabling efficiency, more to come soon Theofrastos Mantadelis 2010-11-03 19:22:11 +01:00
  • 2f525cb2f3 first attemp at deletion. Vítor Santos Costa 2010-11-03 16:16:40 +00:00
  • cca1461747 reentrant maxval and minval. Vitor Santos Costa 2010-11-03 09:45:18 +00:00
  • a90e006be0 more meld updates. Vitor Santos Costa 2010-11-03 00:33:26 +00:00
  • 89ef9ac1e4 integrate meld. Vitor Santos Costa 2010-11-01 22:20:58 +00:00
  • 216c1b85f3 an implementation of the meld language. Vitor Santos Costa 2010-11-01 21:29:12 +00:00
  • 8ca680705d Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3 Vitor Santos Costa 2010-11-01 21:28:49 +00:00
  • 2f3d762f80 display reference count in DBRef. Vitor Santos Costa 2010-11-01 21:28:18 +00:00
  • e509d11c2e routines to copy rational terms to tree and vice-versa. Vítor Santos Costa 2010-11-01 20:11:28 +00:00
  • a44d847b61 improve writing infinite terms. Vítor Santos Costa 2010-11-01 20:10:32 +00:00
  • d1a0cfe21a Merge branch 'master' of yap.dcc.fc.up.pt:yap-6 Vítor Santos Costa 2010-10-29 14:43:30 +01:00
  • 362ecc2f16 Merge branch 'master' of yap.dcc.fc.up.pt:yap-6 Vitor Santos Costa 2010-10-29 10:28:57 +01:00
  • 7e90e90239 fixes to number_codes and number_chars. Vitor Santos Costa 2010-10-29 10:28:25 +01:00
  • a634f3f7e7 fix scanning of UTF-32 files. Vítor Santos Costa 2010-10-28 18:05:42 +01:00
  • bb6e98dd66 update version small fixes and extra documentation Vítor Santos Costa 2010-10-28 18:05:18 +01:00
  • 3d0e88dc10 Added missing meta_predicate/1 directives to the charsio library. Thanks to Cristiano Pitangui for reporting the problem. Paulo Moura 2010-10-28 17:18:57 +01:00
  • 9a09a93a5b Corrected another bug in my patch for detecting UTF-32 BOMs. Paulo Moura 2010-10-27 17:43:00 +01:00
  • f3efdff878 Uncommented the code that generates an error when UTF-32 BOMs are detected. Paulo Moura 2010-10-27 17:33:48 +01:00
  • 168e084c62 Corrected a bug in my patch for detecting UTF-32 BOMs. Paulo Moura 2010-10-27 17:19:26 +01:00
  • 89411acbc9 Merge branch 'master' of yap.dcc.fc.up.pt:yap-6 Vítor Santos Costa 2010-10-27 14:53:33 +01:00
  • 186369a279 document predicate_statistics Vítor Santos Costa 2010-10-27 14:52:52 +01:00
  • 9396252588 patches to provide initial support UTF32 encodings(from Paulo Moura) Vitor Santos Costa 2010-10-27 14:49:27 +01:00
  • 95acd408e7 support DragonFly BSD (patch from Aleksej Saushev) Vitor Santos Costa 2010-10-27 10:11:19 +01:00
  • ab8911708b fix YAP to use _longjmp when available. longjmp is just too expensive on OSX machines. Vitor Santos Costa 2010-10-26 22:03:36 +01:00
  • b16a0d53b0 integration of two different event profilers. Vitor Santos Costa 2010-10-26 22:02:23 +01:00
  • e0aa6ae30a improve low level profiler interface. Still doesn't work too well. Vitor Santos Costa 2010-10-26 22:01:29 +01:00
  • ef53ed696b allow uninstanted arguments in erased_statistics. Vitor Santos Costa 2010-10-26 10:07:34 +01:00
  • a2e6a0157c Use malloc to interfer less with normal memory allocation. Vitor Santos Costa 2010-10-26 10:06:45 +01:00
  • b22094283e fix typo. Vitor Santos Costa 2010-10-26 10:05:49 +01:00
  • d0cd5f3fa3 fix atom gc to actually recover first atom in the chain. Vitor Santos Costa 2010-10-26 10:04:36 +01:00
  • ecd2fab52e fix term_variables/2 docs (obs from Bernd Gutmann). Vitor Santos Costa 2010-10-24 22:19:03 +02:00
  • 9304fd52f7 Merge branch 'master' of yap.dcc.fc.up.pt:yap-6 Vitor Santos Costa 2010-10-24 21:31:52 +02:00
  • fe36320b47 When running 'make install' packages/jpl suffers from a race condition: Vitor Santos Costa 2010-10-24 21:30:42 +02:00
  • d5785152f8 more HAVE_CONFIG_H patches Vitor Santos Costa 2010-10-24 21:28:37 +02:00
  • facebe43e4 doc fixes 64 bits should use /usr/lib64, not /usr/lib Vitor Santos Costa 2010-10-24 21:26:49 +02:00
  • 213af5f917 Added description of the hook predicate user:prolog_predicate_name/2 to the user manual. Paulo Moura 2010-10-22 00:57:57 +01:00
  • 15a728ce6d Added hook predicate user:prolog_predicate_name/2, taken from SWI-Prolog, to the profiler code. Paulo Moura 2010-10-21 20:15:17 +01:00
  • de06131ba4 bug correction Theofrastos Mantadelis 2010-10-20 17:41:13 +02:00
  • 9770904f6f update version to next stable Vitor Santos Costa 2010-10-18 09:17:12 +01:00
  • d0b904b49a fix CUDD path. Vitor Santos Costa 2010-10-18 09:16:00 +01:00
  • a76c1feeb5 updte README info. Vitor Santos Costa 2010-10-18 09:15:38 +01:00
  • 65a66a3360 fix operator problem (|). (Ulrich #193) Vitor Santos Costa 2010-10-18 08:36:47 +01:00
  • f4218bdaac Merge branch 'master' of yap.dcc.fc.up.pt:yap-6 Vitor Santos Costa 2010-10-18 01:25:49 +01:00
  • bfe890aae3 patches from Keri Harris to finn runpath support cudd from MacPorts Vitor Santos Costa 2010-10-18 01:25:00 +01:00
  • 0deddd5603 include Nicos Angelopoulos r_session package. Vítor Santos Costa 2010-10-16 14:54:48 +01:00
  • 6ab7987c69 be stricter about what is an attributed variable: the previous definition allowed confusion if there was garbage in the local stack. Vitor Santos Costa 2010-10-15 13:14:37 +01:00
  • 45ce3a83ef allow low level locking in OSX. Vitor Santos Costa 2010-10-15 13:14:24 +01:00
  • 312d82816e fix memory allocation (MMAP) for shared LOCAL and GLOBAL in ENV_COPY vsc 2010-10-15 02:06:37 +01:00
  • 824ff4094c simplify RW locks vsc 2010-10-15 02:05:20 +01:00
  • 72b8334358 imake predicates parallel by default. vsc 2010-10-15 02:04:50 +01:00
  • 4c343d0762 fix save/restore in multi-process YAPOR. vsc 2010-10-15 01:15:45 +01:00
  • bd502a39ac fix RW_locks for x86 (code from Erlang). vsc 2010-10-15 01:13:49 +01:00
  • fa42de1025 cannot optimise try/retry in the presence of or-parallelism vsc 2010-10-15 01:11:49 +01:00
  • 2444eea5a7 fix odbc configure for OSX9 Vitor Santos Costa 2010-10-13 23:07:02 +01:00
  • 7a29007eb5 fix readline configure issues (obs from Paulo Moura). Vitor Santos Costa 2010-10-13 00:20:40 +01:00
  • 755a57fdbd Merge branch 'master' of yap.dcc.fc.up.pt:yap-6 Vitor Santos Costa 2010-10-12 23:22:23 +01:00
  • b27a9869bf initialise for 1024 threads (report from Jiefie Ma). Vitor Santos Costa 2010-10-12 23:16:51 +01:00
  • 80c38081da no need for special procceed instruction. Vitor Santos Costa 2010-10-12 22:02:51 +01:00
  • 7f70a797f4 fix error messages to obey standard. Vitor Santos Costa 2010-10-12 22:02:24 +01:00
  • 3e6309cc8a fix trace problem Vítor Santos Costa 2010-10-11 20:10:12 +01:00
  • fae29012a9 Merge branch 'master' of yap.dcc.fc.up.pt:yap-6 Vitor Santos Costa 2010-10-11 14:46:53 +01:00
  • e5232bc8fc force system to check for overflows at end of procceed for clauses with body. Vitor Santos Costa 2010-10-11 14:45:15 +01:00
  • 8846ccbf01 small fixes Vítor Santos Costa 2010-10-08 14:42:55 +01:00
  • 6811ded37b Merge branch 'master' of yap.dcc.fc.up.pt:yap-6 Vítor Santos Costa 2010-10-08 12:22:06 +01:00
  • c1710974b8 fix bad comparison (Ulrich Neumerkel). Vítor Santos Costa 2010-10-08 12:21:49 +01:00
  • f40ba3e6db rounding function was incorrect (ulrich's #180) Vitor Santos Costa 2010-10-08 11:02:56 +01:00
  • 3cfe5c74d5 fix div to round correctly (Ulrich's #181). Vitor Santos Costa 2010-10-08 10:58:08 +01:00
  • afa0799504 fix error message (Ulrich's #184). Vitor Santos Costa 2010-10-08 10:50:23 +01:00
  • 361c5ad78f Merge branch 'master' of yap.dcc.fc.up.pt:yap-6 Vitor Santos Costa 2010-10-08 10:46:11 +01:00
  • 9187c658b8 fix very large clause handling Vitor Santos Costa 2010-10-08 10:45:50 +01:00
  • da0aee0f57 fix operator error checking (Ulrich #192) Vitor Santos Costa 2010-10-08 10:44:51 +01:00
  • 61d99731c8 avoid recursion on very deep sequences of static indices. Vítor Santos Costa 2010-10-07 18:14:55 +01:00
  • 284fc9ab8b corrected a small bug with export Theofrastos Mantadelis 2010-10-06 18:27:40 +02:00
  • 1342d2dab2 SimpleCUDD versioning Theofrastos Mantadelis 2010-10-06 13:24:25 +02:00
  • d1839b730c ProbLog versioning, ProbLog Tabling warning message instead of error Theofrastos Mantadelis 2010-10-06 12:59:18 +02:00
  • ff6bd1dda0 ProbLog Versioning System Theofrastos Mantadelis 2010-10-05 18:29:29 +02:00
  • f2e3476a8e ProbLog Versioning System Theofrastos Mantadelis 2010-10-05 18:27:09 +02:00
  • 5323a3677d ProbLog Versioning System Theofrastos Mantadelis 2010-10-05 18:26:40 +02:00
  • 047f1ad809 Corrected some spelling errors in the user manual. Paulo Moura 2010-10-04 19:35:22 +01:00
  • c1c02d1e95 Correcting some versioning issues Theofrastos Mantadelis 2010-10-01 12:04:45 +02:00
  • b46fba7bd1 Merge branch 'master' of gitosis@yap.dcc.fc.up.pt:yap-6 Theofrastos Mantadelis 2010-10-01 11:40:42 +02:00
  • 69dbf72553 Various ProbLog improvements Theofrastos Mantadelis 2010-10-01 11:40:24 +02:00
  • f56cf4a737 fix rooted_path for win32 (patch from David Powers) Vítor Santos Costa 2010-09-30 20:59:33 +01:00
  • 0c09447d00 fix broken tab Vítor Santos Costa 2010-09-30 20:53:07 +01:00
  • 706a707d78 some doc fixes (obs from David Powers) Vítor Santos Costa 2010-09-30 20:52:20 +01:00
  • 4ae92544b2 fix $when (obs from David Powers) Vítor Santos Costa 2010-09-30 20:48:13 +01:00
  • fa91fb6d86 ifix typo Vítor Santos Costa 2010-09-30 20:10:25 +01:00
  • d912527de0 Merge branch 'master' of yap.dcc.fc.up.pt:yap-6 Vítor Santos Costa 2010-09-30 20:09:58 +01:00
  • e968fe21dd fix bad call to gc when finding very large terms. Vítor Santos Costa 2010-09-30 20:09:17 +01:00
  • 4359629681 ProblogBDD -> problogbdd Theofrastos Mantadelis 2010-09-29 18:43:48 +02:00
  • d750a5d5a2 update in learning Theofrastos Mantadelis 2010-09-29 18:40:34 +02:00
  • 60df0028fb Migrated some minor improvements Theofrastos Mantadelis 2010-09-29 13:08:16 +02:00
  • 0cd5cec64b Portability issues Theofrastos Mantadelis 2010-09-28 21:22:32 +02:00
  • 39baf51c2d Updated user manual on the four-quadrant arc tangent function, which is available as both atan/2 and atan2/2. Paulo Moura 2010-09-28 02:38:22 +01:00
  • 48cc87e882 Merge branch 'master' of yap.dcc.fc.up.pt:yap-6 Vítor Santos Costa 2010-09-28 01:01:55 +01:00
  • 6d4d1b1a3a speedup current_pred fixes from David Powerswq Vítor Santos Costa 2010-09-28 01:01:37 +01:00