index
:
debian-dafny
master
Debian packaging for Dafny
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
Util
Commit message (
Expand
)
Author
Age
*
Changed syntax of derived types to "newtype"
leino
2014-08-21
*
added trait feature:
Reza Ahmadi
2014-07-18
*
Fixes to vim highlighting
Dan Rosén
2014-07-07
*
Added "modify" statement.
Rustan Leino
2014-04-03
*
Fixed typo in latex style file
Rustan Leino
2014-03-20
*
Deprecated "comethod" keyword in favor of "colemma". (Also, "prefix method" -...
Rustan Leino
2014-02-23
*
Syntax highlighting for reals
Rustan Leino
2014-02-13
*
Increased space around "..." in latex style for Dafny.
Rustan Leino
2014-02-13
*
Italicize attributes in latex mode for Dafny
Rustan Leino
2014-02-10
*
Fixed emacs coloring to not color things that are only substrings of symbols
Bryan Parno
2013-12-12
*
Add support for the "include" keyword, which accepts a (possibly relative) path
Bryan Parno
2013-12-10
*
Removed old keyword "choose"
Rustan Leino
2013-08-06
*
Introduced keywords "lemma" (like a "ghost method", but not allowed to have a...
Rustan Leino
2013-08-02
*
Include <== operator in LaTeX style file
Rustan Leino
2013-05-12
*
Renamed "parallel" statement to "forall" statement, and made the parentheses ...
Rustan Leino
2013-03-06
*
removed deprecated "allocated" keyword from DafnyExtension syntax highlighting
Rustan Leino
2012-10-22
*
renamed "abstract module" to "module facade"
Rustan Leino
2012-10-22
*
New feature:
Rustan Leino
2012-10-11
*
Migrated a missing file from the old Boogie codeplex
Rustan Leino
2012-10-04
*
Put all sources under \Source directory
Rustan Leino
2012-10-04
*
Merge
Rustan Leino
2012-10-04
|
\
|
*
bunch of refactorings
Unknown
2012-10-03
|
*
Dafny: removed div/mod axioms, since Boogie now interprets div/mod
Unknown
2012-09-28
|
*
DafnyExtension: make it usable also in Visual Studio 2012
Unknown
2012-09-27
*
|
Dafny: added iterators; for now, only parsing and resolving (and printing and...
Rustan Leino
2012-09-25
|
*
DafnyExtension: adding some missing keywords (for imports)
Unknown
2012-09-21
|
*
Added the new keyword (calc) to Util
Nadia Polikarpova
2012-09-16
|
/
*
DafnyExtension: addressed a class initialization order problem
Rustan Leino
2012-09-09
*
DafnyExtension: new color (violet) for buffer snapshot sent to the verifier
Unknown
2012-09-07
*
Dafny: fixed typo in latex mode
Unknown
2012-09-05
*
DafnyExtension: don't duplicate names of inherited identifiers
Unknown
2012-08-30
*
DafnyExtension: changed how "_" is displayed (now display as a keyword, not a...
Unknown
2012-08-30
*
Dafny: allow "_" as don't-care variable name
Unknown
2012-08-30
*
DafnyExtension: fixed bug (omitted case: VarDeclStmt has no Update component)
Unknown
2012-08-29
*
DafnyExtension: don't reverify a buffer with no changes
Rustan Leino
2012-08-27
*
DafnyExtensions: better error handling
Rustan Leino
2012-08-21
*
Dafny and Boogie: get rid of 'static' fields in parser
Rustan Leino
2012-08-21
*
DafnyExtension: fixed bad merge
Rustan Leino
2012-08-17
*
Merge
Rustan Leino
2012-08-17
|
\
*
|
DafnyExtension: improved concurrency behavior
Unknown
2012-08-17
|
*
DafnyExtension: report out-of-time and out-of-memory errors
Rustan Leino
2012-08-17
|
/
*
DafnyExtension: toward some fixes
Unknown
2012-08-17
*
DafnyExtension: simplified display of type names and field names
Unknown
2012-08-17
*
DafnyExtension: various improvements
Unknown
2012-08-16
*
DafnyExtension: improvements
Rustan Leino
2012-08-15
*
DafnyExtension: do verification in a non-UI thread
Rustan Leino
2012-08-15
*
DafnyExtension: fixed more missing cases for hover texts
Unknown
2012-08-15
*
Dafny: fixed some bugs in the newly added DafnyExtension code
Unknown
2012-08-15
*
Dafny: added Statement.SubExpressions getter
Unknown
2012-08-15
*
Dafny: added Statement.SubExpressions getter
Unknown
2012-08-15
[next]