projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 93c7a93) | patch
Remove examples that use the old API (#8486)
authorAndres Noetzli <andres.noetzli@gmail.com>
Thu, 31 Mar 2022 19:11:41 +0000 (12:11 -0700)
committerGitHub <noreply@github.com>
Thu, 31 Mar 2022 19:11:41 +0000 (19:11 +0000)
commit04d3abb9fe0ed0bc4f6fa5ff1976f91457c03a14
tree1f3d8edc81206425a8ad0698f69f873ec8383cbctree
parent93c7a93c1b34dae53323445bd5e8393c19d2c7abcommit | diff
Remove examples that use the old API (#8486)

This removes examples that use the old API and the parser. They were not
currently being compiled and we can reintroduce them if we need
them/have a new parser API.
15 files changed:
examples/CMakeLists.txt diff | blob | history
examples/nra-translate/CMakeLists.txt [deleted file] blob | history
examples/nra-translate/normalize.cpp [deleted file] blob | history
examples/nra-translate/nra-translate-example-input.smt2 [deleted file] blob | history
examples/nra-translate/smt2info.cpp [deleted file] blob | history
examples/nra-translate/smt2todreal.cpp [deleted file] blob | history
examples/nra-translate/smt2toisat.cpp [deleted file] blob | history
examples/nra-translate/smt2tomathematica.cpp [deleted file] blob | history
examples/nra-translate/smt2toqepcad.cpp [deleted file] blob | history
examples/nra-translate/smt2toredlog.cpp [deleted file] blob | history
examples/sets-translate/CMakeLists.txt [deleted file] blob | history
examples/sets-translate/sets-translate-example-input.smt2 [deleted file] blob | history
examples/sets-translate/sets_translate.cpp [deleted file] blob | history
examples/translator-example-input.smt2 [deleted file] blob | history
examples/translator.cpp [deleted file] blob | history