Commit Graph

12 Commits

Author SHA1 Message Date
Vitor Santos Costa
2685a8449d installation patches from Keri Harris 2010-03-05 08:15:02 +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
03231bef34 new version of class.pl
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@487 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2002-05-24 00:48:51 +00:00
vsc
81d38acbc9 fix use_modules to deal with modules;
allocation fix for simplesim


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@328 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2002-01-26 05:37:32 +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
164980a931 new files
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@179 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2001-11-15 17:17:54 +00:00
vsc
65b8f1d984 new file
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@178 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2001-11-15 17:14:50 +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
e0ff12da36 CLPQR_EXAMPLES_MONASH= in l.67 looked like a recipe and not a macro definition
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@156 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2001-09-10 16:31:36 +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
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