debian-dafny - Debian packaging for Dafny

	Commit message (Expand)	Author	Age
...
*	Unfinished code -- please forgive (I'm switching machines and will fix shortly)	Rustan Leino	2014-02-24
*	Refactored code for dealing with SCCs in the call graph.	Rustan Leino	2014-02-24
*	Minor clean-up in a couple of test files.	Rustan Leino	2014-02-24
*	Fixed bugs in co-call checks	Rustan Leino	2014-02-23
*	Added another colemma-calls-function-recursively test	Rustan Leino	2014-02-23
*	Fixed some checking of recursive method/copredicate calls	Rustan Leino	2014-02-23
*	Fixed build-break typo	Rustan Leino	2014-02-23
*	Deprecated "comethod" keyword in favor of "colemma". (Also, "prefix method" -...	Rustan Leino	2014-02-23
*	Allow unary minus on reals	Rustan Leino	2014-02-13
*	Syntax highlighting for reals	Rustan Leino	2014-02-13
*	New test file: dafny4/NumberRepresentations.dfy	Rustan Leino	2014-02-13
*	Fixed crash in parser	Rustan Leino	2014-02-13
*	Added to the test suite a Dafny version of Basics.v from the "Software Founda...	Rustan Leino	2014-02-13
*	Increased space around "..." in latex style for Dafny.	Rustan Leino	2014-02-13
*	Fix soundness bug (Issue #9 on dafny.codeplex.com) in function axiom for lite...	Rustan Leino	2014-02-13
*	Updated test suite after a Boogie bug fix for reals	Rustan Leino	2014-02-10
*	Merge	Bryan Parno	2014-02-10
\|\
* \|	Add basic tests for reals	Bryan Parno	2014-02-10
\| *	Italicize attributes in latex mode for Dafny	Rustan Leino	2014-02-10
\|/
*	Preliminary support for reals in Dafny specs. No compiler suport yet.	Bryan Parno	2014-02-10
*	Added examples from the Kozen and Silva paper "Practical Coinduction".	Rustan Leino	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
\| *	Some simplifications to the proof of GHC MergeSort.	Rustan Leino	2014-02-01
\|/
*	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
*	Added an alternative statement of the prime theorem	Rustan Leino	2014-01-24
*	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
\|/
*	Proof that there is no bound on the size of prime numbers	Rustan Leino	2014-01-11
*	Fixed spurious complaint about assignment to non-ghost variable	Rustan Leino	2014-01-11
*	Merge	Rustan Leino	2014-01-11
\|\
\| *	A better fix to deal with StaticReceiverTypes affected by autoReq.	Bryan Parno	2014-01-10
* \|	Merge	Rustan Leino	2014-01-10
\|\\|
* \|	GHC-MergeSort: removed lemmas and proof steps rendered unnecessary now that a...	Rustan Leino	2014-01-09
\| *	Merge	Bryan Parno	2014-01-09
\| \|\ \| \|/ \|/\|