summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
* Update to VS2010.Gravatar MichalMoskal2010-10-07
* Util: Minor changes to the LaTeX listings packages for Boogie and Dafny.Gravatar wuestholz2010-09-30
* Dafny: Compilation of multi-dimensional arraysGravatar rustanleino2010-09-21
* Dafny:Gravatar rustanleino2010-09-17
* Dafny:Gravatar rustanleino2010-09-14
* Dafny: Added Dafny solutions to the VSComp 2010 problemsGravatar rustanleino2010-09-01
* VS2010 mode for Dafny and Boogie: updated, for example to properly deal with...Gravatar rustanleino2010-09-01
* Dafny: added a command-line option to change the prelude fileGravatar sboehme2010-08-30
* Dafny: fallback to ShallowType (elements of IndexField arrays seem to have Ty...Gravatar sboehme2010-08-27
* Dafny: added inlined functions making reads and updates of the heap explicitGravatar sboehme2010-08-27
* Boogie: Adding an autobuild and regression cmd file for Boogie and Dafny - Cl...Gravatar tabarbe2010-08-27
* Boogie: Added boolean code expressions (sans well-formedness checks on the in...Gravatar rustanleino2010-08-10
* Dafny: Fixed VS 2010 mode to really include all Dafny keywordsGravatar rustanleino2010-08-06
* More line ending fixups.Gravatar MichalMoskal2010-08-06
* Dafny: Made line endings consistentGravatar tabarbe2010-08-04
* Dafny: Removed trailing spaces in codeGravatar tabarbe2010-08-04
* Fixed some infelicities in the project files.Gravatar mikebarnett2010-08-04
* Dafny: Port commit part 1.5/2: Committing changed files outside of the Dafny ...Gravatar tabarbe2010-08-04
* Dafny: This file is required by DafnyPipeline.Gravatar tabarbe2010-08-03
* Dafny: Port commit part 1/2: Committing changed files.Gravatar tabarbe2010-08-03
* Dafny: Renaming the DafnyPipeline source files in preparation for the commit ...Gravatar tabarbe2010-08-03
* fixed path to the binaries directory; there was an extra .."Gravatar qadeer2010-08-03
* Also build Boogie and Dafny projects in 32-bit configurations.Gravatar rustanleino2010-07-30
* Sign both of the Dafny projects and have Dafny.exe get a version number as well.Gravatar mikebarnett2010-07-30
* Dafny: DafnyDriver port part 3/3: Updating sources to reference new project.Gravatar tabarbe2010-07-28
* Dafny: DafnyDriver port part 2/3: Adding new dependent file, removing unneces...Gravatar tabarbe2010-07-28
* Dafny: DafnyDriver port part 1/3: Replacing old source files with ported versionGravatar tabarbe2010-07-28
* Dafny/DafnyDriver: Renaming source files in preparation for port commitGravatar tabarbe2010-07-28
* Chalice: Introduced '[[ S ]]' as a shorthand syntax for 'lock (this) { S }'....Gravatar rustanleino2010-07-19
* Visual Studio 2010 integration for Dafny and Chalice. See the "How to instal...Gravatar rustanleino2010-07-15
* Chalice: No longer use Mask for "held" field; instead, only use the value of...Gravatar rustanleino2010-07-14
* Tortoise SVN screwed up previous commit.Gravatar kyessenov2010-07-14
* Dafny: added comments for refinements assertions.Gravatar kyessenov2010-07-14
* Dafny: better error reporting on resolution of refinements. Replace assertion...Gravatar kyessenov2010-07-14
* Dafny: Axiom about inverting a set union operation, similar to the recent on...Gravatar rustanleino2010-07-09
* Dafny: keep counters for loops, temporary variables across two implementation...Gravatar kyessenov2010-07-07
* Dafny:Gravatar rustanleino2010-07-06
* Added a comment noting that this test fails with Z3 2.4.Gravatar mschwerhoff2010-07-06
* Boogie: Added an additional parameter 'defines' to the method 'BoogiePL.Parse...Gravatar wuestholz2010-07-06
* Dafny: added assertions in the refinement obligation necessitating that the r...Gravatar kyessenov2010-07-03
* Dafny: Support class type parameters in refinements. Added another regression...Gravatar kyessenov2010-07-02
* Dafny: added Carrol Morgan's calculator regression test.Gravatar kyessenov2010-07-02
* Dafny: support input/output parameters in refined methods.Gravatar kyessenov2010-07-02
* Dafny: added a regression test for the refinement extension.Gravatar kyessenov2010-07-02
* Added a simple refinement extension to Dafny. The new keywords are "refines" ...Gravatar kyessenov2010-07-02
* Unified the .frame files so that both Boogie and Dafny use exactly the same o...Gravatar mikebarnett2010-06-25
* slightly improved syntax fileGravatar kyessenov2010-06-24
* Dafny:Gravatar rustanleino2010-06-24
* Dafny:Gravatar rustanleino2010-06-24
* Updated the frame files to work with the latest Coco/R. This entails *not* ha...Gravatar mikebarnett2010-06-22
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-08 03:22:24 +0000