compiles with
export CXXFLAGS='-std=gnu++0x' before configure
fails all regressions in the parser
Support for Boolean term conversion in datatypes.
changing string hash function to use the gnu namespace
due to namesapce resolution std namespace was used instead, which hashes the string pointers leading to mayhem
Merge remote-tracking branch 'dddejan/c++11'

Conflicts:
	src/smt/boolean_terms.cpp
Fix bug in portfolio executor output; fixes nightly portfolio-checking runs.
finish removal of separateOutput
Merge pull request #7 from kbansal/portfolio

finish removal of separateOutput
Fix for SCM detection
java input stream adapters working
moving bv before arrays
Merge branch 'master' of git@github.com:CVC4/CVC4.git
adding
* getModelValue to valuation
* getModelValue to theory engine
* getModelValue to theory
implemented getModelValue in bitvector

the purpose of getModelValue is to ask for a concrete value of a shared term
getModelValue implementation in bitvectors
Make --incremental the default when running interactively
Fixes for warnings from clang++, from -std=gnu++0x, from swig, and from javac
cnf -> plugin
Merge branch 'master' into mcsat