debian-dafny - Debian packaging for Dafny

	Commit message (Expand)	Author	Age
...
*	Fixed crash in resolution where, after reporting an error, the cases #type an...	Rustan Leino	2015-07-29
*	Clean up error reporting.	Clément Pit--Claudel	2015-07-27
*	Fix: Visual studio did not show warnings.	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
*	Merge my autoTriggers work into the master branch	Clément Pit--Claudel	2015-07-17
\|\
* \|	Fix column numbers in warning and info messages	Clément Pit--Claudel	2015-07-16
\| *	Merge	Rustan Leino	2015-07-16
\| \|\
\| \| *	Fixed bugs in the parsing of explicit type arguments.	Rustan Leino	2015-07-16
\| * \|	[IronDafny] fix for ambiguous identifier error.	Michael Lowell Roberts	2015-07-15
* \| \|	Fix broken interaction between triggers and inlining of function calls	Clément Pit--Claudel	2015-07-14
* \| \|	Add /printTooltips and /autoTriggers to the CLI	Clément Pit--Claudel	2015-07-13
* \| \|	Make attributes enumerable.	Clément Pit--Claudel	2015-07-13
\| * \|	[IronDafny] implemented workaround for "import opened" bug(s).	Michael Lowell Roberts	2015-07-13
\| \|/
\| *	Report warnings only once. (This is the last step in fixing Issue #86.)	Rustan Leino	2015-07-06
* \|	Small refactoring of Printer.cs	Clément Pit--Claudel	2015-07-06
\| *	Merge	Rustan Leino	2015-07-02
\| \|\
\| * \|	Added command-line option /warnShadowing, which emits warnings if variables s...	Rustan Leino	2015-07-02
\| * \|	Type parameters in method/function signatures are no longer auto-declared. A...	Rustan Leino	2015-07-02
\| \| *	multiple changes...	Michael Lowell Roberts	2015-07-02
\| \|/
\| *	Made code contracts compliant	leino	2015-07-01
\| *	Add the ability to specify how much "fuel" a function should have,	Bryan Parno	2015-07-01
\| *	Fix identifiers in nested match patterns not showing in the IDE bug. Remember	qunyanm	2015-06-29
\|/
*	Fix issue #85. Only try to interpret an identifier as a datatype constructor	qunyanm	2015-06-22
*	Fix various bugs in nested match patterns listed in issue #83	qunyanm	2015-06-19
*	Fix some issues when compiling generic types and generic function method calls	Bryan Parno	2015-06-08
*	Add an infinite set collection type.	qunyanm	2015-05-29
*	Merge	Rustan Leino	2015-05-29
\|\
* \|	Changes to ComputeFreeVariables--bug fix as well as beautification	Rustan Leino	2015-05-29
\| *	Allow MatchExpr and MatchStmt to have nested patterns. Such as	qunyanm	2015-05-14
\| *	Don't include arrow types among ordered types.	leino	2015-05-11
\| *	Added "inductive lemma" methods	leino	2015-05-07
\| *	Added inductive predicates	leino	2015-05-06
\|/
*	Fix issue #72. Add the constructor questionmark to a function's axiom if the	qunyanm	2015-04-24
*	Rearranged handling ambiguously named declarations, so that the multitudes of...	Rustan Leino	2015-04-22
*	Fix issue #70. Check the ctors for equality before marking them as duplicates.	qunyanm	2015-04-21
*	Fix issue #69. If we can't find a member in classMembers, search the static	qunyanm	2015-04-17
*	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 some bugs in override axioms (but still missing support for classes wit...	leino	2015-04-05
*	Added test cases and fixes for overrides termination checks	leino	2015-04-03
*	Fix issue 61. Decreases are by default in ghost context. Therefore,	qunyanm	2015-03-31
*	Optimize datatype/tuple update expression to coalesce adjacent updates into a...	chrishaw	2015-03-17
*	Fixed merge issues	leino	2015-03-13
*	Merge	leino	2015-03-13
\|\
* \|	Allow let-such-that expression to be compiled, provided that they provably ha...	leino	2015-03-13
\| *	Allow trigger annotations in more statements and expressions	chrishaw	2015-03-11
\|/
*	Fixed bug in resolution of illegal programs.	leino	2015-03-10
*	This changeset changes the default visibility of a function/predicate body ou...	leino	2015-03-09
*	Added 'protected' keyword (syntax)	leino	2015-03-07