debian-dafny - Debian packaging for Dafny

	Commit message (Expand)	Author	Age
...
*	Fix issue 108. Use idGenerator to create a new collection name for each	qunyanm	2015-11-18
*	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
*	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
\| *	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
\| *	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
\|/
*	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
*	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
*	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
*	Merge	leino	2015-09-29
\|\
\| *	Fix two test cases that failed if the path to "DafnySever.exe" contained spaces.	wuestholz	2015-09-30
* \|	Removed specContextOnly parameter from ResolveStatement.	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
* \|	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
\|/
*	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
\|\
* \|	Fix some tests by locally disabling auto triggers	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
\| *	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