此网站需要 JavaScript。
探索
帮助
登录
diogo
/
yap-6.3
已存档
关注
1
点赞
0
派生
0
你已经派生过 yap-6.3
代码
工单
合并请求
软件包
项目
版本发布
百科
动态
该仓库已于
2023-08-20
归档。您可以查看文件或克隆它,但不能推送、创建工单或合并请求。
文件
60ff9daafdbbe7b4b08761b06b72e02094d43f90
yap-6.3
/
OPTYap
文件历史
Vitor Santos Costa
83480fe8a7
change the way predicates are hidden
2012-10-19 18:11:20 +01:00
..
locks_alpha_funcs.h
renaming some OPTYap files in order to have a more consistent name organization
2010-04-19 02:34:08 +01:00
locks_alpha.h
renaming some OPTYap files in order to have a more consistent name organization
2010-04-19 02:34:08 +01:00
locks_mips_funcs.h
renaming some OPTYap files in order to have a more consistent name organization
2010-04-19 02:34:08 +01:00
locks_mips.h
renaming some OPTYap files in order to have a more consistent name organization
2010-04-19 02:34:08 +01:00
locks_pthread.h
minor fixes
2012-05-21 15:55:14 +01:00
locks_sparc.h
renaming some OPTYap files in order to have a more consistent name organization
2010-04-19 02:34:08 +01:00
locks_x86.h
fix RW_locks for x86 (code from Erlang).
2010-10-15 01:13:49 +01:00
opt.config.h
adding sum mode operator + fix multithreading compatibility
2012-06-04 19:27:31 +01:00
opt.init.c
fix PgEnt_strs_in_use counter
2012-05-22 14:47:47 +01:00
opt.macros.h
fix PgEnt_strs_in_use counter
2012-05-22 14:47:47 +01:00
opt.mavar.h
fix configure file. change memory management in YapOr.
2011-04-28 09:48:42 +01:00
opt.preds.c
change the way predicates are hidden
2012-10-19 18:11:20 +01:00
opt.proto.h
fix cut predicate in YapOr and ThOr
2012-02-27 17:18:01 +00:00
opt.structs.h
fix PgEnt_strs_in_use counter
2012-05-22 14:47:47 +01:00
or.copy_engine.c
fix cut predicate in YapOr and ThOr
2012-02-27 17:18:01 +00:00
or.cow_engine.c
Some global variables(Yap_thread_gl) in C/init.c are now declared in misc/LOCALS
2011-05-23 16:19:47 +01:00
or.cut.c
fix cut predicate in YapOr and ThOr
2012-02-27 17:18:01 +00:00
or.insts.i
change global_optyap_data macros to GLOBAL_.
2011-05-10 11:47:18 +01:00
or.macros.h
fix cut predicate in YapOr and ThOr
2012-02-27 17:18:01 +00:00
or.memory.c
fix compilation for or-parallelism
2011-12-05 17:02:06 +00:00
or.sba_amiops.h
fix yapor memory allocation
2011-06-02 17:01:00 +01:00
or.sba_engine.c
Some global variables(Yap_thread_gl) in C/init.c are now declared in misc/LOCALS
2011-05-23 16:19:47 +01:00
or.sba_unify.h
fix yapor memory allocation
2011-06-02 17:01:00 +01:00
or.scheduler.c
fix cut predicate in YapOr and ThOr
2012-02-27 17:18:01 +00:00
or.structs.h
fix parallel_findall/3
2012-01-05 16:04:32 +00:00
or.thread_engine.c
fix cut predicate in YapOr and ThOr
2012-02-27 17:18:01 +00:00
tab.completion.c
Miguel's support for multi-threaded tabling
2011-12-22 16:50:20 +00:00
tab.insts.i
Miguel's support for multi-threaded tabling
2011-12-22 16:50:20 +00:00
tab.macros.h
fix multithreading with mode-directed tabling
2012-06-04 19:47:45 +01:00
tab.structs.h
Miguel's support for multi-threaded tabling
2011-12-22 16:50:20 +00:00
tab.tries.c
fix multithreading with mode-directed tabling
2012-06-06 15:19:38 +01:00
tab.tries.i
adding sum mode operator + fix multithreading compatibility
2012-06-04 19:27:31 +01:00
tab.tries.insts.i
fix aliasing warning.
2011-02-15 18:40:34 +00:00