e122f2ca8d
in the local tries (and not in the global trie). This required major changes to the trie instructions in order to unify the use of the auxiliary stack organization for the terms in the local tries and in the global trie. |
||
|---|---|---|
| .. | ||
| alpha_locks_funcs.h | ||
| alpha_locks.h | ||
| mips_locks_funcs.h | ||
| mips_locks.h | ||
| opt.config.h | ||
| opt.init.c | ||
| opt.macros.h | ||
| opt.mavar.h | ||
| opt.memory.c | ||
| opt.misc.c | ||
| opt.preds.c | ||
| opt.proto.h | ||
| opt.structs.h | ||
| or.cowengine.c | ||
| or.cut.c | ||
| or.engine.c | ||
| or.insts.i | ||
| or.macros.h | ||
| or.sbaengine.c | ||
| or.scheduler.c | ||
| or.structs.h | ||
| or.threadengine.c | ||
| pthread_locks.h | ||
| sbaamiops.h | ||
| sbaunify.h | ||
| sparc_locks.h | ||
| tab.insts.i | ||
| tab.macros.h | ||
| tab.structs.h | ||
| tab.suspend.c | ||
| tab.tries.c | ||
| tab.tries.i | ||
| tab.tries.insts.i | ||
| x86_locks.h | ||