index
:
debian-dafny
master
Debian packaging for Dafny
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
Dafny
Commit message (
Expand
)
Author
Age
*
Dafny: don't require parentheses in syntax of "choose" statements
Rustan Leino
2011-04-05
*
branch merge
Rustan Leino
2011-04-05
|
\
*
|
Dafny: Allow field selections and array-element selection as LHSs of assignme...
Unknown
2011-04-05
|
*
Dafny: fixed bug in induction over integers
Unknown
2011-04-04
|
/
*
Dafny:
rustanleino
2011-03-30
*
Dafny: refactoring to soon support more general assignment statements
rustanleino
2011-03-29
*
Dafny: Added support for an initializing call as part of the new-allocation s...
rustanleino
2011-03-27
*
Dafny: added "choose" operator on sets
rustanleino
2011-03-26
*
Dafny: improved and corrected physical/ghost distinction
rustanleino
2011-03-26
*
Dafny: compile quantifiers
rustanleino
2011-03-26
*
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
[next]