debian-dafny - Debian packaging for Dafny

	Commit message (Expand)	Author	Age
*	Merge	leino	2015-09-28
\|\
* \|	Changed computation of ghosts until pass 2 of resolution.	leino	2015-09-28
\| *	Revert part of 1899 (47fd7d09d605, "Fix a check that occasionally led to ...")	Clément Pit--Claudel	2015-09-23
\| *	Auto-merged heads.	Michael Lowell Roberts	2015-09-21
\| \|\
\| \| *	Fix a check that occasionally led to an out of bounds exception in the extension	Bryan Parno	2015-09-17
\| \|/ \|/\|
\| *	Fix for soundness bug discovered in SeqFromArray.	Michael Lowell Roberts	2015-09-17
\|/
*	Fix #90	Clément Pit--Claudel	2015-09-09
*	fix for comparison error in prelude when using /optimize.	Michael Lowell Roberts	2015-08-31
*	Look for z3 in Binaries/z3/bin (but keep the vendored version for convenience)	Clément Pit--Claudel	2015-08-27
*	Set exec flag on Binaries/z3	Clément Pit--Claudel	2015-08-22
*	Fixed compilation that involve enumeration over native-type newtype values.	Rustan Leino	2015-08-20
*	Add a wrapper script around the Dafny binary (for mono).	Clément Pit--Claudel	2015-08-13
*	Add a Linux z3 binary to the repo, and use that or z3.exe based on the OS	Clément Pit--Claudel	2015-07-31
*	Update z3 to 4.4. One test had to be edited.	Clément Pit--Claudel	2015-07-21
*	Fixed bug in BplImp!	leino	2015-07-01
*	Tried to reduce frame-axiom instantiations by saying the earlier heap must be...	leino	2015-06-25
*	System.Collections.Immutable.dll is now stored in the Binaries directory and ...	Michael Lowell Roberts	2015-06-16
*	added -optimize option to compiler.	Michael Lowell Roberts	2015-06-12
*	Fix the Seq#Contain axiom; it should talk about T, not ref.	ClÃ©ment Pit--Claudel	2015-06-07
*	Add an infinite set collection type.	qunyanm	2015-05-29
*	Bumped version to 1.9.4.20428	leino	2015-04-29
*	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
*	Merge	qunyanm	2015-04-06
\|\
* \|	Add z3.exe and z3-license.txt to dafny binary and extension distribution.	qunyanm	2015-04-06
\| *	Fixed some bugs in override axioms (but still missing support for classes wit...	leino	2015-04-05
\|/
*	Add LongLength methods to Set/Map in DafnyRuntime.cs	chrishaw	2015-03-17
*	Beefed up collection axioms (in particular, for maps) to improve the chance o...	Rustan Leino	2015-03-10
*	Removed some old and unused functions	leino	2015-03-09
*	Fix issue #60	qunyanm	2015-03-06
*	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
*	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
*	Various DafnyPrelude.bpl cleanup.	leino	2014-11-01
*	Improved power of axioms Seq#FromArray	leino	2014-10-31
*	Add an option to use reduce Z3's knowledge of non-linear arithmetic.	Bryan Parno	2014-10-24
*	Changed version to 1.9.1.11021	leino	2014-10-21
*	Comparisons and well-founded order of char	leino	2014-10-21
*	Added types "char" and "string" (the latter being a synonym for "seq<char>").	leino	2014-10-20
*	Fixed bugs in previous check-in	leino	2014-08-25
*	Added .Trunc field to real-based types	leino	2014-08-21
*	Compile lambda functions and apply expressions, and change let expr compilation	Dan Rosén	2014-08-12
*	Merge	Dan Rosén	2014-08-11
\|\
* \|	Add higher-order-functions and some other goodies	Dan Rosén	2014-08-11
\| *	Implemented missing routine in runtime system (real-to-int conversion)	leino	2014-07-21
\|/
*	Merge	Dan Rosén	2014-07-07
\|\
* \|	New logical encoding of types with Is and IsAlloc	Dan Rosén	2014-07-07