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
|
54729fc4eb
|
fixes for CHR
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@261 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2002-01-03 06:42:24 +00:00 |
|
vsc
|
842af4d40b
|
revert sbag change
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@257 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2002-01-02 23:59:07 +00:00 |
|
vsc
|
890556c30d
|
cannot assume that meta-call argument is always a goal
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@256 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2002-01-02 23:39:10 +00:00 |
|
vsc
|
7064c42fc1
|
check for available space in GetName
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@253 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2002-01-02 20:56:22 +00:00 |
|
stasinos
|
e0ff7e9fb2
|
move arch-independent file to share
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@200 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2001-11-26 16:05:19 +00:00 |
|
vsc
|
7f20ca1dda
|
always use mkdir -p
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@195 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2001-11-23 16:09:01 +00:00 |
|
vsc
|
b289d9ac9c
|
new module system. BEWARE! BEWARE! BEWARE!
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@177 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2001-11-15 00:01:43 +00:00 |
|
stasinos
|
3b2185f1fb
|
CHR_TOP= in l.34 looked like a recipe and not a macro definition
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@155 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2001-09-10 16:29:01 +00:00 |
|
vsc
|
38247e38fc
|
cleanup of CLPQR and CHR;
simplification of module handling;
new timestamp implementation
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@52 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2001-06-06 19:10:51 +00:00 |
|
vsc
|
3cde0b23bb
|
fixes to compilation of functor and ASP calculation for gc.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@31 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2001-05-08 20:39:01 +00:00 |
|
vsc
|
e5f4633c39
|
This commit was generated by cvs2svn to compensate for changes in r4,
which included commits to RCS files with non-trunk default branches.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@5 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
|
2001-04-09 19:54:03 +00:00 |
|