index
:
debian-dafny
master
Debian packaging for Dafny
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
Source
/
DafnyExtension
Commit message (
Expand
)
Author
Age
*
Added inductive predicates
leino
2015-05-06
*
Changed version to 1.9.3.20406 and updated copyright year to include 2015.
leino
2015-04-06
*
Copy z3.exe and Z3-LICENSE.txt (from Binaries directory to Source/DafnyExtens...
leino
2015-04-06
*
Add z3.exe and z3-license.txt to dafny binary and extension distribution.
qunyanm
2015-04-06
*
Remove unneeded reference from DafnyExtension.csproj (accidentally added by m...
chrishaw
2015-03-11
*
Add DafnyOptions.txt, and have the Dafny Visual Studio extension read command...
chrishaw
2015-03-11
*
Added 'protected' keyword (syntax)
leino
2015-03-07
*
Add imap keyword to VS/emacs/vim/latex files
chrishaw
2015-02-26
*
DafnyExtension: Made it use the more advanced on-demand re-verification by de...
wuestholz
2015-01-26
*
When ambiguous references all resolve to the same declaration, don't complain
leino
2015-01-09
*
Fixed range bug that was causing extension to sometimes crash
Bryan Parno
2014-10-27
*
Ensure that no file is processed twice, even if one command-line file is incl...
Bryan Parno
2014-10-27
*
Merge
leino
2014-10-20
|
\
*
|
Added types "char" and "string" (the latter being a synonym for "seq<char>").
leino
2014-10-20
|
*
DafnyExtension: Fixed minor issue in the menu.
wuestholz
2014-10-19
|
/
*
Merge
leino
2014-09-29
|
\
*
|
Shorter wait-for-idle time in the Dafny IDE
leino
2014-09-29
|
*
DafnyExtension: Made it not log the pretty-printed program.
wuestholz
2014-09-28
|
*
DafnyExtension: minor change due to change in Boogie
wuestholz
2014-09-28
|
*
Did more refactoring.
wuestholz
2014-09-23
|
*
Did more refactoring.
wuestholz
2014-09-23
|
*
DafnyExtension: minor change
wuestholz
2014-09-22
|
/
*
Various resolution fixes and improvements
leino
2014-08-26
*
Changed syntax of derived types to "newtype"
leino
2014-08-21
*
Forget the extra copy of DafnyRuntime.cs that gets copied into DafnyExtension
Rustan Leino
2014-08-12
*
Merge
Dan Rosén
2014-08-11
|
\
*
|
Add higher-order-functions and some other goodies
Dan Rosén
2014-08-11
|
*
Merge
leino
2014-08-02
|
|
\
|
*
|
Fixed bug Issue 37: expand type synonyms in more (hopefully all) places in th...
leino
2014-08-02
|
/
/
|
*
added trait feature:
Reza Ahmadi
2014-07-18
|
/
*
Fixed build break from recent change
leino
2014-07-15
*
Worked on the more advanced verification result caching.
wuestholz
2014-07-10
*
Worked on the more advanced verification result caching.
wuestholz
2014-07-09
*
Build VS Extension for both VS 2012 and VS 2013.
Rustan Leino
2014-07-08
*
Merge
Dan Rosén
2014-07-07
|
\
|
*
DafnyExtension: Worked on adding support for Visual Studio 2013.
wuestholz
2014-07-02
|
*
Dispose DafnyTokenTagger
Rustan Leino
2014-07-01
|
*
Color nested comments correctly in the Dafny IDE
Rustan Leino
2014-07-01
|
*
Minor change due to change in Boogie
wuestholz
2014-06-28
|
*
DafnyExtension: Made it possible to activate the more advanced verification r...
wuestholz
2014-06-23
*
|
DafnyExtension: Minor change to deal with a change in the Boogie command-line...
wuestholz
2014-06-20
|
*
DafnyExtension: Minor change to deal with a change in the Boogie command-line...
wuestholz
2014-06-20
*
|
Fixed issues with absolute file names in the expected output for the lit tests.
wuestholz
2014-06-04
|
*
Fixed issues with absolute file names in the expected output for the lit tests.
wuestholz
2014-06-04
|
/
*
DafnyExtension: Made it display the compilation output in the VS output pane.
wuestholz
2014-04-21
*
DafnyExtension: Added some support for logging program snapshots that are sen...
wuestholz
2014-04-21
*
Run-time real support
Rustan Leino
2014-04-13
*
Added "modify" statement.
Rustan Leino
2014-04-03
*
DafnyExtension: Fixed a concurrency issue.
wuestholz
2014-04-03
*
Refactoring: renamed VarDecl to LocalVariable, and renamed VarDeclStmt.Lhss t...
Rustan Leino
2014-03-17
[next]