git.libre-soc.org Git - cvc5.git/commit

author	Mathias Preiner <mathias.preiner@gmail.com>
	Wed, 25 Sep 2019 16:47:12 +0000 (09:47 -0700)
committer	GitHub <noreply@github.com>
	Wed, 25 Sep 2019 16:47:12 +0000 (09:47 -0700)
commit	4f384b6fadd999324d83b4c4ea900de2a0e13dd7
tree	d62683a66ede8c7a0ee04e8b67ee999aa71342ea	tree
parent	f892370a615ecadc011b49a98d2c4695fafa7f4f	commit \| diff

Use separate CMake project for CVC4 examples. (#3196)

50 files changed:

.travis.yml		diff \| blob \| history
CMakeLists.txt		diff \| blob \| history
cmake/CVC4Config.cmake.in		diff \| blob \| history
examples/CMakeLists.txt		diff \| blob \| history
examples/README	[deleted file]	blob \| history
examples/README.md	[new file with mode: 0644]	blob
examples/SimpleVC.java		diff \| blob \| history
examples/api/CMakeLists.txt		diff \| blob \| history
examples/api/bitvectors-new.cpp		diff \| blob \| history
examples/api/bitvectors.cpp		diff \| blob \| history
examples/api/bitvectors_and_arrays-new.cpp		diff \| blob \| history
examples/api/bitvectors_and_arrays.cpp		diff \| blob \| history
examples/api/combination-new.cpp		diff \| blob \| history
examples/api/combination.cpp		diff \| blob \| history
examples/api/datatypes-new.cpp		diff \| blob \| history
examples/api/datatypes.cpp		diff \| blob \| history
examples/api/extract-new.cpp		diff \| blob \| history
examples/api/extract.cpp		diff \| blob \| history
examples/api/helloworld-new.cpp		diff \| blob \| history
examples/api/helloworld.cpp		diff \| blob \| history
examples/api/java/CMakeLists.txt		diff \| blob \| history
examples/api/linear_arith-new.cpp		diff \| blob \| history
examples/api/linear_arith.cpp		diff \| blob \| history
examples/api/sets-new.cpp		diff \| blob \| history
examples/api/sets.cpp		diff \| blob \| history
examples/api/strings-new.cpp		diff \| blob \| history
examples/api/strings.cpp		diff \| blob \| history
examples/hashsmt/CMakeLists.txt		diff \| blob \| history
examples/hashsmt/sha1_collision.cpp		diff \| blob \| history
examples/hashsmt/sha1_inversion.cpp		diff \| blob \| history
examples/hashsmt/word.cpp		diff \| blob \| history
examples/hashsmt/word.h		diff \| blob \| history
examples/nra-translate/CMakeLists.txt		diff \| blob \| history
examples/nra-translate/normalize.cpp		diff \| blob \| history
examples/nra-translate/smt2info.cpp		diff \| blob \| history
examples/nra-translate/smt2todreal.cpp		diff \| blob \| history
examples/nra-translate/smt2toisat.cpp		diff \| blob \| history
examples/nra-translate/smt2tomathematica.cpp		diff \| blob \| history
examples/nra-translate/smt2toqepcad.cpp		diff \| blob \| history
examples/nra-translate/smt2toredlog.cpp		diff \| blob \| history
examples/sets-translate/CMakeLists.txt		diff \| blob \| history
examples/sets-translate/sets_translate.cpp		diff \| blob \| history
examples/simple_vc_cxx.cpp		diff \| blob \| history
examples/simple_vc_quant_cxx.cpp		diff \| blob \| history
examples/translator.cpp		diff \| blob \| history
src/CMakeLists.txt		diff \| blob \| history
src/bindings/java/CMakeLists.txt		diff \| blob \| history
src/main/CMakeLists.txt		diff \| blob \| history
src/parser/CMakeLists.txt		diff \| blob \| history
test/CMakeLists.txt		diff \| blob \| history

RSS Atom