debian-dafny - Debian packaging for Dafny

	Commit message (Expand)	Author	Age
*	Fix for soundness bug discovered in SeqFromArray.	Michael Lowell Roberts	2015-09-17
*	fix for comparison error in prelude when using /optimize.	Michael Lowell Roberts	2015-08-31
*	Fixed compilation that involve enumeration over native-type newtype values.	Rustan Leino	2015-08-20
*	added -optimize option to compiler.	Michael Lowell Roberts	2015-06-12
*	HashCode for Set/MultiSet/Map should be independent of the order of the	qunyanm	2015-04-17
*	Change GetHashCode for Set, MultiSet and Map	qunyanm	2015-04-16
*	Fix issue #68. Change GetHashCode implementation for Sequence.	qunyanm	2015-04-14
*	Add LongLength methods to Set/Map in DafnyRuntime.cs	chrishaw	2015-03-17
*	Fix issue #60	qunyanm	2015-03-06
*	Optimization to nativeType: have EuclideanModulus_sbyte and EuclideanModulus_...	chrishaw	2014-12-11
*	Optimization to nativeType: have EuclideanDivision_sbyte and EuclideanDivisio...	chrishaw	2014-12-09
*	Add nativeType attribute for newtype declarations. Change Compiler.cs to use...	chrishaw	2014-12-09
*	Added types "char" and "string" (the latter being a synonym for "seq<char>").	leino	2014-10-20
*	Compile lambda functions and apply expressions, and change let expr compilation	Dan Rosén	2014-08-12
*	Implemented missing routine in runtime system (real-to-int conversion)	leino	2014-07-21
*	Compile reals	Rustan Leino	2014-04-13
*	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
\| *	Compile assign-such-that for all integers, not just ones where a bound is found	Rustan Leino	2014-01-06
\|/
*	The "choose" statement, hacky and specialized as it was, is now gone. Use th...	Rustan Leino	2013-03-27
*	Replaced SuperSetBoundedPool by SubSetBoundedPool, which is much more useful ...	Rustan Leino	2013-03-27
*	Fixed some build/migration issues	Rustan Leino	2012-10-04