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 16c1056a01 tabling support for the common global trie is now available by default ...

(macro GLOBAL_TRIE was removed). Use 'yap_flag(tabling_mode,MODE)' to
set the storing mode for all tabled predicates to MODE ('local_trie' or
'global_trie). Alternatively, use 'tabling_mode(PRED,MODE)' to set the
default tabling mode of predicate PRED to MODE ('local_trie' or
'global_trie'). The default mode for all tabled predicates is 'local_trie'.

2010-04-23 04:22:10 +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

renaming some OPTYap files in order to have a more consistent name organization

2010-04-19 02:34:08 +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

renaming some OPTYap files in order to have a more consistent name organization

2010-04-19 02:34:08 +01:00

opt.config.h

tabling support for the common global trie is now available by default

2010-04-23 04:22:10 +01:00

opt.init.c

tabling support for the common global trie is now available by default

2010-04-23 04:22:10 +01:00

opt.macros.h

tabling support for the common global trie is now available by default

2010-04-23 04:22:10 +01:00

opt.mavar.h

new support for the common global trie (version GT-ST: global trie for subterms)

2010-04-03 05:58:14 +01:00

opt.memory.c

new support for the common global trie (version GT-ST: global trie for subterms)

2010-04-03 05:58:14 +01:00

opt.preds.c

tabling support for the common global trie is now available by default

2010-04-23 04:22:10 +01:00

opt.proto.h

tabling support for the common global trie is now available by default

2010-04-23 04:22:10 +01:00

opt.structs.h

tabling support for the common global trie is now available by default

2010-04-23 04:22:10 +01:00

or.cowengine.c

reducing the number of macros for error checking in the OPTYap files

2010-04-18 04:59:11 +01:00

or.cut.c

reducing the number of macros for error checking in the OPTYap files

2010-04-18 04:59:11 +01:00

or.engine.c

reducing the number of macros for error checking in the OPTYap files

2010-04-18 04:59:11 +01:00

or.insts.i

new support for the common global trie (version GT-ST: global trie for subterms)

2010-04-03 05:58:14 +01:00

or.macros.h

new support for the common global trie (version GT-ST: global trie for subterms)

2010-04-03 05:58:14 +01:00

or.sbaamiops.h

renaming some OPTYap files in order to have a more consistent name organization

2010-04-19 02:34:08 +01:00

or.sbaengine.c

reducing the number of macros for error checking in the OPTYap files

2010-04-18 04:59:11 +01:00

or.sbaunify.h

renaming some OPTYap files in order to have a more consistent name organization

2010-04-19 02:34:08 +01:00

or.scheduler.c

reducing the number of macros for error checking in the OPTYap files

2010-04-18 04:59:11 +01:00

or.structs.h

new support for the common global trie (version GT-ST: global trie for subterms)

2010-04-03 05:58:14 +01:00

or.threadengine.c

reducing the number of macros for error checking in the OPTYap files

2010-04-18 04:59:11 +01:00

tab.completion.c

renaming some OPTYap files in order to have a more consistent name organization

2010-04-19 02:34:08 +01:00

tab.insts.i

reducing the number of macros for error checking in the OPTYap files

2010-04-18 04:59:11 +01:00

tab.macros.h

tabling support for the common global trie is now available by default

2010-04-23 04:22:10 +01:00

tab.structs.h

tabling support for the common global trie is now available by default

2010-04-23 04:22:10 +01:00

tab.tries.c

tabling support for the common global trie is now available by default

2010-04-23 04:22:10 +01:00

tab.tries.i

tabling support for the common global trie is now available by default

2010-04-23 04:22:10 +01:00

tab.tries.insts.i

tabling support for the common global trie is now available by default

2010-04-23 04:22:10 +01:00