4 次代码提交

作者 SHA1 备注 提交日期
kostis
50d49538c4 Changed order: 1st then JITI.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1828 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2007-03-11 09:11:20 +00:00
kostis
ce572ca881 Version with left-recursive points_to/2 predicate.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1820 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2007-03-10 10:52:40 +00:00
kostis
b320589051 Added pta benchmark.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1819 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2007-03-10 09:04:55 +00:00
kostis
abb8209bd4 Added the first set of benchmarks.
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1818 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
2007-03-09 18:53:13 +00:00