projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ed914e4) | patch
bug #398 test (bug was resolved last night), and a script to download all bug attachm...
authorMorgan Deters <mdeters@gmail.com>
Wed, 26 Sep 2012 16:42:40 +0000 (16:42 +0000)
committerMorgan Deters <mdeters@gmail.com>
Wed, 26 Sep 2012 16:42:40 +0000 (16:42 +0000)
commitf6fcb28606d8eca239c3a71e7f42a2bbbf0a8995
tree417694d02570219dc141b9cbc593a78fd2f28958tree
parented914e42041806538f57750c8391fa77053d8c79commit | diff
bug #398 test (bug was resolved last night), and a script to download all bug attachments from bugzilla and put them in the tree
contrib/get-bug-attachments [new file with mode: 0755] blob
test/regress/regress0/Makefile.am diff | blob | history
test/regress/regress0/bug398.smt2 [new file with mode: 0644] blob