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.

ricroc 9d7954f092 FIXED: in abolish_incomplete_subgoals(), free_answer_hash_chain() needs to be executed before updating SgFr_answer_trie. ...

git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1269 b08c6af1-5177-4d33-ba66-4b1c6b8b522a

2005-04-08 19:26:28 +00:00

..

alpha_locks_funcs.h

This commit was generated by cvs2svn to compensate for changes in r4,

2001-04-09 19:54:03 +00:00

alpha_locks.h

This commit was generated by cvs2svn to compensate for changes in r4,

2001-04-09 19:54:03 +00:00

mips_locks_funcs.h

This commit was generated by cvs2svn to compensate for changes in r4,

2001-04-09 19:54:03 +00:00

mips_locks.h

This commit was generated by cvs2svn to compensate for changes in r4,

2001-04-09 19:54:03 +00:00

opt.config.h

bug fixes for YapTab support

2005-03-04 20:30:14 +00:00

opt.init.c

bug fixes for YapTab support

2005-03-04 20:30:14 +00:00

opt.macros.h

bug fixes for YapTab support

2005-03-04 20:30:14 +00:00

opt.mavar.h

My first attempt to synchronize OPTYap with CVS

2003-11-05 16:12:25 +00:00

opt.memory.c

bug fixes for YapTab support

2005-03-04 20:30:14 +00:00

opt.misc.c

Adding tabling support for mixed strategy evaluation (batched and local scheduling)

2005-04-07 17:56:58 +00:00

opt.preds.c

Adding tabling support for mixed strategy evaluation (batched and local scheduling)

2005-04-07 17:56:58 +00:00

opt.proto.h

Adding tabling support for mixed strategy evaluation (batched and local scheduling)

2005-04-07 17:56:58 +00:00

opt.structs.h

bug fixes for YapTab support

2005-03-04 20:30:14 +00:00

or.cowengine.c

bug fixes for YapTab support

2005-03-04 20:30:14 +00:00

or.cut.c

This commit was generated by cvs2svn to compensate for changes in r4,

2001-04-09 19:54:03 +00:00

or.engine.c

Adding tabling support for mixed strategy evaluation (batched and local scheduling)

2005-04-07 17:56:58 +00:00

or.insts.i

Adding tabling support for mixed strategy evaluation (batched and local scheduling)

2005-04-07 17:56:58 +00:00

or.macros.h

Adding tabling support for mixed strategy evaluation (batched and local scheduling)

2005-04-07 17:56:58 +00:00

or.sbaengine.c

bug fixes for YapTab support

2005-03-04 20:30:14 +00:00

or.scheduler.c

Adding tabling support for mixed strategy evaluation (batched and local scheduling)

2005-04-07 17:56:58 +00:00

or.structs.h

make --enable-threads work on CVS release.

2002-10-21 22:14:29 +00:00

pthread_locks.h

locking on the p-threads world

2004-02-12 23:48:19 +00:00

sbaamiops.h

This commit was generated by cvs2svn to compensate for changes in r4,

2001-04-09 19:54:03 +00:00

sbaunify.h

Christian's patches for OPTYap.

2002-11-26 22:19:48 +00:00

sparc_locks.h

make --enable-threads work on CVS release.

2002-10-21 22:14:29 +00:00

tab.insts.i

Adding tabling support for mixed strategy evaluation (batched and local scheduling)

2005-04-07 17:56:58 +00:00

tab.macros.h

FIXED: in abolish_incomplete_subgoals(), free_answer_hash_chain() needs to be executed before updating SgFr_answer_trie.

2005-04-08 19:26:28 +00:00

tab.structs.h

Adding tabling support for mixed strategy evaluation (batched and local scheduling)

2005-04-07 17:56:58 +00:00

tab.suspend.c

Adding tabling support for mixed strategy evaluation (batched and local scheduling)

2005-04-07 17:56:58 +00:00

tab.tries.c

Adding tabling support for mixed strategy evaluation (batched and local scheduling)

2005-04-07 17:56:58 +00:00

tab.tries.insts.i

Adding tabling support for mixed strategy evaluation (batched and local scheduling)

2005-04-07 17:56:58 +00:00

x86_locks.h

make --enable-threads work on CVS release.

2002-10-21 22:14:29 +00:00