projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6b9eec8) | patch
commit of project structure including autotools support
authorMorgan Deters <mdeters@gmail.com>
Tue, 3 Nov 2009 00:31:47 +0000 (00:31 +0000)
committerMorgan Deters <mdeters@gmail.com>
Tue, 3 Nov 2009 00:31:47 +0000 (00:31 +0000)
commita101d3298691265ee4cf72bed1ca59cd60318839
treef445dfe10bc6d3cf983609afc1217e3d1be2ddebtree
parent6b9eec8b8b03e6c67c73aa931001949f06fea5fbcommit | diff
commit of project structure including autotools support
26 files changed:
AUTHORS [new file with mode: 0644] blob
COPYING [new file with mode: 0644] blob
ChangeLog [new file with mode: 0644] blob
INSTALL [new file with mode: 0644] blob
Makefile.am [new file with mode: 0644] blob
NEWS [new file with mode: 0644] blob
README [new file with mode: 0644] blob
README.emacs [new file with mode: 0644] blob
autogen.sh [new file with mode: 0755] blob
configure.ac [new file with mode: 0644] blob
doc/Makefile.am [new file with mode: 0644] blob
src/Makefile.am [new file with mode: 0644] blob
src/include/Makefile.am [new file with mode: 0644] blob
src/include/assert.h [new file with mode: 0644] blob
src/include/attr_type.h [new file with mode: 0644] blob
src/include/command.h [new file with mode: 0644] blob
src/include/expr.h [new file with mode: 0644] blob
src/include/expr_attribute.h [new file with mode: 0644] blob
src/include/expr_builder.h [new file with mode: 0644] blob
src/include/expr_manager.h [new file with mode: 0644] blob
src/include/expr_value.h [new file with mode: 0644] blob
src/include/kind.h [new file with mode: 0644] blob
src/include/parser.h [new file with mode: 0644] blob
src/include/sat.h [new file with mode: 0644] blob
src/include/unique_id.h [new file with mode: 0644] blob
src/include/vc.h [new file with mode: 0644] blob