Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Special fp types (such as infinity and NaN are now translated by boogie | Checkmate50 | 2015-11-29 |
* | Modified translation so that z3 runs with type checking for simple binary ope... | Checkmate50 | 2015-10-14 |
* | Float type now works correctly for simple variable declaration and comparison. | Dietrich | 2015-07-20 |
* | added some float addition tests | Dietrich | 2015-05-22 |