projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4a0637b) | patch
cmake: Added initial build infrastructure.
authorAina Niemetz <aina.niemetz@gmail.com>
Mon, 11 Sep 2017 22:49:22 +0000 (15:49 -0700)
committerMathias Preiner <mathias.preiner@gmail.com>
Sat, 22 Sep 2018 23:30:59 +0000 (16:30 -0700)
commit61572fe01f0fcfe3c9c96811ec3572ad7e572189
tree9fc6e45e2910568a118624f0e8b18bd9639b4033tree
parent4a0637be2548b2ee4c29873c045246cb36e8d122commit | diff
cmake: Added initial build infrastructure.
121 files changed:
CMakeLists.txt [new file with mode: 0644] blob
cmake/FindGMP.cmake [new file with mode: 0644] blob
contrib/CMakeLists.txt [new file with mode: 0644] blob
examples/CMakeLists.txt [new file with mode: 0644] blob
examples/api/CMakeLists.txt [new file with mode: 0644] blob
examples/api/java/CMakeLists.txt [new file with mode: 0644] blob
examples/hashsmt/CMakeLists.txt [new file with mode: 0644] blob
examples/nra-translate/CMakeLists.txt [new file with mode: 0644] blob
examples/sets-translate/CMakeLists.txt [new file with mode: 0644] blob
proofs/signatures/CMakeLists.txt [new file with mode: 0644] blob
src/CMakeLists.txt [new file with mode: 0644] blob
src/base/CMakeLists.txt [new file with mode: 0644] blob
src/bindings/CMakeLists.txt [new file with mode: 0644] blob
src/bindings/compat/CMakeLists.txt [new file with mode: 0644] blob
src/bindings/compat/c/CMakeLists.txt [new file with mode: 0644] blob
src/bindings/compat/java/CMakeLists.txt [new file with mode: 0644] blob
src/compat/CMakeLists.txt [new file with mode: 0644] blob
src/context/CMakeLists.txt [new file with mode: 0644] blob
src/decision/CMakeLists.txt [new file with mode: 0644] blob
src/expr/CMakeLists.txt [new file with mode: 0644] blob
src/lib/CMakeLists.txt [new file with mode: 0644] blob
src/main/CMakeLists.txt [new file with mode: 0644] blob
src/options/CMakeLists.txt [new file with mode: 0644] blob
src/parser/CMakeLists.txt [new file with mode: 0644] blob
src/parser/cvc/CMakeLists.txt [new file with mode: 0644] blob
src/parser/smt1/CMakeLists.txt [new file with mode: 0644] blob
src/parser/smt2/CMakeLists.txt [new file with mode: 0644] blob
src/parser/tptp/CMakeLists.txt [new file with mode: 0644] blob
src/printer/CMakeLists.txt [new file with mode: 0644] blob
src/proof/CMakeLists.txt [new file with mode: 0644] blob
src/prop/CMakeLists.txt [new file with mode: 0644] blob
src/prop/bvminisat/CMakeLists.txt [new file with mode: 0644] blob
src/prop/minisat/CMakeLists.txt [new file with mode: 0644] blob
src/smt/CMakeLists.txt [new file with mode: 0644] blob
src/smt_util/CMakeLists.txt [new file with mode: 0644] blob
src/theory/CMakeLists.txt [new file with mode: 0644] blob
src/theory/arith/CMakeLists.txt [new file with mode: 0644] blob
src/theory/arrays/CMakeLists.txt [new file with mode: 0644] blob
src/theory/booleans/CMakeLists.txt [new file with mode: 0644] blob
src/theory/builtin/CMakeLists.txt [new file with mode: 0644] blob
src/theory/bv/CMakeLists.txt [new file with mode: 0644] blob
src/theory/datatypes/CMakeLists.txt [new file with mode: 0644] blob
src/theory/example/CMakeLists.txt [new file with mode: 0644] blob
src/theory/fp/CMakeLists.txt [new file with mode: 0644] blob
src/theory/idl/CMakeLists.txt [new file with mode: 0644] blob
src/theory/quantifiers/CMakeLists.txt [new file with mode: 0644] blob
src/theory/sep/CMakeLists.txt [new file with mode: 0644] blob
src/theory/sets/CMakeLists.txt [new file with mode: 0644] blob
src/theory/strings/CMakeLists.txt [new file with mode: 0644] blob
src/theory/uf/CMakeLists.txt [new file with mode: 0644] blob
src/util/CMakeLists.txt [new file with mode: 0644] blob
test/CMakeLists.txt [new file with mode: 0644] blob
test/java/CMakeLists.txt [new file with mode: 0644] blob
test/regress/CMakeLists.txt [new file with mode: 0644] blob
test/regress/regress0/CMakeLists.txt [new file with mode: 0644] blob
test/regress/regress0/arith/CMakeLists.txt [new file with mode: 0644] blob
test/regress/regress0/arith/integers/CMakeLists.txt [new file with mode: 0644] blob
test/regress/regress0/arrays/CMakeLists.txt [new file with mode: 0644] blob
test/regress/regress0/aufbv/CMakeLists.txt [new file with mode: 0644] blob
test/regress/regress0/auflia/CMakeLists.txt [new file with mode: 0644] blob
test/regress/regress0/bv/CMakeLists.txt [new file with mode: 0644] blob
test/regress/regress0/bv/core/CMakeLists.txt [new file with mode: 0644] blob
test/regress/regress0/datatypes/CMakeLists.txt [new file with mode: 0644] blob
test/regress/regress0/decision/CMakeLists.txt [new file with mode: 0644] blob
test/regress/regress0/expect/CMakeLists.txt [new file with mode: 0644] blob
test/regress/regress0/fmf/CMakeLists.txt [new file with mode: 0644] blob
test/regress/regress0/lemmas/CMakeLists.txt [new file with mode: 0644] blob
test/regress/regress0/nl/CMakeLists.txt [new file with mode: 0644] blob
test/regress/regress0/parser/CMakeLists.txt [new file with mode: 0644] blob
test/regress/regress0/precedence/CMakeLists.txt [new file with mode: 0644] blob
test/regress/regress0/preprocess/CMakeLists.txt [new file with mode: 0644] blob
test/regress/regress0/push-pop/CMakeLists.txt [new file with mode: 0644] blob
test/regress/regress0/push-pop/arith/CMakeLists.txt [new file with mode: 0644] blob
test/regress/regress0/push-pop/boolean/CMakeLists.txt [new file with mode: 0644] blob
test/regress/regress0/quantifiers/CMakeLists.txt [new file with mode: 0644] blob
test/regress/regress0/rels/CMakeLists.txt [new file with mode: 0644] blob
test/regress/regress0/rewriterules/CMakeLists.txt [new file with mode: 0644] blob
test/regress/regress0/sep/CMakeLists.txt [new file with mode: 0644] blob
test/regress/regress0/sets/CMakeLists.txt [new file with mode: 0644] blob
test/regress/regress0/sets/feb3/CMakeLists.txt [new file with mode: 0644] blob
test/regress/regress0/sets/jan24/CMakeLists.txt [new file with mode: 0644] blob
test/regress/regress0/sets/jan27/CMakeLists.txt [new file with mode: 0644] blob
test/regress/regress0/sets/jan28/CMakeLists.txt [new file with mode: 0644] blob
test/regress/regress0/sets/jan30/CMakeLists.txt [new file with mode: 0644] blob
test/regress/regress0/sets/mar2014/CMakeLists.txt [new file with mode: 0644] blob
test/regress/regress0/strings/CMakeLists.txt [new file with mode: 0644] blob
test/regress/regress0/sygus/CMakeLists.txt [new file with mode: 0644] blob
test/regress/regress0/tptp/Axioms/CMakeLists.txt [new file with mode: 0644] blob
test/regress/regress0/tptp/CMakeLists.txt [new file with mode: 0644] blob
test/regress/regress0/uf/CMakeLists.txt [new file with mode: 0644] blob
test/regress/regress0/uflia/CMakeLists.txt [new file with mode: 0644] blob
test/regress/regress0/uflra/CMakeLists.txt [new file with mode: 0644] blob
test/regress/regress0/unconstrained/CMakeLists.txt [new file with mode: 0644] blob
test/regress/regress1/CMakeLists.txt [new file with mode: 0644] blob
test/regress/regress1/aufbv/CMakeLists.txt [new file with mode: 0644] blob
test/regress/regress1/auflia/CMakeLists.txt [new file with mode: 0644] blob
test/regress/regress1/bv/CMakeLists.txt [new file with mode: 0644] blob
test/regress/regress1/datatypes/CMakeLists.txt [new file with mode: 0644] blob
test/regress/regress1/decision/CMakeLists.txt [new file with mode: 0644] blob
test/regress/regress1/fmf/CMakeLists.txt [new file with mode: 0644] blob
test/regress/regress1/lemmas/CMakeLists.txt [new file with mode: 0644] blob
test/regress/regress1/nl/CMakeLists.txt [new file with mode: 0644] blob
test/regress/regress1/quantifiers/CMakeLists.txt [new file with mode: 0644] blob
test/regress/regress1/rewriterules/CMakeLists.txt [new file with mode: 0644] blob
test/regress/regress1/sep/CMakeLists.txt [new file with mode: 0644] blob
test/regress/regress1/sets/CMakeLists.txt [new file with mode: 0644] blob
test/regress/regress1/strings/CMakeLists.txt [new file with mode: 0644] blob
test/regress/regress1/sygus/CMakeLists.txt [new file with mode: 0644] blob
test/regress/regress2/CMakeLists.txt [new file with mode: 0644] blob
test/regress/regress2/arith/CMakeLists.txt [new file with mode: 0644] blob
test/regress/regress3/CMakeLists.txt [new file with mode: 0644] blob
test/regress/regress4/CMakeLists.txt [new file with mode: 0644] blob
test/system/CMakeLists.txt [new file with mode: 0644] blob
test/unit/CMakeLists.txt [new file with mode: 0644] blob
test/unit/context/CMakeLists.txt [new file with mode: 0644] blob
test/unit/expr/CMakeLists.txt [new file with mode: 0644] blob
test/unit/main/CMakeLists.txt [new file with mode: 0644] blob
test/unit/parser/CMakeLists.txt [new file with mode: 0644] blob
test/unit/prop/CMakeLists.txt [new file with mode: 0644] blob
test/unit/theory/CMakeLists.txt [new file with mode: 0644] blob
test/unit/util/CMakeLists.txt [new file with mode: 0644] blob