debian-dafny - Debian packaging for Dafny

	Commit message (Expand)	Author	Age
*	Add some files to .hgignore.	wuestholz	2015-11-02
*	update the test.	qunyanm	2015-10-30
*	Fix issue 91 - Change how we compute the bounds of quantified variables so that	qunyanm	2015-10-29
*	Check version info before delete white space so that it will work with python	qunyanm	2015-10-28
*	Merge	leino	2015-10-26
\|\
* \|	Fixed location of blue dots to appear after semi-colons, not just before them.	leino	2015-10-26
\| *	DafnyExtension: Add menu item for automatic induction (mainly developed by Ru...	wuestholz	2015-10-26
\|/
*	Make /autoTriggers:1 be the default in Visual Studio	leino	2015-10-24
*	In Visual Studio, be willing to display both resolution warnings and verifica...	leino	2015-10-24
*	In method and iterator specifications, inline top-level predicates (except	leino	2015-10-24
*	Introduced new datatype update syntax: D.(f := E)	leino	2015-10-23
*	Refactored resolution of datatype updates, preparing for a change of syntax	leino	2015-10-23
*	Fixed bug introduced in changeset 7ebdf9cd4154	leino	2015-10-22
*	Improve Dafny's ability to find fueled functions by checking the function its...	Bryan Parno	2015-10-19
*	Version 1.9.6.21012	Rustan Leino	2015-10-12
*	Merge	Rustan Leino	2015-10-12
\|\
\| *	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
\| *	Add vsix to releases and fix invalid path separators in packaging script	Clément Pit--Claudel	2015-10-08
* \|	Renamed ExistentialGuards... to BindingGuards...	Rustan Leino	2015-10-07
\|/
*	Use /env:0 to avoid full pathnames in test output	Rustan Leino	2015-10-06
*	Implemented resolution, verification, and (poorly performing) compilation of ...	leino	2015-10-05
*	Parsing and pretty printing of the new "existential guards" of the two kinds ...	leino	2015-10-03
*	Made /rewriteFocalPredicates:1 the default	Rustan Leino	2015-10-02
*	Hover text includes #[_k-1] suffix for terms rewritten in prefix predicates/l...	Rustan Leino	2015-10-02
*	Fixed latent crash of hovertext/outlining with include.	Rustan Leino	2015-10-02
*	Removed some unused code.	Rustan Leino	2015-09-30
*	Merge	leino	2015-09-29
\|\
\| *	Fix two test cases that failed if the path to "DafnySever.exe" contained spaces.	wuestholz	2015-09-30
\| *	Fix the build.	wuestholz	2015-09-29
* \|	Merge	leino	2015-09-28
\|\ \
\| * \|	Merge	leino	2015-09-28
\| \|\\|
* \| \|	Removed specContextOnly parameter from ResolveStatement.	leino	2015-09-28
* \| \|	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
\| \| *	merge heads	Michael Lowell Roberts	2015-09-23
\| \| \|\
\| \| * \|	fixed bugs related to identifying newtypes as types of integers and reals.	Michael Lowell Roberts	2015-09-23
\| \| \| *	Revert part of 1899 (47fd7d09d605, "Fix a check that occasionally led to ...")	Clément Pit--Claudel	2015-09-23
\| \| \|/
\| * \|	Fixed typo in INSTALL file	leino	2015-09-23
* \| \|	A test file with an example of least vs greatest fixpoints.	leino	2015-09-22
\| \| *	fix for warnings related to deprecated z3 options (please update to the lates...	Michael Lowell Roberts	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
\| \| *	Auto-merged heads.	Michael Lowell Roberts	2015-09-21
\| \| \|\