debian-dafny - Debian packaging for Dafny

	Commit message (Expand)	Author	Age
*	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
*	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