projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b0b3a1f) | patch
added 10 benchmarks to regress/regress0/datatypes from paper
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Fri, 6 May 2011 20:38:29 +0000 (20:38 +0000)
committerAndrew Reynolds <andrew.j.reynolds@gmail.com>
Fri, 6 May 2011 20:38:29 +0000 (20:38 +0000)
commitb59479db8d6dc9d59b4788bc59084a6d3c47d528
tree436f436547513de632ff137fd92096402404a2fdtree
parentb0b3a1fca9a40915fe2a8a73ca0567accc4832a4commit | diff
added 10 benchmarks to regress/regress0/datatypes from paper
test/regress/regress0/datatypes/Makefile.am diff | blob | history
test/regress/regress0/datatypes/typed_v10l30054.cvc [new file with mode: 0644] blob
test/regress/regress0/datatypes/typed_v1l80005.cvc [new file with mode: 0644] blob
test/regress/regress0/datatypes/typed_v2l30079.cvc [new file with mode: 0644] blob
test/regress/regress0/datatypes/typed_v3l20092.cvc [new file with mode: 0644] blob
test/regress/regress0/datatypes/typed_v5l30069.cvc [new file with mode: 0644] blob
test/regress/regress0/datatypes/v10l40099.cvc [new file with mode: 0644] blob
test/regress/regress0/datatypes/v1l20009.cvc [new file with mode: 0644] blob
test/regress/regress0/datatypes/v2l40025.cvc [new file with mode: 0644] blob
test/regress/regress0/datatypes/v3l60006.cvc [new file with mode: 0644] blob
test/regress/regress0/datatypes/v5l30058.cvc [new file with mode: 0644] blob