projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b8cce05) | patch
added more benchmarks
authorPaulMeng <baolmeng@gmail.com>
Tue, 12 Apr 2016 15:05:42 +0000 (10:05 -0500)
committerPaulMeng <baolmeng@gmail.com>
Tue, 12 Apr 2016 15:05:42 +0000 (10:05 -0500)
commitb3623ace88049abdf7b208d6d18134ca026c6edc
tree93dff54afc0e1ee7a42f54f12553f274acd09352tree
parentb8cce053839961e89ce71d7862f60b5c745258eecommit | diff
added more benchmarks
test/regress/regress0/sets/rels/rel_complex_1.cvc [new file with mode: 0644] blob
test/regress/regress0/sets/rels/rel_complex_5.cvc [new file with mode: 0644] blob
test/regress/regress0/sets/rels/rel_conflict_0.cvc [new file with mode: 0644] blob
test/regress/regress0/sets/rels/rel_join_7.cvc [new file with mode: 0644] blob
test/regress/regress0/sets/rels/rel_tc_3.cvc [new file with mode: 0644] blob
test/regress/regress0/sets/rels/rel_tp_2.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_6.cvc [new file with mode: 0644] blob
test/regress/regress0/sets/rels/rel_transpose_7.cvc [new file with mode: 0644] blob