index
:
debian-boogie
dfsg_free
master
Debian packaging for Boogie
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
Source
/
Dafny
Commit message (
Expand
)
Author
Age
*
Dafny: Fixed some build issues with duplicated and malformed Code Contracts.
rustanleino
2011-01-13
*
Dafny: Fixed error in printing an error message. Changed "function method" ...
rustanleino
2011-01-11
*
Factored out the ParserHelper class into a separate project and updated the f...
wuestholz
2010-12-02
*
Get rid of F# dependencies - use System.Numerics and a custom Rational struct...
MichalMoskal
2010-12-02
*
Ported all projects to .NET Framework 4.0 in both Boogie.sln and Dafny.sln. ...
qadeer
2010-11-27
*
Dafny: Improved default decreases clauses for methods and functions
rustanleino
2010-11-25
*
Dafny: a partial first crack at a Dafny model-viewer provider, including capt...
rustanleino
2010-11-01
*
Dafny: Record source positions of start/end curly braces for declaration con...
rustanleino
2010-10-27
*
Updated parser.cs files to pick up the new .frame improvements from boogiepar...
rustanleino
2010-10-26
*
Boogie:
rustanleino
2010-10-26
*
Update to VS2010.
MichalMoskal
2010-10-07
*
Dafny: Compilation of multi-dimensional arrays
rustanleino
2010-09-21
*
Dafny:
rustanleino
2010-09-17
*
Dafny:
rustanleino
2010-09-14
*
Dafny: added a command-line option to change the prelude file
sboehme
2010-08-30
*
Dafny: fallback to ShallowType (elements of IndexField arrays seem to have Ty...
sboehme
2010-08-27
*
Dafny: added inlined functions making reads and updates of the heap explicit
sboehme
2010-08-27
*
More line ending fixups.
MichalMoskal
2010-08-06
*
Dafny: Made line endings consistent
tabarbe
2010-08-04
*
Dafny: Removed trailing spaces in code
tabarbe
2010-08-04
*
Fixed some infelicities in the project files.
mikebarnett
2010-08-04
*
Dafny: This file is required by DafnyPipeline.
tabarbe
2010-08-03
*
Dafny: Port commit part 1/2: Committing changed files.
tabarbe
2010-08-03
*
Dafny: Renaming the DafnyPipeline source files in preparation for the commit ...
tabarbe
2010-08-03
*
Sign both of the Dafny projects and have Dafny.exe get a version number as well.
mikebarnett
2010-07-30
*
Tortoise SVN screwed up previous commit.
kyessenov
2010-07-14
*
Dafny: added comments for refinements assertions.
kyessenov
2010-07-14
*
Dafny: better error reporting on resolution of refinements. Replace assertion...
kyessenov
2010-07-14
*
Dafny: keep counters for loops, temporary variables across two implementation...
kyessenov
2010-07-07
*
Dafny:
rustanleino
2010-07-06
*
Boogie: Added an additional parameter 'defines' to the method 'BoogiePL.Parse...
wuestholz
2010-07-06
*
Dafny: added assertions in the refinement obligation necessitating that the r...
kyessenov
2010-07-03
*
Dafny: Support class type parameters in refinements. Added another regression...
kyessenov
2010-07-02
*
Dafny: support input/output parameters in refined methods.
kyessenov
2010-07-02
*
Added a simple refinement extension to Dafny. The new keywords are "refines" ...
kyessenov
2010-07-02
*
Unified the .frame files so that both Boogie and Dafny use exactly the same o...
mikebarnett
2010-06-25
*
Dafny:
rustanleino
2010-06-24
*
Dafny:
rustanleino
2010-06-24
*
Updated the frame files to work with the latest Coco/R. This entails *not* ha...
mikebarnett
2010-06-22
*
Dafny:
rustanleino
2010-06-19
*
Dafny:
rustanleino
2010-06-18
*
Dafny: Added two additional heuristics for guessing missing loop decreases c...
rustanleino
2010-06-11
*
Dafny: Another bug fix in SplitExpr, having to do with generic results of fu...
rustanleino
2010-06-09
*
Dafny: Fix type bug in SplitExpr translation.
rustanleino
2010-06-08
*
Dafny: For functions with an empty decreases clause that use the reads clause...
rustanleino
2010-06-08
*
Dafny:
rustanleino
2010-06-05
*
Dafny: Allow < and > for comparisons of datatype values (which then compares ...
rustanleino
2010-05-21
*
Dafny:
rustanleino
2010-05-21
*
Dafny: Fixed crash in parser (that occurred when the Dafny input had a parti...
rustanleino
2010-05-18
*
Boogie:
rustanleino
2010-05-15
[next]