hack to filter out Boogie axioms with large "distinct" predicates that cause legacy solver death
changed fixedpoint output format for easier parsing in Boogie
fixed several interpolation problems
removed distinct predicate hack
fix for quantifiers in interpolants
trying alternate encoding of distint
strarting on conjecture printing in duality
fixed typo

Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
OSX timeout handling bugfix
typo

Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
added fixedpoint.conjecture_file option
interp localization hack
debugging code in duality
merged interp hack
merge duality debug code
fix for bad coefficient in AssignBounds
fix for possible problem in Farkas proofs in interp
interp handle mystery arith lemmas
add round-off to farkas resconstruction in interp
make eval cache sensitive to model completion. Bug 110 reported by cipher1024

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>