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.

Ricardo Rocha 02e82d7719 disable the support for trie compact lists in YapTab's default ...

configuration.

2009-07-05 05:29:53 +01:00

..

alpha_locks_funcs.h

copyright header in OPTYap files

2005-05-31 08:24:24 +00:00

alpha_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

mips_locks.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