| .. |
|
|
skip/2 was using user_input
|
2015-11-11 08:45:03 +00:00 |
|
CMakeLists.txt
|
bug fices
|
2016-01-03 02:06:09 +00: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_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_mips.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_pthread.h
|
syntax error handling
|
2015-07-27 22:22:44 -05: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
|
bug fices
|
2016-01-03 02:06:09 +00:00 |
|
opt.macros.h
|
fix error handling
|
2015-09-25 10:57:26 +01:00 |
|
opt.mavar.h
|
JIT
|
2015-01-20 03:00:42 +00:00 |
|
opt.preds.c
|
bug fices
|
2016-01-03 02:06:09 +00: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
|
fix error handling
|
2015-09-25 10:57:26 +01:00 |
|
or.cow_engine.c
|
fix error handling
|
2015-09-25 10:57:26 +01: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
|
fix error handling
|
2015-09-25 10:57:26 +01:00 |
|
or.sba_amiops.h
|
Merge branch 'github.com/master'
|
2014-05-29 12:19:45 +02:00 |
|
or.sba_engine.c
|
fix error handling
|
2015-09-25 10:57:26 +01: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
|
fix error handling
|
2015-09-25 10:57:26 +01:00 |
|
tab.completion.c
|
Miguel's support for multi-threaded tabling
|
2011-12-22 16:50:20 +00:00 |
|
tab.insts.h
|
configutaion fixes
|
2015-11-12 14:59:07 +00:00 |
|
tab.macros.h
|
fix error handling
|
2015-09-25 10:57:26 +01:00 |
|
tab.rational.h
|
fix error handling
|
2015-09-25 10:57:26 +01:00 |
|
tab.structs.h
|
Fix: eclipse >u. into >y_u.
|
2014-05-30 01:06:09 +01:00 |
|
tab.tries.c
|
bug fices
|
2016-01-03 02:06:09 +00:00 |
|
tab.tries.h
|
fix error handling
|
2015-09-25 10:57:26 +01:00 |
|
tab.tries.insts.h
|
fix error handling
|
2015-09-25 10:57:26 +01: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
|
fix error handling
|
2015-09-25 10:57:26 +01:00 |
661f33ac7e