String2Float hooked and Gappa prove added
Merge branch 'master' of https://github.com/kframework/k
First proof using Gappa.
excluding failing tests (for now).
rules without the k cell now correctly apply even when there are no k cells
Added tests for imp_with_floats
Merge branch 'master' of https://github.com/kframework/k
fix some typos
remove wrong documentation
remove some redundant code
remove unused constructor method
replace shallow copy operations with more explicit shallowCopy method call (for consistency)
call superclass visitor on return values
remove redundant type cast, fix a typo