debian-dafny - Debian packaging for Dafny

	Commit message (Expand)	Author	Age
*	Fix: Unify column numbers in Dafny's errors	Clément Pit--Claudel	2015-07-23
*	clarified error message that occurs when the "opened" keyword is left off of ...	Michael Lowell Roberts	2015-07-20
*	Fixed crashes in overrides checking of function decreases clauses, and improv...	Rustan Leino	2015-07-07
*	Improvements in traits test case	leino	2015-05-29
*	Include axioms about $Is and $IsAlloc for traits	leino	2015-04-07
*	Support calls to static trait methods/functions via the class	leino	2015-04-07
*	Revised look-up and compilation of inherited trait members (static functions/...	leino	2015-04-07
*	Fixed compilation of static members in traits	leino	2015-04-05
*	Fixed some bugs in override axioms (but still missing support for classes wit...	leino	2015-04-05
*	Whitespace deltas in test files (in particular, removing tabs and adjusting s...	leino	2015-04-03
*	Added test cases and fixes for overrides termination checks	leino	2015-04-03
*	Merge	leino	2014-12-09
\|\
\| *	minor change on a test.	Reza Ahmadi	2014-12-03
\| *	added multiple trait inheritance.	Reza Ahmadi	2014-12-03
* \|	Snapshot, to be continued	leino	2014-12-02
\| *	removing one unnessessary check in the cloner	Reza Ahmadi	2014-12-02
\| *	- fixed a bug in merging fields that come from a parent trait	Reza Ahmadi	2014-12-02
\|/
*	Resolved further merge issues	leino	2014-08-05
*	added one more test case	Reza Ahmadi	2014-07-31
*	combined few tests	Reza Ahmadi	2014-07-31
*	combined two tests	Reza Ahmadi	2014-07-31
*	added one more test.	Reza Ahmadi	2014-07-20
*	- fixed a bug in inheriting members from a trait	Reza Ahmadi	2014-07-20
*	fixed one .expect file. now all 11 tests related to Traits pass.	Reza Ahmadi	2014-07-20
*	- fixed an issue regarding including ghost functions in the compiled interface	Reza Ahmadi	2014-07-20
*	added trait feature:	Reza Ahmadi	2014-07-18