debian-dafny - Debian packaging for Dafny

	Commit message (Expand)	Author	Age
*	Syntax highlighting for reals	Rustan Leino	2014-02-13
*	Fixed crash in parser	Rustan Leino	2014-02-13
*	Fix soundness bug (Issue #9 on dafny.codeplex.com) in function axiom for lite...	Rustan Leino	2014-02-13
*	Preliminary support for reals in Dafny specs. No compiler suport yet.	Bryan Parno	2014-02-10
*	Fixed bug in DafnyExtension (hover text computation would crash if Translator...	Rustan Leino	2014-02-06
*	Removed some blank lines at the end of hover texts.	Rustan Leino	2014-02-06
*	Merge	Rustan Leino	2014-02-04
\|\
* \|	Mark auto-generated expressions (in "decreases" clauses) and don't use these ...	Rustan Leino	2014-02-04
\| *	Provide more detailed feedback for errors involving if-then-else	Bryan Parno	2014-02-03
\|/
*	Fixed bug that misclassified a ghost statement	Rustan Leino	2014-01-31
*	Compile to .exe only if the Main method has no user-defined preconditions.	Rustan Leino	2014-01-31
*	Produce hover text for many of the refinement omissions (i.e., "..." and the ...	Rustan Leino	2014-01-31
*	Fix a bug in the interaction between opaque and generics	Bryan Parno	2014-01-23
*	Fix minor issue in compilation of main methods.	wuestholz	2014-01-17
*	Version 1.8.0.10115 release candidate	Rustan Leino	2014-01-15
*	Merge	Rustan Leino	2014-01-14
\|\
* \|	Improve error information by generating "Related location" information that t...	Rustan Leino	2014-01-14
\| *	Added a missing autoReq resolution step	Bryan Parno	2014-01-14
\| *	Merge	Bryan Parno	2014-01-13
\| \|\ \| \|/ \|/\|
\| *	Improve autoReq's interactions with opaque	Bryan Parno	2014-01-13
* \|	Supply C# compiler switch /nowarn:0219, which suppresses any warning CS0219 a...	Rustan Leino	2014-01-13
* \|	Merge	Rustan Leino	2014-01-13
\|\\|
* \|	Added /compile:3, which compiles in memory and then executes the program (if ...	Rustan Leino	2014-01-13
\| *	Small fix to the order in which AutoReq adds its requirements.	Bryan Parno	2014-01-13
\|/
*	Fixed spurious complaint about assignment to non-ghost variable	Rustan Leino	2014-01-11
*	A better fix to deal with StaticReceiverTypes affected by autoReq.	Bryan Parno	2014-01-10
*	Fixed a resolve bug for UserDefinedTypes	Bryan Parno	2014-01-09
*	Manually adjusted merge	Rustan Leino	2014-01-08
*	Merge	Rustan Leino	2014-01-08
\|\
* \|	Allow left-hand sides of a let expression to be patterns (like in the case of...	Rustan Leino	2014-01-08
\| *	Fixed build break: two contract problems	Rustan Leino	2014-01-08
\| *	:autoReq now works with static functions.	Bryan Parno	2014-01-08
\| *	Add autoReq support for matches.	Bryan Parno	2014-01-08
\| *	Added support for automatic generation of function requirements via the :auto...	Bryan Parno	2014-01-08
\| *	Don't produce default decreases clause for co-predicates, since co-predicates...	Rustan Leino	2014-01-07
\| *	One more file to go with the previous check-in (DafnyRuntime.cs apparently ge...	Rustan Leino	2014-01-06
\| *	Compile assign-such-that for all integers, not just ones where a bound is found	Rustan Leino	2014-01-06
\|/
*	More thoroughly check for nested assume statements during compilation	Rustan Leino	2014-01-05
*	Added ghost let expressions.	Rustan Leino	2014-01-05
*	Improved the name-clashing situation when substituting to produce printable A...	Rustan Leino	2014-01-03
*	Merge	Rustan Leino	2014-01-03
\|\
\| *	Make ModuleDefinition inherit from TopLevelDecl instead of just Declaration	Bryan Parno	2014-01-03
* \|	Allow "match" expressions anywhere	Rustan Leino	2014-01-03
* \|	No longer specialize axioms Haskell-style for functions whose bodies contains...	Rustan Leino	2014-01-03
* \|	Print and translate "match" expressions in general positions, not just at the...	Rustan Leino	2014-01-03
\|/
*	Hover text for inferred postconditions of 'forall' statements (the one for ca...	Rustan Leino	2013-12-30
*	Merge	Rustan Leino	2013-12-30
\|\
* \|	Added proper parsing for StmtExpr's in all contexts.	Rustan Leino	2013-12-30
\| *	Pass on attributes for methods, iterators, and functions to Boogie.	wuestholz	2013-12-26
\| *	DafnyExtension: Reduce the default number of Z3 instances by one.	wuestholz	2013-12-26