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.

U-WIN-U2045GN0RNQ\Vítor Santos Costa 840e287cda mode changes

2011-07-25 17:09:28 +01:00

..

.cvsignore

Added pta benchmark.

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

compress.P

Added the first set of benchmarks.

2007-03-09 18:53:13 +00:00

go_xxx

mode changes

2011-07-25 17:09:28 +01:00

go_yap

mode changes

2011-07-25 17:09:28 +01:00

mutagenesis.P

Added the first set of benchmarks.

2007-03-09 18:53:13 +00:00

pta.P

Version with left-recursive points_to/2 predicate.

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

sg_cyl.P

Added the first set of benchmarks.

2007-03-09 18:53:13 +00:00

tc_d_io_chain400.P

Added the first set of benchmarks.

2007-03-09 18:53:13 +00:00

tc_d_oo_chain100.P

Added the first set of benchmarks.

2007-03-09 18:53:13 +00:00

tc_d_oo_chain400.P

Added the first set of benchmarks.

2007-03-09 18:53:13 +00:00

tc_l_io_chain8000.P

Added the first set of benchmarks.

2007-03-09 18:53:13 +00:00

tc_l_oo_chain2000.P

Added the first set of benchmarks.

2007-03-09 18:53:13 +00:00

tc_r_io_chain2000.P

Added the first set of benchmarks.

2007-03-09 18:53:13 +00:00

tc_r_oo_chain2000.P

Added the first set of benchmarks.

2007-03-09 18:53:13 +00:00