summaryrefslogtreecommitdiff
path: root/Binaries
Commit message (Expand)AuthorAge
* Boogie: Added boolean code expressions (sans well-formedness checks on the in...Gravatar rustanleino2010-08-10
* Reverting accidental check-inGravatar stobies2010-08-06
* Remove support for Z3 V1 and clean up parameter processing code for Z3Gravatar stobies2010-08-06
* <Boogie> This dll is not one that needs to be in the depot. It should be add...Gravatar tabarbe2010-07-15
* Missing file needed for new C# projects.Gravatar mikebarnett2010-07-14
* Dafny: Axiom about inverting a set union operation, similar to the recent on...Gravatar rustanleino2010-07-09
* Boogie:Gravatar rustanleino2010-06-22
* Dafny:Gravatar rustanleino2010-06-18
* Dafny:Gravatar rustanleino2010-05-21
* Script that gathers the files for the binary distribution Boogie.zip.Gravatar rustanleino2010-05-17
* Dafny:Gravatar rustanleino2010-05-13
* Changed the 'svn:ignore' property of /Binaries such that ALL currently not sv...Gravatar mschwerhoff2010-05-12
* Dafny:Gravatar rustanleino2010-05-06
* Dafny:Gravatar rustanleino2010-05-06
* Dafny:Gravatar rustanleino2010-03-31
* Dafny: Ensures that function axioms are not being used while their consisten...Gravatar rustanleino2010-03-19
* Added a comment to the MakefileGravatar mschwerhoff2010-03-12
* Update to F# 1.9.9.9.Gravatar MichalMoskal2010-02-18
* Dafny: Added if-then-else expressions (replacing and extending the previous b...Gravatar rustanleino2010-02-04
* Dafny: updated to reflect Boogie's new parsing of function argumentsGravatar rustanleino2010-01-07
* Added resolution and translation of algebraic datatypes and (in function bodi...Gravatar rustanleino2009-11-20
* Start (some parsing and resolution) of adding algebraic datatypes to Dafny.Gravatar rustanleino2009-11-08
* Added a sequence update expression in Dafny.Gravatar rustanleino2009-11-06
* Redesigned the encoding of Dafny generics, including the built-in types set a...Gravatar rustanleino2009-11-06
* Applied patch 4316, which fixes an unsoundness in the axiomatization of seque...Gravatar rustanleino2009-11-05
* Update F# binaries to Oct09 CTPGravatar MichalMoskal2009-10-30
* Restoring Spec# binariesGravatar stobies2009-09-30
* Fixed some bugs in the generation of bitvector input for Z3.Gravatar rustanleino2009-09-29
* Dafny: Added axioms for division and modulo.Gravatar rustanleino2009-09-15
* Dafny:Gravatar rustanleino2009-09-14
* Full (?) support in Dafny for Counterexample Visualizer predicates.Gravatar rustanleino2009-08-19
* Incorporated Counterexample Visualizer (CEV) information in the generated Boo...Gravatar rustanleino2009-08-15
* Changes needed in order to build Boogie using a freshly built Spec# compiler ...Gravatar mikebarnett2009-08-10
* Initial set of files.Gravatar mikebarnett2009-07-15