debian-dafny - Debian packaging for Dafny

	Commit message (Collapse)	Author	Age
*	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