DEP: Wp interpolant, fix function calls#361

Open

rasoolmaghareh wants to merge 5 commits intomasterfrom wp-interpolant

+6,227-87

Commits on Dec 26, 2019

WP: First Working Version
rasoolmaghareh
committed
Updated simplification, Generate Expr for Call function instruction & add wp simplication for Rem operator

xuanlinhha
authored and
rasoolmaghareh
committed
Generate UpdExpr for updating value to array with a GEP instruction,
rasoolmaghareh
committed
Fixing crash on floating point. Currently we can't generate WP on floating point formula. We use deletion.
rasoolmaghareh
committed
Fix bug for null WP, computing hash of WPVar, support converting "mod" expr in Z3 to Klee,

xuanlinhha
authored and
rasoolmaghareh
committed