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
*
Revert change 1997 (bfe7c149bef1). IDE performance. Don't delay the resolver
qunyanm
2016-02-29
*
Implement 'extern' declaration modifier.
Richard L. Ford
2016-01-27
*
VS IDE performance - invoke dafny parser when the buffer hasn't changed for
qunyanm
2016-01-20
*
Fix some VS IDE performance issues.
qunyanm
2016-01-06
*
In the VS IDE, don't generate hover-text information for auto-generated ident...
leino
2015-11-05
*
DafnyExtension: Add menu item for automatic induction (mainly developed by Ru...
wuestholz
2015-10-26
*
Make /autoTriggers:1 be the default in Visual Studio
leino
2015-10-24
*
In Visual Studio, be willing to display both resolution warnings and verifica...
leino
2015-10-24
*
DafnyExtension: Re-added assembly reference.
wuestholz
2015-10-08
*
DafnyExtension: Fix concurrency issue.
wuestholz
2015-10-08
*
Make the Dafny extension compile on VS 2015 without any old versions.
wuestholz
2015-10-08
*
Fixed latent crash of hovertext/outlining with include.
Rustan Leino
2015-10-02
*
Fix a check that occasionally led to an out of bounds exception in the extension
Bryan Parno
2015-09-17
*
Discard error messages that refer to a non-nested TokenWrapper.
Clément Pit--Claudel
2015-08-20
*
Enable unicode output in the VS extension
Clément Pit--Claudel
2015-08-19
*
Refactor the error reporting code
Clément Pit--Claudel
2015-08-18
*
Tiny refactoring in the extension's driver
Clément Pit--Claudel
2015-07-31
*
Fix an issue with column numbers in the VS extension
Clément Pit--Claudel
2015-07-31
*
Update the VS extension to use the error interface defined in 576eac2e17ff
Clément Pit--Claudel
2015-07-29
*
Update DafnyExtension to use the parser constructor introduced in d2e394fc4b93
Clément Pit--Claudel
2015-07-24
*
Fix: Visual studio did not show warnings.
Clément Pit--Claudel
2015-07-23
*
Fix identifiers in nested match patterns not showing in the IDE bug. Remember
qunyanm
2015-06-29
*
Added {:auto_generated} trigger, which indicates that a declaration was not e...
Rustan Leino
2015-06-02
*
Add an infinite set collection type.
qunyanm
2015-05-29
*
DafnyExtension: Added experimental support for diagnosing timeouts.
wuestholz
2015-05-18
*
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
[next]