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 ee0022bb47 checking for frozen segments in the trail stack in now done using the ...

macro IN_BETWEEN(Yap_TrailBase, ref, Yap_TrailTop)

2010-03-12 20:02:32 +00: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

checking for frozen segments in the trail stack in now done using the

2010-03-12 20:02:32 +00:00

opt.macros.h

checking for frozen segments in the trail stack in now done using the

2010-03-12 20:02:32 +00:00

opt.mavar.h

first steps to allow mavars with tabling

2005-08-05 14:55:03 +00:00

opt.memory.c

use mapfield in current directory, not in /

2010-02-03 22:54:24 +00:00

opt.misc.c

fix LOCAL with tabling only.

2010-02-12 16:25:57 +00:00

opt.preds.c

new built-in predicate abolish_all_frozen_choice_points/0

2010-03-09 14:48:20 +00:00

opt.proto.h

experiment in or-parallel threads.

2010-01-14 15:58:19 +00:00

opt.structs.h

make LOCAL a register

2010-02-10 09:22:20 +00:00

or.cowengine.c

checking for frozen segments in the trail stack in now done using the

2010-03-12 20:02:32 +00:00

or.cut.c

fix one more CP field to offset.

2010-02-02 23:42:15 +00:00

or.engine.c

checking for frozen segments in the trail stack in now done using the

2010-03-12 20:02:32 +00:00

or.insts.i

experiment in or-parallel threads.

2010-01-14 15:58:19 +00:00

or.macros.h

make LOCAL a register

2010-02-10 09:22:20 +00:00

or.sbaengine.c

checking for frozen segments in the trail stack in now done using the

2010-03-12 20:02:32 +00:00

or.scheduler.c

fix one more CP field to offset.

2010-02-02 23:42:15 +00:00

or.structs.h

fix one more CP field to offset.

2010-02-02 23:42:15 +00:00

or.threadengine.c

checking for frozen segments in the trail stack in now done using the

2010-03-12 20:02:32 +00:00

pthread_locks.h

make sure it compiles under YAPOR alone.

2010-01-22 22:30:11 +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

fix cut handling with threads

2010-01-27 11:01:28 +00:00

tab.macros.h

checking for frozen segments in the trail stack in now done using the

2010-03-12 20:02:32 +00:00

tab.structs.h

fix compilation of threads+tabling

2009-12-18 00:19:49 -02:00

tab.suspend.c

icompile table+orp

2010-01-14 17:38:39 +00:00

tab.tries.c

change Heap.h to YapHeap.h

2009-10-23 14:22:17 +01:00

tab.tries.insts.i

try to get rid of a warning.

2010-02-12 16:25:43 +00:00

x86_locks.h

modern machines do not guarantee sequential consistency.

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