Age | Commit message (Collapse) | Author |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
* 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
|
|
|
|
|
|
|
|
completeness
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Conflicts:
src/smt/boolean_terms.cpp
|
|
due to namesapce resolution std namespace was used instead, which hashes the string pointers leading to mayhem
|
|
|
|
export CXXFLAGS='-std=gnu++0x' before configure
fails all regressions in the parser
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
inequalities
|
|
|
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback