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
fix ktest bug: isDefinitionKompiled check -d argument and default value of -d of programs should be set using -d of kompile
Merge pull request #1045 from yilongli/verification-with-floating-point-2

Verification with floating point 2
Merge pull request #1052 from osa1/ktest-bugfix

a ktest bug