debian-dafny - Debian packaging for Dafny

	Commit message (Expand)	Author	Age
*	Fix issue #67. Check SupportsEquality before determining whether to emit Equals	qunyanm	2015-04-13
*	Revised look-up and compilation of inherited trait members (static functions/...	leino	2015-04-07
*	Fixed missing case in previous check-in	leino	2015-04-05
*	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
*	Fix issue #62. Check for modifies clause and constructors in the enclosing	qunyanm	2015-03-31
*	Allow let-such-that expression to be compiled, provided that they provably ha...	leino	2015-03-13
*	Fixed bug in resolution of illegal programs.	leino	2015-03-10
*	Generate unique IDs hierarchically, to reduce changes to IDs when the program...	leino	2015-01-28
*	Did some refactoring to improve the name generation.	wuestholz	2015-01-28
*	Did some refactoring to improve the name generation.	wuestholz	2015-01-27
*	Did some refactoring to improve the name generation.	wuestholz	2015-01-27
*	Did some refactoring to improve the name generation.	wuestholz	2015-01-27
*	Add nativeType attribute for newtype declarations. Change Compiler.cs to use...	chrishaw	2014-12-09
*	fixed a minor bug: null checking.	Reza Ahmadi	2014-12-03
*	added multiple trait inheritance.	Reza Ahmadi	2014-12-03
*	- fixed a bug in merging fields that come from a parent trait	Reza Ahmadi	2014-12-02
*	Bug fixes in the compilation of forall statements.	leino	2014-11-13
*	Now the parser parses "Type" rather than "IToken" for a trait	Reza Ahmadi	2014-11-05
*	Extracted a separate class to generate fresh variable names.	wuestholz	2014-11-06
*	Refactored the generation of unique IDs for temporary variable names.	wuestholz	2014-11-05
*	Added initial support for dirty while statements.	chmaria	2014-11-01
*	Comparisons and well-founded order of char	leino	2014-10-21
*	Add char literals.	leino	2014-10-20
*	Added types "char" and "string" (the latter being a synonym for "seq<char>").	leino	2014-10-20
*	Refactored ArrowType's to be resolved with other types. ArrowTypeDecl's are n...	leino	2014-08-27
*	Refactoring: renamed DerivedTypeDecl to NewtypeDecl	leino	2014-08-26
*	Implemented arbitrary numeric conversions (but name resolution still needs wo...	leino	2014-08-25
*	Support for non-constrained derived types ("new types").	leino	2014-08-21
*	Start of derived types (aka "new types")	leino	2014-08-20
*	Refactor: Change ApplyExpr's Receiver to Function	Dan Rosén	2014-08-14
*	Compile lambda functions and apply expressions, and change let expr compilation	Dan Rosén	2014-08-12
*	Merge	Dan Rosén	2014-08-11
\|\
* \|	Add higher-order-functions and some other goodies	Dan Rosén	2014-08-11
\| *	Merge	leino	2014-08-02
\| \|\
\| * \|	Fixed bug Issue 37: expand type synonyms in more (hopefully all) places in th...	leino	2014-08-02
\|/ /
\| *	- fixed an issue regarding including ghost functions in the compiled interface	Reza Ahmadi	2014-07-20
\| *	added trait feature:	Reza Ahmadi	2014-07-18
\|/
*	Renamed "arbitrary type" to "opaque type"	Rustan Leino	2014-07-15
*	Added type synonyms. (No support yet for these in refinements.)	Rustan Leino	2014-07-11
*	Implemented compilation of the int<->real conversions, and changed the resolu...	Rustan Leino	2014-07-08
*	Added tuples and tuple types. Syntax is the expected one, namely parentheses ...	Rustan Leino	2014-06-27
*	Added support for 'dirty' forall statements.	chmaria	2014-06-03
*	Fixed bug in resolution, where type proxies involved in equality tests did no...	Rustan Leino	2014-05-07
*	DafnyExtension: Made it display the compilation output in the VS output pane.	wuestholz	2014-04-21
*	Compile reals	Rustan Leino	2014-04-13
*	Merge	Rustan Leino	2014-04-04
\|\
* \|	Added "modify Frame { Body }" statement.	Rustan Leino	2014-04-04
* \|	Added "modify" statement.	Rustan Leino	2014-04-03
\| *	Basic support for datatype-update syntatic sugar	Bryan Parno	2014-04-03
\|/