debian-dafny - Debian packaging for Dafny

	Commit message (Collapse)	Author	Age
*	Fix: Unify column numbers in Dafny's errors	Clément Pit--Claudel	2015-07-23
\| \| \| \| \| \| \| \| \|	Dafny counts from 0, but Boogie counts from 1. Tokens are 1-based. Thus when we print tokens, we need to decrement the column number. This was done for resolver errors, but not for verification or parsing errors. In addition, parsing errors were inconsistent with resolution errors case-wise. Unfortunately, the fix affects the output of many tests.
*	clarified error message that occurs when the "opened" keyword is left off of ↵	Michael Lowell Roberts	2015-07-20
\| \| \| \|	a module import.
*	Fixed crashes in overrides checking of function decreases clauses, and ↵	Rustan Leino	2015-07-07
\| \| \| \|	improved the error message reported to users
*	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 ↵	leino	2015-04-07
\| \| \| \|	functions/methods don't work yet)
*	Fixed compilation of static members in traits	leino	2015-04-05
\|
*	Fixed some bugs in override axioms (but still missing support for classes ↵	leino	2015-04-05
\| \| \| \| \| \| \|	with type parameters). Resolve ClassDecl.TraitsTyp as types. Moved declaration of TraitParent and NoTraitAtAll to prelude.
*	Whitespace deltas in test files (in particular, removing tabs and adjusting ↵	leino	2015-04-03
\| \| \| \|	some indentation)
*	Added test cases and fixes for overrides termination checks	leino	2015-04-03
\| \| \| \|	Removed syntactic presence checks for specifications--these will be checked semantically by the verifier
*	Merge	leino	2014-12-09
\|\
\| *	minor change on a test.	Reza Ahmadi	2014-12-03
\| \|
\| *	added multiple trait inheritance.	Reza Ahmadi	2014-12-03
\| \| \| \| \| \| \| \|	- a class can now extend more than one traits
* \|	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
\|/ \| \| \|	- added one more test
*	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
\| \| \| \| \| \| \|	=> ResolvedClass in userdefinedtypes used to be null-> fixed - checking only bodyless methods and functions to make sure they have been implemented in the child class - added one more test
*	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 one more test
*	added trait feature:	Reza Ahmadi	2014-07-18
	-possibility to declare traits in Dafny -possibility to extend a class by a trait -possibility to override body-less methods