summaryrefslogtreecommitdiff
path: root/Source/AbsInt
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
* Did some refactoring.Gravatar wuestholz2014-09-23
* 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
* Fix Boogie so it compiled with mono. Patch by Dan Liew.Gravatar Ally Donaldson2014-01-14
* various updatesGravatar qadeer2013-12-09
* added the QED build configurationGravatar qadeer2013-12-02
* CmdSeq: farewellGravatar Ally Donaldson2013-07-22
* More refactoring towards replacing PureCollections.Sequence with ListGravatar Ally Donaldson2013-07-22
* mergeGravatar Pantazis Deligiannis2013-07-06
|\
| * Added support in the abstract interpreter for an attribute {:identity}, which...Gravatar Rustan Leino2013-07-05
* | CVC4 ParserGravatar pantazis2013-06-12
|/
* 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
* Removed AIFramework from Boogie -- use native trivial or native interval-base...Gravatar boehmes2012-09-27
* Some changes to support expanded use of z3api.Gravatar Ken McMillan2012-06-05
* Use DateTime.UtcNow instead of DateTime.NowGravatar stobies2012-01-11
* Dafny: implemented thresholds for the new interval domain (/infer:j)Gravatar Rustan Leino2011-12-12
* Dafny: corrected merge snafusGravatar Rustan Leino2011-12-07
* 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
* Boogie: removed unreachable or unused codeGravatar Rustan Leino2011-10-27
* ported Houdini to C#, added Houdini project to the Boogie solutionGravatar qadeer2011-08-03
* Re-enabled quantifier checking in the Checked configuration.Gravatar mikebarnett2011-03-16
* Turn off quantifier checking in the runtime checking.Gravatar mikebarnett2011-03-14
* Added a new solution configuration, Checked, that builds the Checked configur...Gravatar mikebarnett2011-03-07
* Added version.cs as link to those projects that were missing itGravatar stobies2010-12-06
* Factored out the ParserHelper class into a separate project and updated the f...Gravatar wuestholz2010-12-02
* Eliminated dependencies on SpecSharp and CCI from Boogie.sln and Dafny.slnGravatar qadeer2010-12-01
* Ported all projects to .NET Framework 4.0 in both Boogie.sln and Dafny.sln. ...Gravatar qadeer2010-11-27
* Update to VS2010.Gravatar MichalMoskal2010-10-07
* created a new build target called z3apidebug.Gravatar qadeer2010-08-29
* Boogie: Commented out all occurences of repeated inherited contracts - makes ...Gravatar tabarbe2010-08-27
* Boogie: Removed some errors with code contracts (commenting out doubly-inheri...Gravatar tabarbe2010-08-27
* Boogie: Changed the cce classes into one separate project, which every other ...Gravatar tabarbe2010-08-27
* Boogie: Basetypes port 3/3: Committing changed referencesGravatar tabarbe2010-08-27
* Boogie: Graph port 3/3: Committing changed references; also, adding back cce ...Gravatar tabarbe2010-08-27
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-02 17:19:13 +0000