projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0539b03) | patch
New C++ API: Remove examples for old API. (#4650)
authorAina Niemetz <aina.niemetz@gmail.com>
Tue, 23 Jun 2020 20:46:02 +0000 (13:46 -0700)
committerGitHub <noreply@github.com>
Tue, 23 Jun 2020 20:46:02 +0000 (13:46 -0700)
commit9b5680a2cb6efd75c7fd1f7784cda2b6e5b98bfd
tree5133c61860babe051b1b555e67b3e9bb095374fetree
parent0539b0342b46e9fb96467a23f703bf2317692bb2commit | diff
New C++ API: Remove examples for old API. (#4650)

This removes obsolete examples for the old API in preparation of making
the old API private. Examples for the new API are renamed from
*-new.cpp to *.cpp.
19 files changed:
examples/api/CMakeLists.txt diff | blob | history
examples/api/bitvectors-new.cpp [deleted file] blob | history
examples/api/bitvectors.cpp diff | blob | history
examples/api/bitvectors_and_arrays-new.cpp [deleted file] blob | history
examples/api/bitvectors_and_arrays.cpp diff | blob | history
examples/api/combination-new.cpp [deleted file] blob | history
examples/api/combination.cpp diff | blob | history
examples/api/datatypes-new.cpp [deleted file] blob | history
examples/api/datatypes.cpp diff | blob | history
examples/api/extract-new.cpp [deleted file] blob | history
examples/api/extract.cpp diff | blob | history
examples/api/helloworld-new.cpp [deleted file] blob | history
examples/api/helloworld.cpp diff | blob | history
examples/api/linear_arith-new.cpp [deleted file] blob | history
examples/api/linear_arith.cpp diff | blob | history
examples/api/sets-new.cpp [deleted file] blob | history
examples/api/sets.cpp diff | blob | history
examples/api/strings-new.cpp [deleted file] blob | history
examples/api/strings.cpp diff | blob | history