diogo/yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
This repository has been archived on 2023-08-20. You can view files and clone it, but cannot push or open issues or pull requests.
yap-6.3/OPTYap
History
Vítor Santos Costa e1597dd022 missing
2015-07-06 15:04:50 +01:00
..
CMakeLists.txt
missing
2015-07-06 15:04:50 +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
fix locks
2015-06-19 10:10:02 +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
ORP support
2014-11-14 16:51:42 +00:00
opt.config.h
Adding rational term support for tabling tries
2013-12-19 10:56:52 +00:00
opt.init.c
remove GLOBAL_executing_workers
2014-02-13 10:13:45 +00:00
opt.macros.h
cmake & text support
2015-06-19 01:30:13 +01:00
opt.mavar.h
JIT
2015-01-20 03:00:42 +00:00
opt.preds.c
cmake & text support
2015-06-19 01:30:13 +01:00
opt.proto.h
cmake & text support
2015-06-19 01:30:13 +01:00
opt.structs.h
remove GLOBAL_executing_workers
2014-02-13 10:13:45 +00:00
or.copy_engine.c
remove GLOBAL_executing_workers
2014-02-13 10:13:45 +00:00
or.cow_engine.c
get rid of PROTO
2013-04-25 17:15:04 -05:00
or.cut.c
fix cut predicate in YapOr and ThOr
2012-02-27 17:18:01 +00:00
or.insts.h
JIT
2015-01-20 03:00:42 +00:00
or.macros.h
Fix: eclipse >u. into >y_u.
2014-05-30 01:06:09 +01:00
or.memory.c
João Silva patch for yapor copy+tabling
2014-03-08 11:50:20 +00:00
or.sba_amiops.h
Merge branch 'github.com/master'
2014-05-29 12:19:45 +02:00
or.sba_engine.c
patch for OPTYap from João Silva
2014-02-05 16:21:21 +00:00
or.sba_unify.h
Fix: Win32 defines Bind, so change Bind to YapBind.
2014-05-29 11:32:28 +02:00
or.scheduler.c
remove GLOBAL_executing_workers
2014-02-13 10:13:45 +00:00
or.structs.h
doc support
2015-01-04 23:58:23 +00:00
or.thread_engine.c
remove GLOBAL_executing_workers
2014-02-13 10:13:45 +00:00
tab.completion.c
Miguel's support for multi-threaded tabling
2011-12-22 16:50:20 +00:00
tab.insts.h
JIT
2015-01-20 03:00:42 +00:00
tab.macros.h
cmake & text support
2015-06-19 01:30:13 +01:00
tab.rational.h
editors prefer h
2015-01-26 07:36:54 +00:00
tab.structs.h
Fix: eclipse >u. into >y_u.
2014-05-30 01:06:09 +01:00
tab.tries.c
cmake & text support
2015-06-19 01:30:13 +01:00
tab.tries.h
editors prefer h
2015-01-26 07:38:36 +00:00
tab.tries.insts.h
just in time native code: now compiles by doing cmake; make.
2015-02-06 18:11:52 +00:00
traced_or.insts.h
just in time native code: now compiles by doing cmake; make.
2015-02-06 18:11:52 +00:00
traced_tab.insts.h
cmake & text support
2015-06-19 01:30:13 +01:00
traced_tab.tries.insts.h
just in time native code: now compiles by doing cmake; make.
2015-02-06 18:11:52 +00:00