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

118 Commits

Author SHA1 Message Date
vsc
5b6e8182d1 expand_clauses: keep a list of clauses to expand 
fix new trail scheme for multi-assignment variables


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1035 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2004-04-14 19:10:40 +00:00
vsc
dc245aed32 fix memory leaks 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1034 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2004-04-07 22:04:04 +00:00
vsc
c853e894c0 support expand group of clauses 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1031 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2004-03-31 01:03:10 +00:00
vsc
4242efb73f trim_trail for default machine 
be more aggressive about try-retry-trust chains.
   - handle cases where block starts with a wait
   - don't use _killed instructions, just let the thing rot by itself.


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1027 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2004-03-19 11:35:42 +00:00
vsc
cd3142c211 fix ClSize for IDB 
fix error handling for binary cmps


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1020 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2004-03-06 00:31:48 +00:00
vsc
ad685b6e5b fix missing ClSize in index.c 
start introducing docs for threads (copied from SWI).


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1019 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2004-03-05 17:27:53 +00:00
vsc
caa0b26665 solaris fixes for threads 
get rid of SizeOfBlock


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1018 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2004-03-05 15:26:33 +00:00
vsc
c90c3b7b34 thread support updates 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1006 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2004-02-26 13:37:24 +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
f609e8b93b check read locking on PRWLock 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1002 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2004-02-22 00:35:07 +00:00
vsc
d81bcb58e3 more fixes for threads 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1000 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2004-02-20 18:56:07 +00:00
vsc
0c1ed177f6 fix a few nasties just introduced. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@999 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2004-02-20 15:00:51 +00:00
vsc
53c1eb54a2 more fixes for thread support. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@998 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2004-02-20 02:28:19 +00:00
vsc
026bfb3c18 more thread fixes 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@997 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2004-02-19 19:24:46 +00:00
vsc
d3f49b75df clause should not do write locking 
expand_index should not care whether read_locks are held.


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@996 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2004-02-18 01:43:32 +00:00
vsc
f1063a27b2 fixes for stack overflow 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@982 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2004-02-12 17:09:17 +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
08fe01ad98 a few more fixes, and we're done with threads (for now) ;-). 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@980 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2004-02-11 16:18:16 +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
31b6bedf67 modules stuff fixes (yes, again). 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@975 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2004-02-10 01:07:46 +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
1079391767 fixes for restore 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@967 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2004-02-06 10:19:49 +00:00
vsc
fd7582b618 improve save/restore 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@966 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2004-02-06 02:26:23 +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
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
b16de6ad3d more fixes over tabling changes 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@953 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2003-12-18 17:36:54 +00:00
vsc
e7ab7b4c8a fix non-tabling version 
fix compilation with THREADS


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@952 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2003-12-18 17:23:22 +00:00
vsc
221665bab8 support for tabling 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@951 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2003-12-18 16:38:40 +00:00
vsc
4c264a968a new scheme for flags. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@949 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2003-12-04 18:13:04 +00:00
vsc
2fbad3d467 fix fixes 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@943 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2003-12-02 01:15:50 +00:00
vsc
8dc293eba4 more fixes for nth_clause 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@942 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2003-12-02 00:36:27 +00:00
vsc
fd1bc58cde slowly restore nth_clause 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@941 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2003-12-01 19:22:01 +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
01703de3a0 fix lost indices in reconsult 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@937 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2003-11-27 21:47:44 +00:00
vsc
90829edc9e new infrastructure for static clauses: 
they are now valid references
  they don't have the try_me block
jump_on_var now uses expand


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@936 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2003-11-26 18:36:35 +00:00
vsc
2fc4750456 a few more simple fixes 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@935 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2003-11-24 00:00:43 +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
ff20288236 don't keep source for log update facts, just execute them to find out the 
arguments.


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@932 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2003-11-18 19:24:46 +00:00
vsc
c1a6dab4fb fixes on reporting bug location. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@926 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2003-11-16 22:12:29 +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
vsc
a23c409540 don't leave dangling pointers to switch tables, as they can be removed 
easily.


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@913 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2003-10-31 00:20:52 +00:00
vsc
4f97e338ab fix count flag for indices 
fix memory expansion with holes.


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@911 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2003-10-30 11:31:05 +00:00
uid49918
614bdd981f make sure $pred_exists does not create new pred prop. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@908 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2003-10-28 21:04:52 +00:00
vsc
77bb5fed93 variant and subsumes with coroutining should always reset to slot, not to 
value.


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@906 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2003-10-28 16:20:44 +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
526ec2e50f call the garbage collector the right way 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@902 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2003-10-17 02:11:21 +00:00
vsc
ef5b98628f do not always remove the full index if removing a root node. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@894 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2003-10-14 01:32:55 +00:00
vsc
521e70e9ab more fixes for new indexing code. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@893 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2003-10-14 00:53:10 +00:00
vsc
cf148cd0cb Fix asserta_static 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@882 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2003-10-02 18:20:11 +00:00