projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 09279d7) | patch
* configure.ac: Remove doc/ from search path for Makefile.ams
authorMorgan Deters <mdeters@gmail.com>
Mon, 22 Feb 2010 20:33:00 +0000 (20:33 +0000)
committerMorgan Deters <mdeters@gmail.com>
Mon, 22 Feb 2010 20:33:00 +0000 (20:33 +0000)
commit7c143dc5d5a52664a3cecca5226df57269063162
tree4ac4c1af00a8d1c278ed5d59c8e16f3c7b4df5c3tree
parent09279d722aa6e62e86eb4b34583397db1093051ecommit | diff
* configure.ac: Remove doc/ from search path for Makefile.ams

* configure.ac, test/unit/Makefile.am: Resolved an issue where even
  when not testing, one unit test was built.

* Re-ran contrib/update-copyright.pl on all source files to ensure
  consistent and correct header comments.

* contrib/get-authors: Change definition of "minor contributor"
  to >= 10% of lines (rather than strictly greater than 10% of lines)
37 files changed:
configure.ac diff | blob | history
contrib/get-authors diff | blob | history
src/context/context.h diff | blob | history
src/expr/attribute.h diff | blob | history
src/expr/expr.cpp diff | blob | history
src/expr/expr.h diff | blob | history
src/expr/expr_manager.cpp diff | blob | history
src/expr/expr_manager.h diff | blob | history
src/expr/node.cpp diff | blob | history
src/expr/node_manager.cpp diff | blob | history
src/expr/node_manager.h diff | blob | history
src/expr/soft_node.h diff | blob | history
src/expr/type.cpp diff | blob | history
src/expr/type.h diff | blob | history
src/main/getopt.cpp diff | blob | history
src/main/main.cpp diff | blob | history
src/main/usage.h diff | blob | history
src/parser/antlr_parser.cpp diff | blob | history
src/parser/cvc/cvc_parser.g diff | blob | history
src/parser/parser.cpp diff | blob | history
src/parser/parser.h diff | blob | history
src/parser/symbol_table.h diff | blob | history
src/prop/prop_engine.cpp diff | blob | history
src/prop/prop_engine.h diff | blob | history
src/prop/sat.h diff | blob | history
src/smt/smt_engine.cpp diff | blob | history
src/smt/smt_engine.h diff | blob | history
src/theory/theory.h diff | blob | history
src/theory/uf/ecdata.cpp diff | blob | history
src/theory/uf/ecdata.h diff | blob | history
src/theory/uf/theory_uf.cpp diff | blob | history
src/theory/uf/theory_uf.h diff | blob | history
src/util/configuration.h diff | blob | history
src/util/options.h diff | blob | history
src/util/output.h diff | blob | history
test/unit/Makefile.am diff | blob | history
test/unit/parser/parser_black.h diff | blob | history