interpolation fixes
two interpolation fixes
new hastable implementation for interp/duality
removig unsound simplification in ctx-solver-simplify tactic

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
interpolation fixes
use new hashtable implementation in windows
interpolation fix
fix ctx solver simplify, remove horn inequalities

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
use size_t for return values from strlen

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
generate error on duplicated data-type accessors. Issue 85

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
fix documnetation to say milli-seconds. Issue 84

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
remove unsound simplification for rem. Codeplex Issue 76

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
modify offset check to accept linear expressions over numerals. Codeplex issue 81

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
fix quotation bug reported by Arie Gurfinkel

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
duality fix plus mbqi option
filter fresh constants from models

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
adding support for non-extensional arrays in duality
duality: eager deduction and history-based conjectures
merged changes from linux
interpolation fix