debian-dafny - Debian packaging for Dafny

	Commit message (Expand)	Author	Age
*	Change the induction heuristic for lemmas to also look in precondition for cl...	leino	2015-08-12
*	Bug fixes and improvements in pretty printing	leino	2015-08-11
*	Disallow user-defined attributes that begin with an underscore	leino	2015-08-11
*	Removed the unused type ThisSurrogate	leino	2015-08-11
*	Moved discovery of induction variables into a Rewriter.	leino	2015-08-11
*	Added routine OneAttributeToString to pretty printer	leino	2015-08-10
*	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
*	Merge	Clément Pit--Claudel	2015-07-31
\|\
* \|	Integrate the DafnyServer project into the main Dafny solution	Clément Pit--Claudel	2015-07-31
\| *	Add path to DafnyPrelude.bpl from DafnyServer project	Rustan Leino	2015-07-31
\| *	Merge	Rustan Leino	2015-07-31
\| \|\
\| \| *	Merge	leino	2015-07-31
\| \| \|\ \| \|_\|/ \|/\| \|
\| \| *	Merge	leino	2015-07-31
\| \| \|\
\| * \| \|	Bug fix: check that assign-such-that constraint is of type boolean	Rustan Leino	2015-07-31
\| \| \|/ \| \|/\|
* \| \|	Add a Linux z3 binary to the repo, and use that or z3.exe based on the OS	Clément Pit--Claudel	2015-07-31
\| \| *	Allow forall statements in refinements	leino	2015-07-31
* \| \|	Add tests for the server	Clément Pit--Claudel	2015-07-31
* \| \|	Split the server source into multiple files	Clément Pit--Claudel	2015-07-31
* \| \|	Fix an issue where the server would reverify the same file multiple times.	Clément Pit--Claudel	2015-07-30
\|/ /
* \|	Implement a Dafny server.	Clément Pit--Claudel	2015-07-30
* \|	Fixed crash in resolution where, after reporting an error, the cases #type an...	Rustan Leino	2015-07-29
* \|	Update the VS extension to use the error interface defined in 576eac2e17ff	Clément Pit--Claudel	2015-07-29
* \|	Merge	Clément Pit--Claudel	2015-07-28
\|\ \
\| * \|	Updated parser generation to work with latest update in boogiepartners. Note ...	Rustan Leino	2015-07-27
\| \|/
* \|	Clarify the inlining warning.	Clément Pit--Claudel	2015-07-27
* \|	Small refactoring	Clément Pit--Claudel	2015-07-27
* \|	Clean up error reporting.	Clément Pit--Claudel	2015-07-27
\| *	Translate triggers with the same ExpressionTranslator as the body	Rustan Leino	2015-07-24
\|/
*	Update DafnyExtension to use the parser constructor introduced in d2e394fc4b93	Clément Pit--Claudel	2015-07-24
*	Merge	Clément Pit--Claudel	2015-07-23
\|\
\| *	Fix: Read clauses should be checked before lit lifting	Clément Pit--Claudel	2015-07-23
\| *	Fix a bug with includes and /useBaseNameForFileName	Clément Pit--Claudel	2015-07-23
\| *	Fix: Unify column numbers in Dafny's errors	Clément Pit--Claudel	2015-07-23
\| *	Fix: Visual studio did not show warnings.	Clément Pit--Claudel	2015-07-23
\| *	IronDafny related changes:	Michael Lowell Roberts	2015-07-22
* \|	Merge	Clément Pit--Claudel	2015-07-21
\|\\|
* \|	Simplify some of the deduplication code in TriggerGenerator.cs	Clément Pit--Claudel	2015-07-21
\| *	Improved rank axioms for containers	Rustan Leino	2015-07-21
\| *	Code reviewed some of the triggers added by changeset 1dacb6d3cc3c	Rustan Leino	2015-07-21
\|/
*	Merge	Clément Pit--Claudel	2015-07-20
\|\
* \|	Add calc's attributes to its SubExpressions.	Clément Pit--Claudel	2015-07-20
\| *	clarified error message that occurs when the "opened" keyword is left off of ...	Michael Lowell Roberts	2015-07-20
\| *	fix for apparent typo in Rewriter.cs	Michael Lowell Roberts	2015-07-20
\|/
*	Merge my autoTriggers work into the master branch	Clément Pit--Claudel	2015-07-17
\|\
* \|	Clean up new trigger declarations in Translator.cs	Clément Pit--Claudel	2015-07-17
* \|	Fix column numbers in warning and info messages	Clément Pit--Claudel	2015-07-16
* \|	Clean up a few thing and set proper defaults before merging	Clément Pit--Claudel	2015-07-16
\| *	Merge	Rustan Leino	2015-07-16
\| \|\
\| \| *	Fixed bugs in the parsing of explicit type arguments.	Rustan Leino	2015-07-16