summaryrefslogtreecommitdiff
path: root/Source/Basetypes/BigDec.cs
Commit message (Expand)AuthorAge
* Fix bug in BigDec.FromString() which would not parse negativeGravatar Dan Liew2014-06-18
* Fixed abstract interpretation for realsGravatar Rustan Leino2014-04-13
* Fixed bug in abstract interpretation over realsGravatar Rustan Leino2014-04-08
* Fixed bug in printing real literalsGravatar Rustan Leino2014-02-10
* MergeGravatar Unknown2012-09-28
* Boogie: added type 'real' with overloaded arithmetic operations plus real div...Gravatar boehmes2012-09-27
* Added BigDec as representation for (floating-point) decimal valuesGravatar boehmes2012-09-27