projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a35201d) | patch
adding some regressions to the usual regressions runs; several recently-fixed increme...
authorMorgan Deters <mdeters@gmail.com>
Wed, 13 Jun 2012 22:17:47 +0000 (22:17 +0000)
committerMorgan Deters <mdeters@gmail.com>
Wed, 13 Jun 2012 22:17:47 +0000 (22:17 +0000)
commit408df5b2158868a94e4f21f1b64fb655a26d0a10
tree844df2eaa3ceab876605241d1eed91b8522ffe78tree
parenta35201d7066863a9cb58f765d346ac7ae4a4d309commit | diff
adding some regressions to the usual regressions runs; several recently-fixed incremental bugs are closed
Makefile diff | blob | history
test/regress/regress0/Makefile.am diff | blob | history
test/regress/regress0/bug216.smt2 [deleted file] blob | history
test/regress/regress0/bug216.smt2.expect [deleted file] blob | history
test/regress/regress0/push-pop/Makefile.am diff | blob | history
test/regress/regress0/push-pop/bug216.smt2 [new file with mode: 0644] blob
test/regress/regress0/push-pop/bug216.smt2.expect [new file with mode: 0644] blob
test/regress/regress0/push-pop/bug233.cvc [new file with mode: 0644] blob
test/regress/regress0/push-pop/bug326.smt2 [new file with mode: 0644] blob
test/regress/regress0/queries0.cvc [deleted file] blob | history