summaryrefslogtreecommitdiff
path: root/float_test8.bpl
Commit message (Expand)AuthorAge
* Added several test cases and some basic documentation for fp usageGravatar Checkmate502016-01-04
* Special fp types (such as infinity and NaN are now translated by boogieGravatar Checkmate502015-11-29
* Modified translation so that z3 runs with type checking for simple binary ope...Gravatar Checkmate502015-10-14
* Float type now works correctly for simple variable declaration and comparison.Gravatar Dietrich2015-07-20
* added some float addition testsGravatar Dietrich2015-05-22