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

129 Commits

Author SHA1 Message Date
Vitor Santos Costa a05bad3bf0 fix bad offset in export_term. 2012-05-08 17:04:28 +01:00
Vitor Santos Costa 7488ef0539 ifix bug in checking for free space. 2012-05-08 12:55:34 +01:00
Vítor Santos Costa 24d09ffde5 fix trailing issues in numbervars. 2012-04-23 15:50:01 +01:00
Vítor Santos Costa c08178a57c fix thread compilation. 2012-04-11 22:08:02 +01:00
Vítor Santos Costa 5c6c034ec9 generate type error on second arg to term variables/2 (UN 198) 2012-03-18 00:07:06 +00:00
Vítor Santos Costa 0c1eb1d642 fix write_canonical of $VAR(_). 2012-03-15 22:19:48 +00:00
Vítor Santos Costa cc8521c9d5 fix bad handling of singletons with write_canonical. 2012-03-14 22:10:21 +00:00
Vítor Santos Costa 020323d633 list_or_partial_list support. 2012-03-06 14:41:23 +00:00
Vítor Santos Costa fd0cf6ee14 Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3 2012-03-06 14:12:39 +00:00
Vítor Santos Costa 6075bde029 partial_list 2012-03-06 14:12:25 +00:00
Vítor Santos Costa fbe846e74a fix is_list to fail on infinite lists. 2012-03-04 10:45:32 +00:00
Vítor Santos Costa 0b1c98d3f6 allow MPI to compute term size. 2012-02-05 11:57:03 +00:00
Vítor Santos Costa bd677152e7 more MPI fixes. 2012-02-05 11:20:30 +00:00
Vítor Santos Costa a2c86643b0 ismall fixes to MPI interface. 2012-02-03 16:31:49 +00:00
Vítor Santos Costa 6eea1fe1ea fixes for export_term and friends. 2012-02-02 23:25:09 +00:00
Vítor Santos Costa 4e6cc28cd3 lam support. 2012-02-02 09:58:05 +00:00
Vitor Santos Costa 91cada2661 include correct implementation of skip_list as built-in. 2012-01-09 23:28:31 +00:00
Vítor Santos Costa 749a5103a1 fix empty slots in unnumbervars. 2011-11-18 22:16:33 +00:00
Vítor Santos Costa cadb0fe4ae ifix bad call to unnumbervars. 2011-11-16 14:59:28 +00:00
Vítor Santos Costa 64dded4a53 iunnumbervars may be copying terms from outside the stacks, so don't share 
unless we know we share.
 2011-11-04 09:28:33 +00:00
Vítor Santos Costa 6ed7736c28 C implementation of numbervars 2011-11-03 07:44:08 +09:00
Vitor Santos Costa 15f5277ca4 use structure for visited terms in hash. 
predicates that did stack expansion were declared safe.
 2011-07-06 17:26:53 -04:00
Joao 971ad94311 moved several global variables to misc/GLOBALS 2011-05-25 16:40:36 +01:00
Joao 8170f6d3cb Some global variables(Yap_thread_gl) in C/init.c are now declared in misc/LOCALS 2011-05-23 16:19:47 +01:00
Vítor Santos Costa 8fb8aec9bf MULTIPLE_STACKS - or-parallelism/threads/tabling 
YAPOR_THREADS - threads with or-parallelism
make tabling require reference counting for dynamic predicates.
 2011-04-14 18:51:11 +01:00
Vitor Santos Costa d51dc81032 fix bad left-over. 2011-03-19 23:24:13 +00:00
Vitor Santos Costa a1fbcf872b bad handling of overflow. 2011-03-19 23:21:37 +00:00
Vítor Santos Costa 0d8aed7971 new implementation of corourining... 2011-03-18 19:34:58 +00:00
Vítor Santos Costa 90d93fdbdd cache abstra machine register in threaded mode. 2011-03-07 16:02:55 +00:00
Vítor Santos Costa e509d11c2e routines to copy rational terms to tree and vice-versa. 2010-11-01 20:11:28 +00:00
Vítor Santos Costa 388f4fb782 expand C-interface to allow access to common term operations (request from Ingo Molnar). 2010-08-02 19:48:17 +01:00
Vítor Santos Costa e031026a62 instrument PE locking 
fix missing unlock in index_pred (if predicate had been indexed while we were
waiting).
 2010-07-25 11:22:16 +01:00
Vitor Santos Costa a7612bb15e fix bad call to subsumes (obs from Jose Santos) 2010-07-21 00:09:24 +01:00
Vitor Santos Costa 6183ff0282 semweb and http compile now (but they don't work properly yet). 2010-07-15 23:35:37 +01:00
Vitor Santos Costa a45105ee04 export wide atoms and add a little comment.y 2010-07-15 17:46:52 +01:00
Vitor Santos Costa b2184ecb00 term export and import routines 2010-07-15 17:19:37 +01:00
Vítor Santos Costa 11641c5f94 64 bit cleanups. 2010-05-06 15:00:44 +01:00
Vitor Santos Costa da51afc1e4 fix term_hash of floats and large ints (obs from Jose Santos). 2010-03-22 00:09:50 +00:00
Vítor Santos Costa II 3c67550975 fix stupid use of ++ within macro. 2010-03-15 16:20:47 +00:00
Vitor Santos Costa 8b6b9e9ac3 we don't need to wakeup variables that have no attributes, even if they have been bound. 2010-03-15 14:17:30 +00:00
Vitor Santos Costa 4fafe10fbe fix error messages 2010-03-14 09:32:04 +00:00
Vitor Santos Costa 222ead095c term_attvars/2. 2010-03-12 08:49:12 +00:00
Vitor Santos Costa 30a4f3cfe7 fixes to support copy_term and nb_ 2010-03-12 08:24:58 +00:00
Vitor Santos Costa 3d10482cc7 more upgrades to new coroutining code. 2010-03-10 14:06:07 +00:00
Vitor Santos Costa 34ca485e42 new Atts code. 2010-03-08 09:23:58 +00:00
Vitor Santos Costa 2702c7e973 oops, forgot deref 2010-01-25 21:28:51 +00:00
Vitor Santos Costa 5cd85f4eaa export Yap_IsGroundTerm(t) 2010-01-25 12:28:49 +00:00
Vítor Manuel de Morais Santos Costa a7c1e9afba fix hashing over empty atoms (obs from Jose Santos). 2010-01-21 15:21:26 +00:00
Vitor Santos Costa 2edc06b6a2 fix unifiable for attributed variables (obs from Jiefei Ma). 2010-01-21 09:47:55 +00:00
Vitor Santos Costa 6852a0c861 make =@= an well known alias to variant. 2009-11-23 10:10:14 +00:00