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 c26b5f3175 increase the ignore list

2015-06-17 23:49:02 +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

fix minor locking problems and disable localization for now

2014-10-19 03:51:56 +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

ORP support

2014-11-14 16:51:42 +00:00

opt.config.h

Adding rational term support for tabling tries

2013-12-19 10:56:52 +00:00

opt.init.c

remove GLOBAL_executing_workers

2014-02-13 10:13:45 +00:00

opt.macros.h

swig fixes for Android compatibility

2014-06-22 17:35:05 +01:00

opt.mavar.h

JIT

2015-01-20 03:00:42 +00:00

opt.preds.c

avoid undefined predicates

2015-02-14 17:13:42 +00:00

opt.proto.h

fix cut predicate in YapOr and ThOr

2012-02-27 17:18:01 +00:00

opt.structs.h

remove GLOBAL_executing_workers

2014-02-13 10:13:45 +00:00

or.copy_engine.c

remove GLOBAL_executing_workers

2014-02-13 10:13:45 +00:00

or.cow_engine.c

get rid of PROTO

2013-04-25 17:15:04 -05:00

or.cut.c

fix cut predicate in YapOr and ThOr

2012-02-27 17:18:01 +00:00

or.insts.h

JIT

2015-01-20 03:00:42 +00:00

or.macros.h

Fix: eclipse >u. into >y_u.

2014-05-30 01:06:09 +01:00

or.memory.c

João Silva patch for yapor copy+tabling

2014-03-08 11:50:20 +00:00

or.sba_amiops.h

Merge branch 'github.com/master'

2014-05-29 12:19:45 +02:00

or.sba_engine.c

patch for OPTYap from João Silva

2014-02-05 16:21:21 +00:00

or.sba_unify.h

Fix: Win32 defines Bind, so change Bind to YapBind.

2014-05-29 11:32:28 +02:00

or.scheduler.c

remove GLOBAL_executing_workers

2014-02-13 10:13:45 +00:00

or.structs.h

doc support

2015-01-04 23:58:23 +00:00

or.thread_engine.c

remove GLOBAL_executing_workers

2014-02-13 10:13:45 +00:00

tab.completion.c

Miguel's support for multi-threaded tabling

2011-12-22 16:50:20 +00:00

tab.insts.h

JIT

2015-01-20 03:00:42 +00:00

tab.macros.h

JIT

2015-01-20 03:00:42 +00:00

tab.rational.h

editors prefer h

2015-01-26 07:36:54 +00:00

tab.structs.h

Fix: eclipse >u. into >y_u.

2014-05-30 01:06:09 +01:00

tab.tries.c

JIT

2015-01-20 03:00:42 +00:00

tab.tries.h

editors prefer h

2015-01-26 07:38:36 +00:00

tab.tries.insts.h

just in time native code: now compiles by doing cmake; make.

2015-02-06 18:11:52 +00:00

traced_or.insts.h

just in time native code: now compiles by doing cmake; make.

2015-02-06 18:11:52 +00:00

traced_tab.insts.h

fix compilation of JIT (but still not working).

2015-02-18 10:03:57 +00:00

traced_tab.tries.insts.h

just in time native code: now compiles by doing cmake; make.

2015-02-06 18:11:52 +00:00