projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9045cbd) | patch
added more benchmarks
authorPaul Meng <baolmeng@gmail.com>
Tue, 30 Aug 2016 18:36:58 +0000 (13:36 -0500)
committerPaul Meng <baolmeng@gmail.com>
Tue, 30 Aug 2016 18:36:58 +0000 (13:36 -0500)
commit94504ecc81f13c6ed96d4c5bc0432ba3932efa91
treecb14a2d19f3b499109c7874e432fbc7f48c4b920tree
parent9045cbd4c0b3251f593841705075db518dd7d0fdcommit | diff
added more benchmarks
18 files changed:
test/regress/regress0/sets/rels/addr_book.cvc [new file with mode: 0644] blob
test/regress/regress0/sets/rels/garbage_collect.cvc [new file with mode: 0644] blob
test/regress/regress0/sets/rels/rel_join_1_1.cvc diff | blob | history
test/regress/regress0/sets/rels/rel_product_1_1.cvc diff | blob | history
test/regress/regress0/sets/rels/rel_tc_10_1.cvc [new file with mode: 0644] blob
test/regress/regress0/sets/rels/rel_tc_11.cvc [new file with mode: 0644] blob
test/regress/regress0/sets/rels/rel_tc_2_1.cvc [new file with mode: 0644] blob
test/regress/regress0/sets/rels/rel_tc_3.cvc diff | blob | history
test/regress/regress0/sets/rels/rel_tc_3_1.cvc [new file with mode: 0644] blob
test/regress/regress0/sets/rels/rel_tc_4.cvc [new file with mode: 0644] blob
test/regress/regress0/sets/rels/rel_tc_4_1.cvc [new file with mode: 0644] blob
test/regress/regress0/sets/rels/rel_tc_5_1.cvc [new file with mode: 0644] blob
test/regress/regress0/sets/rels/rel_tc_6.cvc [new file with mode: 0644] blob
test/regress/regress0/sets/rels/rel_tc_7.cvc [new file with mode: 0644] blob
test/regress/regress0/sets/rels/rel_tc_8.cvc [new file with mode: 0644] blob
test/regress/regress0/sets/rels/rel_tc_9_1.cvc [new file with mode: 0644] blob
test/regress/regress0/sets/rels/rel_transpose_0.cvc diff | blob | history
test/regress/regress0/sets/rels/rel_transpose_1_1.cvc diff | blob | history