debian-dafny - Debian packaging for Dafny

	Commit message (Expand)	Author	Age
*	Removed the 'inSpecOnlyContext' map that had been part of the resolution of	leino	2015-09-28
*	Renamed CheckIsNonGhost to CheckIsCompilable.	leino	2015-09-28
*	Removed more traces of the previous resolution checks that happened during pa...	leino	2015-09-28
*	Additional tests	leino	2015-09-28
*	Whitespace changes in test file	leino	2015-09-28
*	Improvements in proofs	leino	2015-09-28
*	Changed computation of ghosts until pass 2 of resolution.	leino	2015-09-28
*	A test file with an example of least vs greatest fixpoints.	leino	2015-09-22
*	Removed unused code (old code from previous ghost-statement handling)	leino	2015-09-21
*	Moved premature uses of .IsGhost for Statement's	leino	2015-09-21
*	Added back in various ghost tests	leino	2015-09-20
*	Changes that only affect line numbers in test case	leino	2015-09-20
*	Removed tabs from test file	leino	2015-09-20
*	Adjusted (corrected, I think) test output	leino	2015-09-20
*	Preliminary refactoring of ghost-statement computations to after type checking	leino	2015-09-20
*	Merge	leino	2015-09-11
\|\
\| *	Fix #90	Clément Pit--Claudel	2015-09-09
\| *	Proof that Ackermann can be curried and that it is monotonic in both arguments.	Rustan Leino	2015-09-08
\| *	Merge	Clément Pit--Claudel	2015-09-02
\| \|\
* \| \|	Refactored most of UnifyTypes calls into a ConstrainTypes method, preparing f...	leino	2015-08-31
\| \| *	fix for comparison error in prelude when using /optimize.	Michael Lowell Roberts	2015-08-31
\| \|/ \|/\|
\| *	Fix some tests by locally disabling auto triggers	Clément Pit--Claudel	2015-08-28
\| *	Align the server's default kill time with the one of the VS extension	Clément Pit--Claudel	2015-08-28
\| *	Add a small test from a discussion with Bryan	Clément Pit--Claudel	2015-08-28
\| *	Implement workarounds for some tests that fail with /autoTriggers.	Clément Pit--Claudel	2015-08-28
\| *	Suppress many warnings in the test suite.	Clément Pit--Claudel	2015-08-28
\| *	Clarify a comment	Clément Pit--Claudel	2015-08-28
\| *	Implement {:nowarn}, clarify some messages, and add a few tests	Clément Pit--Claudel	2015-08-28
\| *	Put contents od release packages into a dafny/ directory	Clément Pit--Claudel	2015-08-28
* \|	Merge	Rustan Leino	2015-08-28
\|\\|
* \|	Added tests for Boogie's new /verifySnapshots:3, which will be used by the Da...	Rustan Leino	2015-08-28
* \|	Fixed spelling mistake in test file	Rustan Leino	2015-08-28
\| *	Add a small test from the IronClad notebook	Clément Pit--Claudel	2015-08-27
\| *	Tiny cleanup in TriggersCollector	Clément Pit--Claudel	2015-08-27
\| *	Add a tip to the packaging script	Clément Pit--Claudel	2015-08-27
\| *	Update INSTALL to reflect the latest packaging changes	Clément Pit--Claudel	2015-08-27
\| *	package.py: Keep z3's exec bits, and set the exec bit on the dafny/ script	Clément Pit--Claudel	2015-08-27
\| *	More fixes to the packaging script	Clément Pit--Claudel	2015-08-27
\| *	Make the packaging script Windows-compatible	Clément Pit--Claudel	2015-08-27
\| *	Look for z3 in Binaries/z3/bin (but keep the vendored version for convenience)	Clément Pit--Claudel	2015-08-27
\| *	Further relax the loop detection conditions	Clément Pit--Claudel	2015-08-27
\| *	Small fix: there is no loop in (forall x :: Q(x) && Q(0))	Clément Pit--Claudel	2015-08-27
\| *	Merge	Clément Pit--Claudel	2015-08-26
\| \|\ \| \|/ \|/\|
\| *	Improve the redundancy detection algorithm used while constructing sets of terms	Clément Pit--Claudel	2015-08-26
* \|	Merge	Clément Pit--Claudel	2015-08-24
\|\ \ \| \|/ \|/\|
\| *	Add the Package folder to .hgignore	Clément Pit--Claudel	2015-08-24
* \|	Add change missing from bd47e3cdb79c	Clément Pit--Claudel	2015-08-23
* \|	s/loops with/may loop with/	Clément Pit--Claudel	2015-08-23
* \|	Merge	Clément Pit--Claudel	2015-08-23
\|\\|
\| *	Write a new packaging script for Dafny	Clément Pit--Claudel	2015-08-23