debian-dafny - Debian packaging for Dafny

	Commit message (Expand)	Author	Age
*	Fix issue 138. Allow parenthese with the nullary constructor in	qunyanm	2016-02-26
*	Mark old "import A as B" syntax as deprecated. The new syntax is "import A : B"	qunyanm	2016-02-02
*	Implement module export so we can export a subset of items defined in the	qunyanm	2016-01-29
*	Fix build and test failures, cleanup grammar.	Richard L. Ford	2016-01-27
*	Implement 'extern' declaration modifier.	Richard L. Ford	2016-01-27
*	Fix issue 94. Allow tuple-based assignment in statement contexts.	qunyanm	2015-11-14
*	Fix issue 101. Instead of swapping operands for Exp opcode in BinaryExpr,	qunyanm	2015-11-10
*	Introduced new datatype update syntax: D.(f := E)	leino	2015-10-23
*	Parsing and pretty printing of the new "existential guards" of the two kinds ...	leino	2015-10-03
*	Merge.	Clément Pit--Claudel	2015-08-19
\|\
* \|	Refactor the error reporting code	Clément Pit--Claudel	2015-08-18
\| *	Disallow user-defined attributes that begin with an underscore	leino	2015-08-11
\|/
*	Update the VS extension to use the error interface defined in 576eac2e17ff	Clément Pit--Claudel	2015-07-29
*	Merge	Clément Pit--Claudel	2015-07-28
\|\
\| *	Updated parser generation to work with latest update in boogiepartners. Note ...	Rustan Leino	2015-07-27
* \|	Clean up error reporting.	Clément Pit--Claudel	2015-07-27
\|/
*	Fix a bug with includes and /useBaseNameForFileName	Clément Pit--Claudel	2015-07-23
*	Fix: Unify column numbers in Dafny's errors	Clément Pit--Claudel	2015-07-23
*	IronDafny related changes:	Michael Lowell Roberts	2015-07-22
*	Merge	Rustan Leino	2015-07-16
\|\
\| *	Fixed bugs in the parsing of explicit type arguments.	Rustan Leino	2015-07-16
* \|	[IronDafny] implemented workaround for "import opened" bug(s).	Michael Lowell Roberts	2015-07-13
\|/
*	multiple changes...	Michael Lowell Roberts	2015-07-02
*	Add the ability to specify how much "fuel" a function should have,	Bryan Parno	2015-07-01
*	Add a compatibility layer over BigInteger.Parse	ClÃ©ment Pit--Claudel	2015-06-07
*	Add an infinite set collection type.	qunyanm	2015-05-29
*	Fix issue #79. Allow tuple pattern matching with parenthesis only.	qunyanm	2015-05-15
*	Allow MatchExpr and MatchStmt to have nested patterns. Such as	qunyanm	2015-05-14
*	Added "inductive lemma" methods	leino	2015-05-07
*	Added inductive predicates	leino	2015-05-06
*	Eliminate redundant checks of newtype and opaque function well-formedness fro...	chrishaw	2015-04-02
*	Allow trigger annotations in more statements and expressions	chrishaw	2015-03-11
*	Added 'protected' keyword (syntax)	leino	2015-03-07
*	Stop pretty-print from emitting deprecated semi-colons.	qunyanm	2015-03-05
*	Fixed issue #59.	wuestholz	2015-03-03
*	Add imap display/update expressions	chrishaw	2015-02-27
*	Add imap type, which is like map but may have have infinite size	chrishaw	2015-02-26
*	Minor change to grammar to avoid missing token	wuestholz	2015-01-24
*	Switched use of List(IToken) in UserDefinedType to NameSegment/ExprDotName, s...	leino	2015-01-23
*	Added command-line switch /allowGlobals to simplify transition from language ...	leino	2015-01-07
*	Fixed resolution of method calls with explicit type parameters.	leino	2015-01-02
*	Language change: All functions and methods declared lexically outside any cla...	leino	2014-12-12
*	Fixed two crashes in resolver	leino	2014-12-10
*	Merge	leino	2014-12-09
\|\
* \|	Allow user-specified type parameters	leino	2014-12-09
\| *	added multiple trait inheritance.	Reza Ahmadi	2014-12-03
* \|	Fixed parser lookahead bug that had caused an infinite loop.	leino	2014-12-02
* \|	Snapshot, to be continued	leino	2014-12-02
\|/
*	Use arbitrary lookahead to determine if the next expression is a lambda expre...	leino	2014-11-13
*	Took a pass through the whole grammar to clean up allowSemi/allowLambda param...	leino	2014-11-11