summaryrefslogtreecommitdiff
path: root/Source/AbsInt/IntervalDomain.cs
Commit message (Expand)AuthorAge
* Added and briefly tested the updated syntax. NaN/oo not supported yetGravatar Checkmate502016-07-19
* Changed the syntax reading of the float typeGravatar Checkmate502016-07-16
* Merging complete. Everything looks good *crosses fingers*Gravatar Checkmate502016-06-06
* modified floating point syntax and modified floating point constants to use b...Gravatar Checkmate502016-03-17
* Added several test cases and some basic documentation for fp usageGravatar Checkmate502016-01-04
* added decimal reading functionality to the float typeGravatar Dietrich2015-05-05
* renamed fp32 to BigFloatGravatar Dietrich2015-04-20
* added float tipe to AbsyExpr and IntervalDomain. The methods added may requi...Gravatar Dietrich2015-04-20
* Change the return type of StandardVisitor.VisitLiteralExpr() fromGravatar Dan Liew2015-01-25
* Change the return type of StandardVisitor.VisitBvExtractExpr() fromGravatar Dan Liew2015-01-25
* Change the return type of StandardVisitor.VisitBvConcatExpr() fromGravatar Dan Liew2015-01-25
* Fixed abstract interpretation for realsGravatar Rustan Leino2014-04-13
* Fixed bug in abstract interpretation over realsGravatar Rustan Leino2014-04-08
* (Fixed and) strengthened contracts of ReadOnlyVisitor. The postconditions of...Gravatar Rustan Leino2014-02-24
* Fixed errors in the use of Code ContractsGravatar Rustan Leino2014-02-10
* More refactoring towards replacing PureCollections.Sequence with ListGravatar Ally Donaldson2013-07-22
* Added support in the abstract interpreter for an attribute {:identity}, which...Gravatar Rustan Leino2013-07-05
* Fixed bug in Interval abstract domain (pertaining to unary negation)Gravatar Rustan Leino2013-05-30
* Fixed some type bugs in the interval domain.Gravatar Rustan Leino2013-02-19
* Boogie: added type 'real' with overloaded arithmetic operations plus real div...Gravatar boehmes2012-09-27
* Dafny: implemented thresholds for the new interval domain (/infer:j)Gravatar Rustan Leino2011-12-12
* Dafny: fixed division in new interval domainGravatar Rustan Leino2011-12-07
* Boogie: Added new abstract interpretation harness, which uses native Boogie E...Gravatar Rustan Leino2011-12-05
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-25 13:41:48 +0000