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.

Vítor Santos Costa be2a3a635e L constants are evil in 64 bits

2010-05-11 12:25:49 +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

L constants are evil in 64 bits

2010-05-11 12:25:49 +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