debian-dafny - Debian packaging for Dafny

	Commit message (Expand)	Author	Age
*	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
\| \| \|\
\| \| * \|	merged IronDafny updates. two unit tests related to traits do not pass if ENA...	Michael Lowell Roberts	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
\| \| \| *	Fix a check that occasionally led to an out of bounds exception in the extension	Bryan Parno	2015-09-17
\| \| \|/ \| \|/\|
\| \| *	Fix for soundness bug discovered in SeqFromArray.	Michael Lowell Roberts	2015-09-17
\| \| *	Only print extraneous comments if asked.	Michael Lowell Roberts	2015-09-17
\| \|/
* \|	Merge	leino	2015-09-11
\|\\|