diogo/yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
1,495 Commits 2 Branches 6 Tags 146 MiB
ea6594491c
Commit Graph

90 Commits

Author SHA1 Message Date
vsc
e10213929a support new interface between YAP and GMP, so that we don't rely on our own 
allocation routines.
Several big fixes.


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1490 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2006-01-02 02:16:19 +00:00
vsc
60d79804fe major changes to support online event-based profiling 
improve error discovery and restart on scanner.


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1477 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2005-12-17 03:25:39 +00:00
vsc
fb399932e4 make heap gc concurrent between threads. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1476 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2005-12-07 17:53:30 +00:00
vsc
5c2e06ad50 write_depth/3 
overflow handlings and garbage collection
Several ipdates to CLPBN
dif/2 could be broken in the presence of attributed variables.


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1474 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2005-12-05 17:16:12 +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
1fa46c6051 sveral updates 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1415 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2005-10-28 17:38:50 +00:00
vsc
129efd83d8 more fixes for garbage collector 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1394 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2005-09-21 03:49:33 +00:00
vsc
03ba05f24a a new and hopefully much better implementation of atts. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1392 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2005-09-09 17:24:39 +00:00
ricroc
b36b836820 TABLING NEW: better support for incomplete tabling 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1351 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2005-08-01 15:40:39 +00:00
ricroc
3a93e0e079 TABLING: answers for completed calls can now be obtained by loading (new option) or executing (default) them from the trie data structure. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1342 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2005-07-06 19:34:12 +00:00
ricroc
5de32c31d1 stdio.h include missing 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1313 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2005-05-31 08:20:23 +00:00
rslopes
35357f7f17 *** empty log message *** 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1294 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2005-05-26 18:03:08 +00:00
vsc
2ce853ec5f move to Yap-4.5.7 
Fix clause size


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1236 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2005-01-28 23:14:41 +00:00
vsc
af931c6e6d - allow MegaClauses with blobs 
- change Diffs to be thread specific
- include Christian's updates


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1222 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2005-01-04 02:50:23 +00:00
vsc
ef6bbb1273 some extra bug fixes for trail overflows: some cannot be recovered that easily, 
some can.


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1219 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2004-12-28 22:20:37 +00:00
vsc
84a0996e13 polish changes to undefp 
get rid of a few warnings


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1207 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2004-12-08 04:45:04 +00:00
vsc
5143aebb01 try to reduce overheads when running with goal expansion enabled. 
CLPBN fixes
Handle overflows when allocating big clauses properly.


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1193 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2004-12-05 05:01:45 +00:00
vsc
94af3000fe fix threads so that they at least start 
allow error handling to work with threads
replace heap_base by Yap_heap_base, according to Yap's convention for globals.


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1192 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2004-12-02 06:06:47 +00:00
vsc
7d245377a3 change abort so that it won't be caught by handlers. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1179 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2004-11-19 21:32:53 +00:00
vsc
6853d8eecd don't ever use memory that has been freed (that was done by LU). 
generic fixes for WIN32 libraries


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1172 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2004-11-04 18:22:36 +00:00
vsc
2dfdca263d Use Doug Lea's malloc as an alternative to YAP's standard malloc 
don't use TR directly in scanner/parser, this avoids trouble with ^C while
consulting large files.
pass gcc -mno-cygwin to library compilation in cygwin environment (cygwin should
compile out of the box now).


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1168 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2004-10-28 20:12:23 +00:00
vsc
f267e74737 bug fixes on memory overflows and on clauses :- fail being ignored by clause. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1167 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2004-10-27 15:56:34 +00:00
vsc
8eb4718654 Yap would only compile under coroutining 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1160 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2004-10-10 00:23:54 +00:00
vsc
ac2a3b01af change configure to support big mem configs 
get rid of extra globals
fix trouble with multifile preds


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1155 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2004-10-06 16:55:48 +00:00
vsc
40a39a79b1 Mega clauses 
Fixes to sizeof(expand_clauses) which was being overestimated
Fixes to profiling+indexing
Fixes to reallocation of memory after restoring
Make sure all clauses, even for C, end in _Ystop
Don't reuse space for Streams
Fix Stream_F on StreaNo+1


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1147 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2004-09-27 20:45:04 +00:00
vsc
6711d93b9c memory management fixes 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1121 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2004-09-03 03:11:09 +00:00
vsc
21a3377248 debugger fixes 
initial support for JPL
bad calls to garbage collector and gc
debugger fixes


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1096 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2004-07-22 21:32:23 +00:00
vsc
08b9f55f9c start support for java interface 
bug fixes


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1093 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2004-07-15 15:47:08 +00:00
vsc
91f87b3109 more fixes for USE_SYSTEM_MEMORY 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1047 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2004-04-22 20:07:07 +00:00
vsc
ddc7b3a0bc a few more fixes to support timing and to improve message queues. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1012 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2004-03-02 16:44:58 +00:00
rslopes
6198cdb4bc Low Profiler Update 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1004 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2004-02-25 19:06:31 +00:00
vsc
7d7b79630f - setconcurrency was spelled wrongly 
- avoid several workers spewing out the same message in low_level_tracer.


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@991 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2004-02-16 19:22:40 +00:00
vsc
039655b767 simplify format, so that it will be easier to do bug fixes 
fix bug in format output for floats
write and read dbrefs as $dbref(Address,0)


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@986 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2004-02-13 18:39:29 +00:00
vsc
6662ca157e simplify module access 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@981 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2004-02-12 12:37:12 +00:00
vsc
eec29d7c27 fix thread_signal 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@978 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2004-02-11 13:59:53 +00:00
vsc
c9247ce308 make thread_local compatible with dynamic 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@977 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2004-02-11 13:33:19 +00:00
vsc
acbf57f59d improve threads support 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@976 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2004-02-11 01:20:56 +00:00
vsc
cfd3683891 fix integer as DBRef 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@971 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2004-02-09 14:19:05 +00:00
vsc
9b84cdfe5d improved support for threads and code area allocation using malloc 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@965 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2004-02-05 16:57:02 +00:00
vsc
cacc407677 Bug fixes! 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@964 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2004-01-29 13:37:10 +00:00
vsc
ba9876268f threads, clean signals, and much more... 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@957 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2004-01-23 02:23:51 +00:00
vsc
678ff0df82 many fixes 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@940 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2003-12-01 17:27:42 +00:00
vsc
f5edbc8aa7 compact source mode. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@934 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2003-11-21 16:56:20 +00:00
vsc
1ada44ab8e stabilisation patches for Yap-4.5.2 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@922 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2003-11-12 12:33:31 +00:00
ricroc
17dad3f6f7 My first attempt to synchronize OPTYap with CVS 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@919 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2003-11-05 18:55:03 +00:00
vsc
5e4816eb5a new heap allocation code 
new atom table growth code and hash algorithm
more fixes for new indexing algorithm


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@905 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2003-10-28 01:16:03 +00:00
vsc
17ecf0dc14 continue big commit 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@863 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2003-08-27 13:37:10 +00:00
vsc
b936201465 improvements to indexing: allow user control and fix bugs in sorting 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@836 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2003-06-06 11:54:02 +00:00
vsc
a77ceeac69 get rid of stdio.h 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@831 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2003-05-21 13:00:23 +00:00
vsc
0afb07931f patches to Ricardo Lopes' low level profiler: enable if SIGPROF is 
there, do sorting, init PROFPREDS when you start counters, keep time
stamps for eventual assert/retract, and use qsort (3) to do less work.


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@829 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2003-05-20 19:11:59 +00:00