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 f209796c3b fix bad overflow handling

2009-05-01 12:46:34 -05: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

remove early completion code.

2008-09-26 18:50:09 +01:00

tab.macros.h

fix handling of multiassignment variables with tabling;

2009-05-01 11:53:59 -05: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

fix bad overflow handling

2009-05-01 12:46:34 -05: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