debian-dafny - Debian packaging for Dafny

	Commit message (Expand)	Author	Age
...
*	Fix issue 107. Instead of writing out StaticReceiverExpr as null valued	qunyanm	2015-11-17
*	Fix issue 100. Add an axiom for functionHandle to trigger off of the origial	qunyanm	2015-11-17
*	Updated version number to 1.9.6.21116. This version is now on rise4fun.	leino	2015-11-16
*	Fix issue 94. Allow tuple-based assignment in statement contexts.	qunyanm	2015-11-14
*	Merge	leino	2015-11-11
\|\
* \|	Fixed compilation of equality between reference types	leino	2015-11-11
\| *	Fix issue 101. Instead of swapping operands for Exp opcode in BinaryExpr,	qunyanm	2015-11-10
\| *	Fix issue 99. When annotate a quantifier expr that has a SplitQuantifier, we	qunyanm	2015-11-06
* \|	Merge	leino	2015-11-06
\|\\|
* \|	Updated syntax of test case to remove unnecessary semicolons and parentheses	leino	2015-11-05
* \|	In the VS IDE, don't generate hover-text information for auto-generated ident...	leino	2015-11-05
\| *	Fix issue 104. Use ResolvedExpression to compute subexpressions for	qunyanm	2015-11-04
\| *	Fix issue89. Copy the out param to a local before use it in an anonymous	qunyanm	2015-11-04
\| *	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