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 Manuel de Morais Santos Costa d810cbd41d we're moving down, not up, in both cases!

2009-10-19 16:39:40 +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

support for the common global trie (version GT-T: global trie for terms)

2009-09-27 02:31:31 +01:00

opt.init.c

support for the common global trie (version GT-T: global trie for terms)

2009-09-27 02:31:31 +01:00

opt.macros.h

include the library shm.h only when needed

2009-09-29 00:56:58 +01: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

support for the common global trie (version GT-T: global trie for terms)

2009-09-27 02:31:31 +01:00

opt.proto.h

support for the common global trie (version GT-T: global trie for terms)

2009-09-27 02:31:31 +01:00

opt.structs.h

support for the common global trie (version GT-T: global trie for terms)

2009-09-27 02:31:31 +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 the common global trie (version GT-T: global trie for terms)

2009-09-27 02:31:31 +01:00

tab.macros.h

we're moving down, not up, in both cases!

2009-10-19 16:39:40 +01:00

tab.structs.h

support for the common global trie (version GT-T: global trie for terms)

2009-09-27 02:31:31 +01:00

tab.suspend.c

improve the support for deterministic tabling (still experimental,

2009-08-07 17:29:53 +01:00

tab.tries.c

support for the common global trie (version GT-T: global trie for terms)

2009-09-27 02:31:31 +01:00

tab.tries.insts.i

support for the common global trie (version GT-T: global trie for terms)

2009-09-27 02:31:31 +01:00

x86_locks.h

modern machines do not guarantee sequential consistency.

2009-09-07 20:42:19 -05:00