diogo
/
yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
10,422 Commits 2 Branches 6 Tags 145 MiB
Commit Graph

98 Commits

Author SHA1 Message Date
Vitor Santos Costa ef04b30d66 doc 2018-05-01 23:25:58 +01:00
Vitor Santos Costa 1c293a9af4 docs 2018-04-27 13:01:08 +01:00
Vitor Santos Costa 65ff3ed471 Smaller updates: 
constant use of longjmp
conflict with python headers
win32 support
dll support
 2017-02-20 15:28:46 +00:00
Vitor Santos Costa c49165a7af Android aupport 2016-11-11 01:23:34 -06:00
Vitor Santos Costa b6f1079503 fix warning 2016-07-31 10:19:11 -05:00
Vítor Santos Costa 661f33ac7e bug fices 2016-01-03 02:06:09 +00:00
Vítor Santos Costa b871f6676e fix error handling 2015-09-25 10:57:26 +01:00
Vítor Santos Costa 880a9989c3 small changes 2015-08-18 15:08:52 -05:00
Vítor Santos Costa b164f53191 fix regression tests 2015-08-07 16:57:53 -05:00
Vítor Santos Costa 1c06bfdc05 cmake & text support 2015-06-19 01:30:13 +01:00
Vitor Santos Costa 3d6c0e7933 avoid undefined predicates 2015-02-14 17:13:42 +00:00
Vítor Santos Costa 3009987985 update docs 2014-09-11 14:06:57 -05:00
Andreas Becker 72b9ec59b7 Fix: Win32 defines Bind, so change Bind to YapBind. 2014-05-29 11:32:28 +02:00
Vitor Santos Costa 294131b1b6 Merge branch 'master' of git.dcc.fc.up.pt:yap-6.3 2014-02-13 11:57:59 +00:00
João Santos bb061f9db8 remove GLOBAL_executing_workers 2014-02-13 10:13:45 +00:00
Theo e105130a8b Tabling with coinductive mode for predicate 2013-12-20 14:56:13 +00:00
joao da0f807abf fix YAPOR_THREADS memory macros 2013-12-16 16:51:00 +00:00
Vitor Santos Costa 83480fe8a7 change the way predicates are hidden 2012-10-19 18:11:20 +01:00
Ricardo Rocha d540354c30 adding sum mode operator + fix multithreading compatibility 2012-06-04 19:27:31 +01:00
Ricardo Rocha 1dcc8bd393 adptation of the memory allocator based on pages to work with threads 2012-05-14 19:11:58 +01:00
Ricardo Rocha a6ff7528d1 missing variable declaration 2012-04-23 15:39:49 +01:00
Vítor Santos Costa 1531002f26 avoid unnecessrily using slots in Input/Output calls or just because I need a stream. This can lead to hard to 
catch stack bugs.
 2012-02-18 11:01:06 +00:00
Ricardo Rocha 1fe86ba2b3 fix parallel_findall/3 2012-01-05 16:04:32 +00:00
Ricardo Rocha c594d321ef Miguel's support for multi-threaded tabling 2011-12-22 16:50:20 +00:00
Ricardo Rocha 6bb26f4764 fix support for local pages with threads 2011-12-09 16:06:17 +00:00
Ricardo Rocha d33829205e support for local pages with threads 2011-12-07 13:53:20 +00:00
Ricardo Rocha 038c1854d0 fix compilation for tabling with threads 2011-12-05 16:54:22 +00:00
Ricardo Rocha ec0fa8a2a3 tries locking scheme is now independent for the answer, subgoal and global trie 2011-11-15 16:57:51 +00:00
Ricardo Rocha f06489ffe5 show_table support for mode directed tabling 2011-11-09 15:13:22 +00:00
Ricardo Rocha 88760aa0b1 mode directed tabling 2011-11-09 11:00:31 +00:00
Vítor Santos Costa 22b0bcac14 mode directed tabling. 2011-10-22 16:49:13 +01:00
Ricardo Rocha 31b3eeaae6 fix output stream usage 2011-07-26 15:26:01 +01:00
Ricardo Rocha 8116aac432 parallel execution is now explicit using one of the new built-in 
predicates: parallel/1, parallel_findall/3 or parallel_once/1.
 2011-06-21 15:19:07 +01:00
Ricardo Rocha d601ba9caf fix yapor memory allocation 2011-06-02 17:01:00 +01:00
Ricardo Rocha dfe0e1854f init_yapor_workers -> Yap_init_yapor_workers 2011-06-01 18:51:12 +01:00
Ricardo Rocha e63cba963e new local predicates for tabling with threads 2011-05-25 20:08:04 +01:00
Ricardo Rocha 1d4fdd53c0 use SWI's IOSTREAM for output 2011-05-25 18:38:46 +01:00
Joao ebd0e8a7c0 change global_optyap_data macros to GLOBAL_. 2011-05-10 11:47:18 +01:00
Ricardo Rocha a532b6cff3 struct local_optyap_data is now part of struct worker_local (generated from the file LOCALS) 2011-05-09 19:36:51 +01:00
Joao 719b04fee3 fix abolish_table/1 ans abolish_all_tables/0 built-in predicates 2011-04-29 17:29:02 +01:00
Joao affaeb4092 Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3 
Conflicts:
	H/dlocals.h
	H/hlocals.h
	H/ilocals.h
	H/rlocals.h
 2011-04-29 16:44:59 +01:00
Joao c27f79eeb1 fix YapOr threads. 2011-04-29 14:59:17 +01:00
Joao d4825159ee fix configure file. change memory management in YapOr. 2011-04-28 09:48:42 +01:00
Vitor Santos Costa d3ff70096b fix purge_tries. 2011-04-26 22:15:54 +01:00
Joao 274de7652f fix error messages in configure file. 2011-04-18 14:59:17 +01:00
Joao 056ef59d4b fix tabling. change Yap_timestamp to Yap_ma_timestamp. change Yap_time_stamp to Yap_timestamp. 2011-04-07 16:00:26 +01:00
Joao f890a11377 change macros GLOBAL to Yap 2011-03-29 18:19:18 +01:00
Vítor Santos Costa 90d93fdbdd cache abstra machine register in threaded mode. 2011-03-07 16:02:55 +00:00
Vitor Santos Costa 86af6ff3f6 add THOR to threads version. 2010-07-28 00:30:02 +01:00
Ricardo Rocha 4df6ed1394 extra built-in predicate for frozen choice point support 2010-05-18 17:34:52 +01:00