summaryrefslogtreecommitdiff
path: root/Source/Basetypes/BigFloat.cs
Commit message (Expand)AuthorAge
* fixed an error where a -0 was not interpreted as a negative numberGravatar Checkmate502016-07-23
* Removed automatic exponent shiftingGravatar Checkmate502016-07-22
* fixed floatceiling functionGravatar Checkmate502016-07-19
* Added and briefly tested the updated syntax. NaN/oo not supported yetGravatar Checkmate502016-07-19
* finished testing, fixed several minor compiler bugsGravatar Checkmate502016-06-06
* modified floating point syntax and modified floating point constants to use b...Gravatar Checkmate502016-03-17
* Modified BigFloat and parser to accept correct SMT-LIB syntaxGravatar Checkmate502016-02-20
* 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
* 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 interpretation of floating point constants to the parserGravatar Dietrich2015-05-18
* Made significant changes to internal representation of BigFloat. Remains a w...Gravatar Dietrich2015-05-07
* added decimal reading functionality to the float typeGravatar Dietrich2015-05-05
* added general floating point mantissa and exponent managementGravatar Dietrich2015-05-04
* renamed fp32 to BigFloatGravatar Dietrich2015-04-20
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-12 07:09:15 +0000