fixed existing cdd tests
added option --z3-timeout
proved dot function
improved specification
proved horizontal_los
fixed a bug of printing floating point zero
hooked isNaN in java backend
proved tau_vv
proved omega_vv
proved cd2d
made the prover more deterministic; uncommented the merge_sort example
fix broken master by updating test
Merge pull request #1045 from yilongli/verification-with-floating-point-2

Verification with floating point 2
Merge remote-tracking branch 'upstream/master'