projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3f4b335) | patch
Delete hashsmt example. (#6263)
authorAina Niemetz <aina.niemetz@gmail.com>
Thu, 1 Apr 2021 19:30:31 +0000 (12:30 -0700)
committerGitHub <noreply@github.com>
Thu, 1 Apr 2021 19:30:31 +0000 (19:30 +0000)
commita5e08f68afc53b181e9558d97495d50c53b11f48
tree29c8f8a2729ed66fcd6615c76fd6d4d82253fcbetree
parent3f4b33522bd04b509b73267550d24c44e61998cecommit | diff
Delete hashsmt example. (#6263)

This example does not serve the purpose of documenting how to use the
new API. It uses Command, which is not available via the API, and it's
not worth the effort to migrate it.
examples/CMakeLists.txt diff | blob | history
examples/hashsmt/CMakeLists.txt [deleted file] blob | history
examples/hashsmt/sha1.hpp [deleted file] blob | history
examples/hashsmt/sha1_collision.cpp [deleted file] blob | history
examples/hashsmt/sha1_inversion.cpp [deleted file] blob | history
examples/hashsmt/word.cpp [deleted file] blob | history
examples/hashsmt/word.h [deleted file] blob | history