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

Commit Graph

  • 1340bc6f05 fix debugging message. vsc 2008-06-13 14:10:27 +00:00
  • ac6ddd5005 fix syntax error messages vsc 2008-06-12 10:55:52 +00:00
  • 8a00ab9d70 fix insert_new in rbtrees vsc 2008-06-11 16:57:31 +00:00
  • 02565ae625 some nice extra predicatesy vsc 2008-06-11 11:08:25 +00:00
  • c1f9fc9bcf added a new version of iterative deepening rzf 2008-06-09 17:57:30 +00:00
  • e835cfddc5 Added iterative deepening Printing of Cudd information rzf 2008-06-08 18:11:41 +00:00
  • f26c4592bb Corrected a bug in setting a thread exit status in case the thread goal results in an exception; exit status should be exception(Exception) and not exception(error(Exception,_)). pmoura 2008-06-08 16:55:23 +00:00
  • 502a5571a8 Corrected a bug in setting a thread exit status in case the thread goal results in an exception; exit status should be exception(Exception) and not exception(error(Exception,_)). pmoura 2008-06-08 16:45:52 +00:00
  • 6a2843f4e3 Logtalk is no longer distributed with YAP. Please use the Logtalk standalone installer for a smooth integration with YAP. pmoura 2008-06-08 09:55:34 +00:00
  • dccdcc7ada Logtalk is no longer distributed with YAP. Please use the Logtalk standalone installer for a smooth integration with YAP. pmoura 2008-06-08 09:48:36 +00:00
  • 0ca51355ce added memory profiling calls removed limit to 1000 variables imposed by createVars beause of the use of tha array of names of variables rzf 2008-06-08 08:38:36 +00:00
  • 87fcf6233c put chr back to life vsc 2008-06-08 08:05:11 +00:00
  • ea139a37c6 Logtalk is no longer distributed with YAP. Please use the Logtalk standalone installer for a smooth integration with YAP. pmoura 2008-06-07 10:11:44 +00:00
  • 39e72437b0 extra fixes to list_to_rbtree vsc 2008-06-05 22:12:22 +00:00
  • a3272bb0f9 *** empty log message *** rzf 2008-06-05 19:33:51 +00:00
  • e26d72905e fix trim_trail on 64 bit machines and non x86 vsc 2008-06-05 18:29:52 +00:00
  • 5d49f14545 fix rbtrees built from ordered lists fix jt be more flexible about unbound parents vsc 2008-06-05 16:24:08 +00:00
  • 2a0d6480c9 oops vsc 2008-06-04 15:42:45 +00:00
  • 175a0ba6dd make sure we do trim_trail whenever we mess with B! vsc 2008-06-04 14:47:18 +00:00
  • 08422c967a more fixes to C-interface vsc 2008-06-04 13:58:42 +00:00
  • f868298acf fix some cleanups vsc 2008-06-03 22:43:14 +00:00
  • 2335cd57a1 added timing predicates rzf 2008-06-03 12:27:55 +00:00
  • aa92d9628d fix fixes to prandom vsc 2008-06-03 09:27:57 +00:00
  • 02497c1172 fix manual and message handling vsc 2008-06-03 09:24:28 +00:00
  • 8e6403794f fix abolish bug vsc 2008-06-02 17:20:28 +00:00
  • ade7b34d49 thread fixes vsc 2008-05-28 17:18:35 +00:00
  • f6160fd5d6 update README vsc 2008-05-28 11:55:35 +00:00
  • abbf5430dc keep current_stream across top-level. vsc 2008-05-26 09:16:24 +00:00
  • 0c006711ba fix cygiwn version vsc 2008-05-23 22:29:52 +00:00
  • 214644aed4 fix null pointer reference vsc 2008-05-23 21:06:44 +00:00
  • 501e3d7c30 YapTab: support for early completion ricroc 2008-05-23 18:28:58 +00:00
  • fbc1f5e4a9 fix sys.c for win32 vsc 2008-05-23 13:16:13 +00:00
  • 5974495e87 Latest from Markus! vsc 2008-05-23 10:43:27 +00:00
  • 6fbe60046b fix rb_insert and add Jan's comments. vsc 2008-05-23 10:42:14 +00:00
  • 7c24afa0f2 handle SIGPIPE and improve USR1 and USR2 vsc 2008-05-23 10:02:13 +00:00
  • a70fb91592 add tmp_file/2 vsc 2008-05-22 23:25:21 +00:00
  • 73cf1fbafa fix predicate_property/2 vsc 2008-05-22 21:48:04 +00:00
  • 9a841991ea YapTab: support for early completion ricroc 2008-05-20 18:25:37 +00:00
  • 511181b472 debugging fixes vsc 2008-05-15 18:31:02 +00:00
  • 316811d2cd user:goal_expand should be called before import add extra apply_macros and apply stuff; fix unexisting definitions. add forall/2 and ignore/1 to system stuff. vsc 2008-05-15 13:41:48 +00:00
  • a25234a2da fix -(2<<100). vsc 2008-05-13 10:37:27 +00:00
  • 897224b36e fix previous fixes vsc 2008-05-12 22:31:37 +00:00
  • f4173813ff updates to restore vsc 2008-05-12 14:04:23 +00:00
  • 257c3a2cbc fix threads and LU vsc 2008-05-10 23:24:13 +00:00
  • ed339dcb12 Tries module: when loading a trie from a file, we now check if the file is corrupted before starting loading. ricroc 2008-05-07 14:21:39 +00:00
  • da7a287e49 YapTab: init_subgoal_frame() ricroc 2008-05-05 17:17:35 +00:00
  • 508c48d385 YapTab: load_answer_trie() ricroc 2008-05-05 17:09:37 +00:00
  • d7d47326a5 measuring time rzf 2008-05-02 14:21:00 +00:00
  • 45a05e9206 fixed predicates for measuring time rzf 2008-05-02 06:22:23 +00:00
  • 5575cdbd4f fixed degererated cond queries rzf 2008-05-01 09:41:26 +00:00
  • 111d8c4eee removed debugging predicate matrix_to_list rzf 2008-04-30 18:06:46 +00:00
  • 16592e35cc answers 1.0 to a conditional query with evidence equal to the query rzf 2008-04-30 17:57:21 +00:00
  • 62faa60978 removed bug in conditinal queries rzf 2008-04-30 14:10:27 +00:00
  • 2b1e2fd92b fied bug in conditional queries rzf 2008-04-30 13:14:51 +00:00
  • df30934ea9 added heuristics for elimination orderings: minimum deficiency maximum cardinality rzf 2008-04-29 22:24:30 +00:00
  • f1d5e84918 fix bug in current_predicate/2 fix bug in c_interface. vsc 2008-04-28 23:02:32 +00:00
  • 89bdffe91e make static_clause only commit to a lause if it is sure that is the true clause. Otherwise, search for the clause. vsc 2008-04-16 17:16:47 +00:00
  • d8488ec48e fix CR in read_line_to_codes vsc 2008-04-15 11:08:10 +00:00
  • 3edc72b4c1 fixed a bug in static_clause (thanks to Jose Santos) vsc 2008-04-14 21:20:36 +00:00
  • 3c3d0de2de partial fix to predicate_property trouble (obs from Nicos). fix core dump when writing arrays without bignum support. vsc 2008-04-14 17:30:18 +00:00
  • 4677a5ba10 yapor: seq_def initialization ricroc 2008-04-11 16:58:17 +00:00
  • ddcd80d2a9 *** empty log message *** ricroc 2008-04-11 16:30:28 +00:00
  • 516a349aad only evaluate lists with a single character. vsc 2008-04-08 15:36:53 +00:00
  • 12e18227bb more small fixes vsc 2008-04-06 12:06:48 +00:00
  • 0c4388a66b fix some restore bugs vsc 2008-04-06 11:53:02 +00:00
  • 819ef79f4a Fixed some minor formatting typos. pmoura 2008-04-04 22:05:34 +00:00
  • 6da72b2c9f yapor had gotten broken with recent thread changes vsc 2008-04-04 16:11:40 +00:00
  • 32df516386 fix duplicate dependency frame at entry vsc 2008-04-04 13:35:41 +00:00
  • 21f03da2cd fixes for message queues vsc 2008-04-04 11:28:59 +00:00
  • 4c933b8d79 implement thread_cancel using signals use duplicate_term instead of copy_term in throw: throw may lose reference to term. vsc 2008-04-04 10:02:44 +00:00
  • f930fd3179 thread at_exit should be module aware. vsc 2008-04-04 09:32:10 +00:00
  • 042e5326d3 restore was restoring twice vsc 2008-04-04 09:10:02 +00:00
  • 04682ef5f0 Fixed bug in the predicate thread_create/1 when the thread goal generates an exception. pmoura 2008-04-03 23:23:06 +00:00
  • 282ba60852 fix some overflows in integer handling and ~r option. vsc 2008-04-03 22:27:29 +00:00
  • a1327cfe9b fix small bug in compilation vsc 2008-04-03 15:15:21 +00:00
  • 78d7105c16 protect signal handling with locks for threaded version. fix close/1 entry in manual (obs from Nicos). fix -f option in chr Makefile. vsc 2008-04-03 13:26:38 +00:00
  • 708e69a670 fix restorebb in cases entry key is not an atom (obs from Nicos Angelopoulos) vsc 2008-04-03 11:34:47 +00:00
  • 92d26f604e term_variables could store local variable in global. vsc 2008-04-03 10:50:28 +00:00
  • 2462596050 Fixed missing argument in recorda/3 call. pmoura 2008-04-03 01:28:21 +00:00
  • 5d6ddc8026 Fixed two bugs when closing a thread: (1) register thread exit status before running the exit hooks; (2) incorrect register of exception exit status. pmoura 2008-04-03 01:22:47 +00:00
  • f827e047c1 Fixed bug in the thread_create/3 predicate where the thread indentifer was not within scope of the at_exit/1 option. pmoura 2008-04-03 00:10:04 +00:00
  • 1acbfc4f80 Only register at_exit/1 hooks given by the programmer. pmoura 2008-04-03 00:02:24 +00:00
  • 59d82a0fca Improved documentation of the thread_at_exit/1 predicate with a reference to the alternative at_exit/1 option of the thread_create/3 predicate. pmoura 2008-04-02 23:08:36 +00:00
  • 48e8101a87 Added new flag "max_workers". It uses a C function, "p_max_workers" that is currently defined in the *wrong* place ("threads.c"). pmoura 2008-04-02 22:59:52 +00:00
  • 1c7681b179 Added description of the default value of max_workers and of the new thread_create/3 option at_exit/1. pmoura 2008-04-02 22:45:55 +00:00
  • 720089e712 threaded version should ignore saved states (for now). vsc 2008-04-02 21:44:07 +00:00
  • 929ec2412f handle out of memory error at thread creation (obs from Paulo Moura). vsc 2008-04-02 17:37:07 +00:00
  • 70b3438293 separate MAX_WORKERS and MAX_THREADS (obs from Paulo Moura) MAX_AGENTS can be used in all cases vsc 2008-04-02 15:41:50 +00:00
  • 7aab33a153 fix at_exit and thread_at_exit (obs from Paulo Moura). vsc 2008-04-02 15:13:16 +00:00
  • 0dd21aab71 put YAPOR back to life. vsc 2008-04-01 22:28:41 +00:00
  • 5459617266 stupid bug in assert_all (thanks to Jose Santos). vsc 2008-04-01 20:47:57 +00:00
  • a8fe6a668e more saved state fixes vsc 2008-04-01 15:31:43 +00:00
  • f37bc03304 improve restore vsc 2008-04-01 14:09:43 +00:00
  • 80689e734d Corrected typo that prevented "make" and "make install". pmoura 2008-04-01 11:59:33 +00:00
  • 12e7b2c9ab small fix to file name vsc 2008-04-01 09:47:11 +00:00
  • 0aa52527f3 more fixes to restore vsc 2008-04-01 09:41:05 +00:00
  • a4859641f2 more swi-console vsc 2008-04-01 08:52:50 +00:00
  • 2219b7f6a5 more SWI-console files vsc 2008-04-01 08:50:48 +00:00
  • 7b82f78655 SWI console vsc 2008-04-01 08:45:42 +00:00
  • c23cce1cc1 fix restore and small VISTA thingies vsc 2008-04-01 08:42:46 +00:00