| .. |
|
alpha_locks.h
|
copyright header in OPTYap files
|
2005-05-31 08:24:24 +00:00 |
|
alpha_locks_funcs.h
|
copyright header in OPTYap files
|
2005-05-31 08:24:24 +00:00 |
|
mips_locks.h
|
copyright header in OPTYap files
|
2005-05-31 08:24:24 +00:00 |
|
mips_locks_funcs.h
|
copyright header in OPTYap files
|
2005-05-31 08:24:24 +00:00 |
|
opt.config.h
|
disable the support for trie compact lists in YapTab's default
|
2009-07-05 05:29:53 +01:00 |
|
opt.init.c
|
*** empty log message ***
|
2008-04-11 16:30:28 +00:00 |
|
opt.macros.h
|
tabling support for 64 bits
|
2007-04-26 14:13:21 +00:00 |
|
opt.mavar.h
|
first steps to allow mavars with tabling
|
2005-08-05 14:55:03 +00:00 |
|
opt.memory.c
|
make or-parallelism compile again
|
2008-03-25 16:45:53 +00:00 |
|
opt.misc.c
|
include declarations (small changes)
|
2005-06-03 18:28:11 +00:00 |
|
opt.preds.c
|
bug fix in built-in predicate tabling_statistics/0.
|
2009-06-25 13:00:13 +01:00 |
|
opt.proto.h
|
bug fix in function free_subgoal_trie_branch()
|
2009-06-25 12:37:07 +01:00 |
|
opt.structs.h
|
redefine MAX_DEPTH as MAX_BRANCH_DEPTH to avoid conflits with yap2swi
|
2009-06-24 20:00:51 +01:00 |
|
or.cowengine.c
|
redefine MAX_DEPTH as MAX_BRANCH_DEPTH to avoid conflits with yap2swi
|
2009-06-24 20:00:51 +01:00 |
|
or.cut.c
|
make or-parallelism compile again
|
2008-03-25 16:45:53 +00:00 |
|
or.engine.c
|
redefine MAX_DEPTH as MAX_BRANCH_DEPTH to avoid conflits with yap2swi
|
2009-06-24 20:00:51 +01:00 |
|
or.insts.i
|
- bug fixes in show_table/1.
|
2009-06-17 17:14:16 +01:00 |
|
or.macros.h
|
push changes to make tabling work: don't ignore tabling and yapor fields
|
2008-09-05 05:22:19 +01:00 |
|
or.sbaengine.c
|
redefine MAX_DEPTH as MAX_BRANCH_DEPTH to avoid conflits with yap2swi
|
2009-06-24 20:00:51 +01:00 |
|
or.scheduler.c
|
copyright header in OPTYap files
|
2005-05-31 08:24:24 +00:00 |
|
or.structs.h
|
copyright header in OPTYap files
|
2005-05-31 08:24:24 +00:00 |
|
pthread_locks.h
|
copyright header in OPTYap files
|
2005-05-31 08:24:24 +00:00 |
|
sbaamiops.h
|
copyright header in OPTYap files
|
2005-05-31 08:24:24 +00:00 |
|
sbaunify.h
|
copyright header in OPTYap files
|
2005-05-31 08:24:24 +00:00 |
|
sparc_locks.h
|
copyright header in OPTYap files
|
2005-05-31 08:24:24 +00:00 |
|
tab.insts.i
|
support for deterministic tabled calls and answers
|
2009-07-03 00:54:39 +01:00 |
|
tab.macros.h
|
support for trie compact lists (version 2): this new version uses
|
2009-07-05 05:14:08 +01:00 |
|
tab.structs.h
|
support for deterministic tabled calls and answers
|
2009-07-03 00:54:39 +01:00 |
|
tab.suspend.c
|
YapTab: support for early completion
|
2008-05-23 18:28:58 +00:00 |
|
tab.tries.c
|
support for trie compact lists (version 2): this new version uses
|
2009-07-05 05:14:08 +01:00 |
|
tab.tries.insts.i
|
support for trie compact lists (version 2): this new version uses
|
2009-07-05 05:14:08 +01:00 |
|
x86_locks.h
|
fixes to support threads and assert correctly, even if inefficiently.
|
2007-11-26 23:43:10 +00:00 |
02e82d7719