debian-dafny - Debian packaging for Dafny

	Commit message (Expand)	Author	Age
*	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
*	Fixed build-break typo	Rustan Leino	2014-02-23
*	Deprecated "comethod" keyword in favor of "colemma". (Also, "prefix method" -...	Rustan Leino	2014-02-23
*	Syntax highlighting for reals	Rustan Leino	2014-02-13
*	Fixed bug in DafnyExtension (hover text computation would crash if Translator...	Rustan Leino	2014-02-06
*	Mark auto-generated expressions (in "decreases" clauses) and don't use these ...	Rustan Leino	2014-02-04
*	Version 1.8.0.10115 release candidate	Rustan Leino	2014-01-15
*	Manually adjusted merge	Rustan Leino	2014-01-08
*	One more file to go with the previous check-in (DafnyRuntime.cs apparently ge...	Rustan Leino	2014-01-06
*	DafnyExtension: Reduce the default number of Z3 instances by one.	wuestholz	2013-12-26
*	Compute default decreases clauses in Resolver instead of in the Translator.	Rustan Leino	2013-12-19