projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3c2458b) | patch
Some clean-up, post bv-merge.
authorMorgan Deters <mdeters@cs.nyu.edu>
Tue, 10 Jun 2014 21:52:26 +0000 (17:52 -0400)
committerMorgan Deters <mdeters@cs.nyu.edu>
Wed, 11 Jun 2014 20:18:23 +0000 (16:18 -0400)
commit6f1454d2082d4e8783c3b35c30144ff557b99444
tree3339ec7eb47f5aa272fbe1511e1036e9790d0507tree
parent3c2458b633501345fba2679c611ce9e5c7a9f538commit | diff
Some clean-up, post bv-merge.

Add abc to build id and fix static building.

Add abc to --show-config output and Configuration class API.

Add ability to select abc source path.

Fix arch_flags for abc.
13 files changed:
Makefile diff | blob | history
config/abc.m4 [new file with mode: 0644] blob
config/build-type diff | blob | history
config/cvc4.m4 diff | blob | history
configure.ac diff | blob | history
contrib/get-abc diff | blob | history
src/Makefile.am diff | blob | history
src/main/options_handlers.h diff | blob | history
src/main/portfolio.cpp diff | blob | history
src/smt/smt_engine.cpp diff | blob | history
src/util/configuration.cpp diff | blob | history
src/util/configuration.h diff | blob | history
src/util/configuration_private.h diff | blob | history