summaryrefslogtreecommitdiff
path: root/Source/DafnyExtension
Commit message (Expand)AuthorAge
* Revert change 1997 (bfe7c149bef1). IDE performance. Don't delay the resolverGravatar qunyanm2016-02-29
* Implement 'extern' declaration modifier.Gravatar Richard L. Ford2016-01-27
* VS IDE performance - invoke dafny parser when the buffer hasn't changed forGravatar qunyanm2016-01-20
* Fix some VS IDE performance issues.Gravatar qunyanm2016-01-06
* In the VS IDE, don't generate hover-text information for auto-generated ident...Gravatar leino2015-11-05
* DafnyExtension: Add menu item for automatic induction (mainly developed by Ru...Gravatar wuestholz2015-10-26
* Make /autoTriggers:1 be the default in Visual StudioGravatar leino2015-10-24
* In Visual Studio, be willing to display both resolution warnings and verifica...Gravatar leino2015-10-24
* DafnyExtension: Re-added assembly reference.Gravatar wuestholz2015-10-08
* DafnyExtension: Fix concurrency issue.Gravatar wuestholz2015-10-08
* Make the Dafny extension compile on VS 2015 without any old versions.Gravatar wuestholz2015-10-08
* Fixed latent crash of hovertext/outlining with include.Gravatar Rustan Leino2015-10-02
* Fix a check that occasionally led to an out of bounds exception in the extensionGravatar Bryan Parno2015-09-17
* Discard error messages that refer to a non-nested TokenWrapper.Gravatar Clément Pit--Claudel2015-08-20
* Enable unicode output in the VS extensionGravatar Clément Pit--Claudel2015-08-19
* Refactor the error reporting codeGravatar Clément Pit--Claudel2015-08-18
* Tiny refactoring in the extension's driverGravatar Clément Pit--Claudel2015-07-31
* Fix an issue with column numbers in the VS extensionGravatar Clément Pit--Claudel2015-07-31
* Update the VS extension to use the error interface defined in 576eac2e17ffGravatar Clément Pit--Claudel2015-07-29
* Update DafnyExtension to use the parser constructor introduced in d2e394fc4b93Gravatar Clément Pit--Claudel2015-07-24
* Fix: Visual studio did not show warnings.Gravatar Clément Pit--Claudel2015-07-23
* Fix identifiers in nested match patterns not showing in the IDE bug. RememberGravatar qunyanm2015-06-29
* Added {:auto_generated} trigger, which indicates that a declaration was not e...Gravatar Rustan Leino2015-06-02
* Add an infinite set collection type.Gravatar qunyanm2015-05-29
* DafnyExtension: Added experimental support for diagnosing timeouts.Gravatar wuestholz2015-05-18
* Added inductive predicatesGravatar leino2015-05-06
* Changed version to 1.9.3.20406 and updated copyright year to include 2015.Gravatar leino2015-04-06
* Copy z3.exe and Z3-LICENSE.txt (from Binaries directory to Source/DafnyExtens...Gravatar leino2015-04-06
* Add z3.exe and z3-license.txt to dafny binary and extension distribution.Gravatar qunyanm2015-04-06
* Remove unneeded reference from DafnyExtension.csproj (accidentally added by m...Gravatar chrishaw2015-03-11
* Add DafnyOptions.txt, and have the Dafny Visual Studio extension read command...Gravatar chrishaw2015-03-11
* Added 'protected' keyword (syntax)Gravatar leino2015-03-07
* Add imap keyword to VS/emacs/vim/latex filesGravatar chrishaw2015-02-26
* DafnyExtension: Made it use the more advanced on-demand re-verification by de...Gravatar wuestholz2015-01-26
* When ambiguous references all resolve to the same declaration, don't complainGravatar leino2015-01-09
* Fixed range bug that was causing extension to sometimes crashGravatar Bryan Parno2014-10-27
* Ensure that no file is processed twice, even if one command-line file is incl...Gravatar Bryan Parno2014-10-27
* MergeGravatar leino2014-10-20
|\
* | Added types "char" and "string" (the latter being a synonym for "seq<char>").Gravatar leino2014-10-20
| * DafnyExtension: Fixed minor issue in the menu.Gravatar wuestholz2014-10-19
|/
* MergeGravatar leino2014-09-29
|\
* | Shorter wait-for-idle time in the Dafny IDEGravatar leino2014-09-29
| * DafnyExtension: Made it not log the pretty-printed program.Gravatar wuestholz2014-09-28
| * DafnyExtension: minor change due to change in BoogieGravatar wuestholz2014-09-28
| * Did more refactoring.Gravatar wuestholz2014-09-23
| * Did more refactoring.Gravatar wuestholz2014-09-23
| * DafnyExtension: minor changeGravatar wuestholz2014-09-22
|/
* Various resolution fixes and improvementsGravatar leino2014-08-26
* Changed syntax of derived types to "newtype"Gravatar leino2014-08-21
* Forget the extra copy of DafnyRuntime.cs that gets copied into DafnyExtensionGravatar Rustan Leino2014-08-12