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.
yap-6.3/OPTYap
2010-03-15 14:21:16 +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 missing brackets in condition using macro new_dependency_frame() 2010-03-15 14:21:16 +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