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 22b0bcac14 mode directed tabling.

2011-10-22 16:49:13 +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

fix RW_locks for x86 (code from Erlang).

2010-10-15 01:13:49 +01:00

opt.config.h

mode directed tabling.

2011-10-22 16:49:13 +01:00

opt.init.c

DepFr_cons field initialization for threads

2011-07-26 16:49:49 +01:00

opt.macros.h

fix yapor memory allocation

2011-06-02 17:01:00 +01:00

opt.mavar.h

fix configure file. change memory management in YapOr.

2011-04-28 09:48:42 +01:00

opt.preds.c

mode directed tabling.

2011-10-22 16:49:13 +01:00

opt.proto.h

use UInt not long.

2011-06-20 10:40:18 +01:00

opt.structs.h

DepFr_cons field initialization for threads

2011-07-26 16:49:49 +01:00

or.copy_engine.c

fix YAPOR incremental copy.

2011-09-15 15:40:47 +01:00

or.cow_engine.c

Some global variables(Yap_thread_gl) in C/init.c are now declared in misc/LOCALS

2011-05-23 16:19:47 +01:00

or.cut.c

moved several global variables to misc/GLOBALS

2011-05-25 16:40:36 +01:00

or.insts.i

change global_optyap_data macros to GLOBAL_.

2011-05-10 11:47:18 +01:00

or.macros.h

fix cut support for or-parallelism

2011-07-13 17:36:26 +01:00

or.memory.c

removing printf

2011-06-21 15:49:38 +01:00

or.sba_amiops.h

fix yapor memory allocation

2011-06-02 17:01:00 +01:00

or.sba_engine.c

Some global variables(Yap_thread_gl) in C/init.c are now declared in misc/LOCALS

2011-05-23 16:19:47 +01:00

or.sba_unify.h

fix yapor memory allocation

2011-06-02 17:01:00 +01:00

or.scheduler.c

moved several global variables to misc/GLOBALS

2011-05-25 16:40:36 +01:00

or.structs.h

fix YapOr threads.

2011-04-29 14:59:17 +01:00

or.thread_engine.c

fix thor to back up to intermediate node.

2011-10-12 23:51:12 +01:00

tab.completion.c

cache abstra machine register in threaded mode.

2011-03-07 16:02:55 +00:00

tab.insts.i

mode directed tabling.

2011-10-22 16:49:13 +01:00

tab.macros.h

mode directed tabling.

2011-10-22 16:49:13 +01:00

tab.structs.h

mode directed tabling.

2011-10-22 16:49:13 +01:00

tab.tries.c

mode directed tabling.

2011-10-22 16:49:13 +01:00

tab.tries.i

mode directed tabling.

2011-10-22 16:49:13 +01:00

tab.tries.insts.i

fix aliasing warning.

2011-02-15 18:40:34 +00:00