debian-dafny - Debian packaging for Dafny

	Commit message (Expand)	Author	Age
*	Refactor the error reporting code	Clément Pit--Claudel	2015-08-18
*	server: Add a Checked configuration	Clément Pit--Claudel	2015-08-14
*	Add a few utility methods to the visitors	Clément Pit--Claudel	2015-08-12
*	runTests.py: Pretty-print stderr output to TRACE upon test failure	Clément Pit--Claudel	2015-08-12
*	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
\| \| \|/ \| \|/\|
* \| \|	Update install notes and test them	Clément Pit--Claudel	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
* \| \|	Update .ignore	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
\|/ /
* \|	Add quotes in snapshot tests.	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
\|\ \
* \| \|	Save failing tests to failing.lst, making it easy to re-run them	Clément Pit--Claudel	2015-07-28
\| * \|	Renamed "ghost method" to "lemma" whenever appropriate (which is most of the ...	Rustan Leino	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
\| *	Renamed "ghost method" to "lemma" in a couple of test files	Rustan Leino	2015-07-24
\| *	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
\|\
\| *	Bump up the time limit in runTests.py and save a bit of space in output	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
\| *	Let runTests.py generate expect files	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-21
\|\\|
* \|	Add Test/sandbox/* to .hgignore	Clément Pit--Claudel	2015-07-21
\| *	Small fix in runTests.py	Clément Pit--Claudel	2015-07-21
\|/
*	Update z3 to 4.4. One test had to be edited.	Clément Pit--Claudel	2015-07-21