summaryrefslogtreecommitdiff
path: root/float_test5.bpl
Commit message (Expand)AuthorAge
* Added several test cases and some basic documentation for fp usageGravatar Checkmate502016-01-04
* Floating point constants given as integers are now translated correctlyGravatar Checkmate502015-10-14
* Modified translation so that z3 runs with type checking for simple binary ope...Gravatar Checkmate502015-10-14
* Modified BigFloat to avoid evaluating the floating point value before sending...Gravatar Checkmate502015-09-23
* Added initial support for float additionGravatar Checkmate502015-09-17
* Float type now works correctly for simple variable declaration and comparison.Gravatar Dietrich2015-07-20
* added decimal reading functionality to the float typeGravatar Dietrich2015-05-05