This repository has been archived on 2023-08-20. You can view files and clone it, but cannot push or open issues or pull requests.

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

..

.cvsignore

Added pta benchmark.

2007-03-10 09:04:55 +00:00

compress.P

…

go_xxx

Changed order: 1st then JITI.

2007-03-11 09:11:20 +00:00

go_yap

Changed order: 1st then JITI.

2007-03-11 09:11:20 +00:00

mutagenesis.P

…

pta.P

Version with left-recursive points_to/2 predicate.

2007-03-10 10:52:40 +00:00

sg_cyl.P

…

tc_d_io_chain400.P

…

tc_d_oo_chain100.P

…

tc_d_oo_chain400.P

…

tc_l_io_chain8000.P

…

tc_l_oo_chain2000.P

…

tc_r_io_chain2000.P

…

tc_r_oo_chain2000.P

…