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
*
Renamed NonNullElements to NonNullDictionaryAndValues because the keys to dic...
mikebarnett
2011-03-10
*
Dafny:
rustanleino
2011-03-06
*
Dafny: Added heuristic for when to turn on the induction tactic
rustanleino
2011-03-05
*
Dafny:
rustanleino
2011-03-04
*
Dafny: support for nested match expressions
rustanleino
2011-03-01
*
Dafny: Non-empty Visual-Studio error messages for related split-expr locations.
rustanleino
2011-02-27
*
Dafny: Improved scheme for splitting expressions. Also, report each split i...
rustanleino
2011-02-19
*
Dafny:
rustanleino
2011-02-17
*
Dafny: every decreases clause implicitly ends with a never-ending sequence of...
rustanleino
2011-02-03
*
Dafny: allow self-calls in function postconditions--these simply refer to the...
rustanleino
2011-02-03
*
Dafny: implemented a more precise scheme for allowing use of a function's rep...
rustanleino
2011-02-03
*
Dafny: replaced the user-defined $ite function with Boogie's built-in if-then...
rustanleino
2011-02-03
*
Dafny: removed CEV instrumentation
rustanleino
2011-02-03
*
Dafny: removed unused Position argument from CheckWellformed
rustanleino
2011-02-03
*
Dafny: white-space deltas in source code
rustanleino
2011-02-02
*
Dafny: added ensures clauses to functions
rustanleino
2011-02-02
*
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
[next]