debian-dafny - Debian packaging for Dafny

	Commit message (Expand)	Author	Age
*	Release for unstableHEAD master	Benjamin Barenblat	2016-06-05
*	Patch Dafny to use the system Z3	Benjamin Barenblat	2016-06-05
*	Update debian/gbp.conf	Benjamin Barenblat	2016-06-05
*	Update debian/copyright	Benjamin Barenblat	2016-06-05
*	Update debian/copyright	Benjamin Barenblat	2016-06-05
*	Update debian/control	Benjamin Barenblat	2016-06-05
*	Bump debian/changelog	Benjamin Barenblat	2016-06-05
*	Merge commit 'df5c5f5'	Benjamin Barenblat	2016-05-30
\|\
* \|	Update dependencies and Standards-Version	Benjamin Barenblat	2016-04-06
\| *	New version number 1.9.7.30401, for binary release on Codeplex and Rise4fun.	leino	2016-04-01
\| *	Merge	leino	2016-04-01
\| \|\
\| * \|	New test file, for recursive and iterative versions of McCarthy's 91 function	leino	2016-04-01
\| * \|	New test case, proving monad laws for lists	leino	2016-04-01
\| \| *	Fix issue 148. The results for sign comparison for BigRational.CompareTo was	qunyanm	2016-04-01
\| \|/
\| *	Allow modifies clauses for a "Main" method annotated with {:main} attribute.	qunyanm	2016-03-31
\| *	Fix issue 143. The list that stores the function fuel constants was declared as	qunyanm	2016-03-31
\| *	Merge	qunyanm	2016-03-31
\| \|\
\| * \|	Fix issue 75. Adjust the fuel for existentials to use more fuel in an assume	qunyanm	2016-03-31
\| \| *	Add a wrapper for DafnyServer.exe	Clément Pit--Claudel	2016-03-30
\| \|/
\| *	Allow users to annontate a method as main with {:main} attribute. It’s an e...	qunyanm	2016-03-28
\| *	Make /autoTriggers:1 to be default. Add /autoTriggers:0 to tests that requires	qunyanm	2016-03-28
\| *	Update module export error messages. Also for "import Y" if there is at least	qunyanm	2016-03-21
\| *	Fix issue 93. Add per-function fuel setting that can be adjusted locally based	qunyanm	2016-03-18
\| *	Added test case to go with the recent fix of Issue #49 (changeset f354709009a5).	Rustan Leino	2016-03-01
\| *	Merge	Rustan Leino	2016-03-01
\| \|\
\| * \|	Revised the $Is and $IsAlloc axioms for arrow terms. It is now possible to	Rustan Leino	2016-03-01
\| * \|	Added a return-value contract	Rustan Leino	2016-02-29
\| \| *	Revert change 1997 (bfe7c149bef1). IDE performance. Don't delay the resolver	qunyanm	2016-02-29
\| \| *	Fix issue 139. Allow bound variables in nested case patterns to shadow variables	qunyanm	2016-02-26
\| \|/
\| *	Merge	Rustan Leino	2016-02-26
\| \|\
\| * \|	Changes to CanCall assumptions:	Rustan Leino	2016-02-26
\| \| *	Fix issue 138. Allow parenthese with the nullary constructor in	qunyanm	2016-02-26
\| \| *	Fix test failure. Print the resulting boogie code to a file instead	qunyanm	2016-02-26
\| \| *	Fix issue 140. Move the initializion of _this before the TAIL_CALL_START label.	qunyanm	2016-02-26
\| \| *	Fix issue 136. Less aggressive Lit wrap for assert/assume.	qunyanm	2016-02-26
\| \|/
\| *	Update the test's .expect file since the fix is merged into boogie.	qunyanm	2016-02-12
\| *	Fix issue 132. The formal argument can't be assume to be allocated when a	qunyanm	2016-02-12
\| *	Fix issue 134. Wrong variable was used in the loop.	qunyanm	2016-02-11
\| *	Fix issue 133. The return type for some compare operators was wrongly typed	qunyanm	2016-02-11
\| *	Add /view:<view1, view2> option to filter module exports to be printed.	qunyanm	2016-02-11
\| *	Merge	qunyanm	2016-02-09
\| \|\
\| * \|	Fix issue 131. Instead of crashing, report an error when an undefined member of	qunyanm	2016-02-09
\| \| *	Renamed identifiers for increased geopolitical appeal	Rustan Leino	2016-02-08
\| \|/
\| *	Fix issue 120. Need to wrap operations that are "lit lifted" and turned into	qunyanm	2016-02-08
\| *	Fix issue 124. Consider math operators that later turned into function calls	qunyanm	2016-02-08
\| *	Last checkin checked in the wrong version of bug125.dfy. The failure part of	qunyanm	2016-02-05
\| *	Fix issue 125. Add the missing case 2 and 3 with refinement and opened imports.	qunyanm	2016-02-05
\| *	Fix issue 128. Change the translation of CanCallAssumption for let-such-that	qunyanm	2016-02-04
\| *	Fix issue 129. When looking for a constructor for which Dafny knows how to	qunyanm	2016-02-02
\| *	Mark old "import A as B" syntax as deprecated. The new syntax is "import A : B"	qunyanm	2016-02-02