Commit Graph

92 Commits

Author SHA1 Message Date
Vitor Santos Costa 044329d115 bbdd 2019-03-15 12:38:09 +00:00
Vitor Santos Costa 4afbc4461c problog 2019-03-12 10:51:39 +00:00
Vitor Santos Costa a079139060 lbfgs 2018-09-13 13:35:37 +01:00
Vitor Santos Costa 5c8f8457fa debugger 2018-09-10 17:06:13 +01:00
Vitor Santos Costa 63e4b31787 python 2018-08-21 03:01:03 +01:00
Vitor Santos Costa ef04b30d66 doc 2018-05-01 23:25:58 +01:00
Vitor Santos Costa afd24bb8db fix uninit arrays 2017-10-27 13:47:00 +01:00
Vitor Santos Costa a53615ceaf python .h collision 2017-02-20 14:21:46 +00:00
Vitor Santos Costa 51bf90908f error handling work 2016-09-27 12:31:12 -05:00
Vitor Santos Costa 350081a90d error handling 2016-09-21 14:38:21 -05:00
Vitor Santos Costa 7d44e3188b error handling 2016-07-30 23:06:28 -05:00
Vitor Santos Costa cd05e3f6d8 Fix errno usage 2016-06-17 15:45:37 +01:00
Vitor Santos Costa 9b89e6fd92 fix scripts 2016-04-26 15:33:16 +01:00
Vitor Santos Costa 65f1cb9741 win64 support: encodings 2016-04-10 06:21:17 -07:00
Vítor Santos Costa cc13181741 allow opening array with different size on top of other;
drop p_
take care with size < 0
2015-11-05 16:18:44 +00:00
Vítor Santos Costa b871f6676e fix error handling 2015-09-25 10:57:26 +01:00
Vítor Santos Costa 4336b2ba88 Avoid complaining from strlen
`
2015-09-21 17:05:36 -05:00
Vítor Santos Costa 4e76d86083 AtomPtr -> AtomPointer 2015-08-18 14:30:25 -05:00
Vítor Santos Costa b164f53191 fix regression tests 2015-08-07 16:57:53 -05:00
Vítor Santos Costa e970df6dae compile with threads stuff 2015-06-19 00:15:39 +01:00
Vítor Santos Costa 3164ed2d61 doc support 2015-01-04 23:58:23 +00:00
Vítor Santos Costa 53877ad426 docs 2014-12-24 15:32:29 +00:00
Vítor Santos Costa 8eec3113be improve docs 2014-09-15 03:13:50 -05:00
Vítor Santos Costa 3009987985 update docs 2014-09-11 14:06:57 -05:00
Andreas Becker 72b9ec59b7 Fix: Win32 defines Bind, so change Bind to YapBind. 2014-05-29 11:32:28 +02:00
Vitor Santos Costa 6c7e5e3cd2 patch for OPTYap from João Silva 2014-02-05 16:21:21 +00:00
Vitor Santos Costa 6b2e1973ab Windows fixes, mainly H -> HB 2014-01-19 21:15:05 +00:00
Vítor Santos Costa f3e5639439 fix sign problems with arrays 2014-01-02 21:59:02 +00:00
Vítor Santos Costa 233829ec52 fix array expansion to use realloc and fix arrays to separate static/dynamic and malloced 2014-01-02 19:11:06 +00:00
Vitor Santos Costa 743c9c69fb get rid of PROTO 2013-04-25 17:15:04 -05:00
Vitor Santos Costa 88f2dc7730 change the way predicates are hidden 2012-10-19 18:10:48 +01:00
Vítor Santos Costa ad618c5bcb fix bad typing for 64 bits (fix from Bernd). 2011-12-05 21:04:31 +00:00
Vitor Santos Costa 5f3df98069 make sure wide property is always the first property. 2011-08-17 11:16:21 -07:00
Joao 971ad94311 moved several global variables to misc/GLOBALS 2011-05-25 16:40:36 +01:00
Joao 8170f6d3cb Some global variables(Yap_thread_gl) in C/init.c are now declared in misc/LOCALS 2011-05-23 16:19:47 +01:00
Joao dc3c54c164 change LOCALS macros. 2011-05-04 10:11:41 +01:00
Vítor Santos Costa 5946c111f5 can't tryst Yap_HeapTop in malloc memory manager. 2011-04-16 00:31:51 +01:00
Vítor Santos Costa 8fb8aec9bf MULTIPLE_STACKS - or-parallelism/threads/tabling
YAPOR_THREADS - threads with or-parallelism
make tabling require reference counting for dynamic predicates.
2011-04-14 18:51:11 +01:00
Vítor Santos Costa 90d93fdbdd cache abstra machine register in threaded mode. 2011-03-07 16:02:55 +00:00
Vítor Santos Costa a8ac9bfb43 generate known atoms and functors automatically 2008-12-23 01:53:52 +00:00
Vítor Santos Costa e737599dc4 Change to simpler Eval mechanism
- avoid duplicate code
- implement different optimised code.
2008-12-04 23:33:32 +00:00
Vítor Santos Costa 17ba194c1e Include new instruction execute_cpred to perform tail optimisation for
builtins. Required changes:
- be careful about creeping in deallocate: it may be followed by
something that is not a cut nor a proceed.
- include new instruction in absmi.c: it is a merge of execute and
call_cpred.
- change compiler to generate execute even for C builtins.
- be careful with dexecute: it may not be done if execute_op is a C
builtin.
- if we are in execute_cpred, the garbage collector cannot trust P:
instead it must look at CP to find out the size of the current
environment. The macro gc_P receives that information.
- We don't need to change CP if we do a meta-call from within
execute_cpred (and we in fact cannot). Check places where we do
meta-calls: exec, clause in cdmgr, and lu_recorded.
2008-08-28 04:43:00 +01:00
vsc 2581c3a3bf more threadin fixes
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2300 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-08-07 20:51:23 +00:00
vsc 02565ae625 some nice extra predicatesy
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2273 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2008-06-11 11:08:25 +00:00
vsc 1f2d769971 fix bug in add array element
make agc on by default.


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1911 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2007-07-01 00:14:35 +00:00
vsc 400b1958b2 fix atom garbage collector (although it is still off by default)
make valgrind feel better


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1797 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2007-02-18 00:26:36 +00:00
vsc 0f714371e5 fix garbage collector not to try to garbage collect when we ask for large
chunks of stack in a single go.


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1684 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2006-08-07 18:51:44 +00:00
vsc 1f5f6c7f12 fixed bug that would mnake GC and stack shifting loop.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1563 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2006-03-07 22:14:20 +00:00
vsc d62ec41632 thread support fixes
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1462 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2005-11-17 13:40:18 +00:00
vsc 4c0865ca37 more tabling fixes
use malloc when AllocCodeSpace fails
use snprintf when available.


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1458 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2005-11-16 01:55:03 +00:00