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.

Vitor Santos Costa 02893cc83f Ricardo Rocha's code for user managed suspension. ...

changed code from absmi.c to tab.macros.h

2008-09-18 17:35:21 +01: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

more small fixes

2005-10-31 12:27:54 +00:00

opt.init.c

*** empty log message ***

2008-04-11 16:30:28 +00:00

opt.macros.h

tabling support for 64 bits

2007-04-26 14:13:21 +00:00

opt.mavar.h

first steps to allow mavars with tabling

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

opt.memory.c

make or-parallelism compile again

2008-03-25 16:45:53 +00:00

opt.misc.c

include declarations (small changes)

2005-06-03 18:28:11 +00:00

opt.preds.c

Ricardo Rocha's code for user managed suspension.

2008-09-18 17:35:21 +01:00

opt.proto.h

fix bad initialization with tabling.

2005-11-04 01:17:17 +00:00

opt.structs.h

tabling support for 64 bits

2007-04-26 14:13:21 +00:00

or.cowengine.c

include declarations (small changes)

2005-06-03 18:28:11 +00:00

or.cut.c

make or-parallelism compile again

2008-03-25 16:45:53 +00:00

or.engine.c

make or-parallelism compile again

2008-03-25 16:45:53 +00:00

or.insts.i

push changes to make tabling work: don't ignore tabling and yapor fields

2008-09-05 05:22:19 +01:00

or.macros.h

push changes to make tabling work: don't ignore tabling and yapor fields

2008-09-05 05:22:19 +01:00

or.sbaengine.c

include declarations (small changes)

2005-06-03 18:28:11 +00:00

or.scheduler.c

copyright header in OPTYap files

2005-05-31 08:24:24 +00:00

or.structs.h

copyright header in OPTYap files

2005-05-31 08:24:24 +00:00

pthread_locks.h

copyright header in OPTYap files

2005-05-31 08:24:24 +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

experiments with early completion.

2008-09-15 04:29:26 +01:00

tab.macros.h

Ricardo Rocha's code for user managed suspension.

2008-09-18 17:35:21 +01:00

tab.structs.h

push changes to make tabling work: don't ignore tabling and yapor fields

2008-09-05 05:22:19 +01:00

tab.suspend.c

YapTab: support for early completion

2008-05-23 18:28:58 +00:00

tab.tries.c

push changes to make tabling work: don't ignore tabling and yapor fields

2008-09-05 05:22:19 +01:00

tab.tries.insts.i

fix answer_trie compilation and execution:

2008-09-05 18:34:26 +01:00

x86_locks.h

fixes to support threads and assert correctly, even if inefficiently.

2007-11-26 23:43:10 +00:00