Adding support for ANTLR checking in autogen.sh (config/antlr.m4). Commiting antlr SMT grammar that should compile, but is not yet integrated. Tests of compilation and antlr crashes appreciated.

Eclipse CVC4 settings (with code style)

additional build system fixes

first attempt at new build system

parsing/expr/command/result/various other fixes

svignore for parser and util

Added an EmptyCommand and a CommandSequence commands and changed the parser a bit.

Commands and the eclipse C++ project settings.

Enough parsing for tonight. Added:
* Everything goes through the ParserState instead of coding in lex/yacc files
* Bare Boolean SMT lexer/parser
* Basic commands
To be completed: ParserState method implementations, parser.h/parser.cpp, make it compile and run...

additional work on parser hookup, configuration + build

Missed file: symbol_table.h

Parser should be complete for Booleans

oops, missed a file

various fixes and updates to use and support parser

Stubbing commands

Stubbing commandsmake

Parser for boolean exprs (no commands)

Partial parser for booleans

configure option adjustments as per 11/24 meeting; various fixes and improvements

fixups, file comments

fixes to build/test system

fix to expr #includes; better test-environment configuration

testing framework, configure fixes, incorporations from meeting, continued work

work on exprs, driver, util

ignored items

from meeting

from meeting

from meeting

fixes/redesign of source layout from meeting

another pass

fixes and additions

minor fixes

parser, minisat, other things..

minor fixes, added contrib directory

additional headers and modifications; now passes syntax check

additional headers

commit of project structure including autotools support

Initial setup of the cvc4 repository