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.
yap-6.3/OPTYap
Vítor Santos Costa 2192f73b11 make it compile under MSN vc. Unfortunately it has a weird crash at boot :(
- Lots of indenting changes
- VC++ is strict with variadic macros
- VC++ does not accept unistd.h
- new interface for walltime
- VC++ does not seem to have support for integer overflow.
- VC++ defines YENV_REG?
- no access flags, x permissions ignored.
- new FindGMP supporting MPIR
- make horus optional (c++ is hard).
2016-02-28 19:32:55 +00:00
..
CMakeLists.txt bug fices 2016-01-03 02:06:09 +00: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 syntax error handling 2015-07-27 22:22:44 -05: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 make it compile under MSN vc. Unfortunately it has a weird crash at boot :( 2016-02-28 19:32:55 +00:00
opt.macros.h fix error handling 2015-09-25 10:57:26 +01:00
opt.mavar.h JIT 2015-01-20 03:00:42 +00:00
opt.preds.c bug fices 2016-01-03 02:06:09 +00:00
opt.proto.h cmake & text support 2015-06-19 01:30:13 +01:00
opt.structs.h remove GLOBAL_executing_workers 2014-02-13 10:13:45 +00:00
or.copy_engine.c fix error handling 2015-09-25 10:57:26 +01:00
or.cow_engine.c make it compile under MSN vc. Unfortunately it has a weird crash at boot :( 2016-02-28 19:32:55 +00: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 make it compile under MSN vc. Unfortunately it has a weird crash at boot :( 2016-02-28 19:32:55 +00:00
or.sba_amiops.h Merge branch 'github.com/master' 2014-05-29 12:19:45 +02:00
or.sba_engine.c fix error handling 2015-09-25 10:57:26 +01: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 fix error handling 2015-09-25 10:57:26 +01:00
tab.completion.c Miguel's support for multi-threaded tabling 2011-12-22 16:50:20 +00:00
tab.insts.h configutaion fixes 2015-11-12 14:59:07 +00:00
tab.macros.h fix error handling 2015-09-25 10:57:26 +01:00
tab.rational.h fix error handling 2015-09-25 10:57:26 +01:00
tab.structs.h Fix: eclipse >u. into >y_u. 2014-05-30 01:06:09 +01:00
tab.tries.c make it compile under MSN vc. Unfortunately it has a weird crash at boot :( 2016-02-28 19:32:55 +00:00
tab.tries.h Fix a typo. 2016-02-19 15:46:20 -05:00
tab.tries.insts.h fix error handling 2015-09-25 10:57:26 +01:00
Terminal Saved Output facilitate peek processing when using system locale. 2016-02-20 21:50:06 +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 cmake & text support 2015-06-19 01:30:13 +01:00
traced_tab.tries.insts.h fix error handling 2015-09-25 10:57:26 +01:00