Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Merging complete. Everything looks good *crosses fingers* | 2016-06-06 | |
| | |||
* | renamed fp32 to BigFloat | 2015-04-20 | |
| | |||
* | adding references to the floating point type wherever references to the real ↵ | 2015-04-17 | |
| | | | | type exist. This remains a work in progress | ||
* | Added the fp32 class, copied from the previously existing BigDec class. No ↵ | 2015-04-17 | |
| | | | | significant changes from BigDec have been made | ||
* | Fix Boogie so it compiled with mono. Patch by Dan Liew. | 2014-01-14 | |
| | |||
* | added the QED build configuration | 2013-12-02 | |
| | |||
* | CVC4 Parser | 2013-06-12 | |
| | |||
* | Added BigDec as representation for (floating-point) decimal values | 2012-09-27 | |
| | |||
* | Re-enabled quantifier checking in the Checked configuration. | 2011-03-16 | |
| | |||
* | Turn off quantifier checking in the runtime checking. | 2011-03-14 | |
| | |||
* | Added a new solution configuration, Checked, that builds the Checked ↵ | 2011-03-07 | |
| | | | | configuration of each project. Turned on runtime checking and reference assembly generation for all of the projects, but only in the Checked configuration. | ||
* | One more link to version.cs | 2010-12-06 | |
| | |||
* | Get rid of F# dependencies - use System.Numerics and a custom Rational ↵ | 2010-12-02 | |
| | | | | structure instead | ||
* | Ported all projects to .NET Framework 4.0 in both Boogie.sln and Dafny.sln. ↵ | 2010-11-27 | |
| | | | | Removed references to Microsoft.Contracts.dll everywhere since that is available in .NET Framework 4.0. | ||
* | Update to VS2010. | 2010-10-07 | |
| | |||
* | created a new build target called z3apidebug. | 2010-08-29 | |
| | | | | | only this target has a compile time dependency on Microsoft.Z3.dll. To compile this target, a reference to z3api must be manually added to BoogieDriver. | ||
* | Boogie: Removed some errors with code contracts (commenting out ↵ | 2010-08-27 | |
| | | | | doubly-inherited requires statements), and set the code contracts settings to the correct compilation style for when runtime checking is turned on. (I did not turn on runtime checking, however). | ||
* | Boogie: Changed the cce classes into one separate project, which every other ↵ | 2010-08-27 | |
| | | | | project in the Boogie solution references. Dafny.csproj has an internal copy of cce, so does not reference this project, because the Dafny cce uses some Dafny-defined types in its helper methods. | ||
* | Boogie: Basetypes port 1/3: Committing new sources | 2010-08-27 | |
| | |||
* | Boogie: Renaming the Basetypes sources in preparation for my port commit. | 2010-08-27 | |