debian-dafny - Debian packaging for Dafny

	Commit message (Expand)	Author	Age
*	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
\| *	Added some axioms about seq-to-multiset conversions	Rustan Leino	2014-06-24
\| *	Specialized Lit function for int and real (leaving all other cases polymorphi...	Rustan Leino	2014-06-10
\| *	Improved axiom that knows that array-to-sequence converstion depends only on ...	Rustan Leino	2014-06-04
\|/
*	Compile reals	Rustan Leino	2014-04-13
*	Improvements in sequence axioms to make checking more automatic.	Rustan Leino	2014-04-02
*	Added axiom to transfer array element-type information onto the elements them...	Rustan Leino	2014-03-20
*	Fixed problem with propagating allocation information about array elements.	Rustan Leino	2014-03-20
*	Removed an apparently unneeded trigger.	Rustan Leino	2014-03-06
*	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
*	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
\|/
*	Print and translate "match" expressions in general positions, not just at the...	Rustan Leino	2014-01-03
*	Embellished axioms about GenericAlloc and DtAlloc.	Rustan Leino	2014-01-03
*	Fix some things due to changes in Boogie (execution engine API, 'UnivBackPred...	wuestholz	2013-12-09
*	Fixed build failures due to changes in Boogie.	wuestholz	2013-11-23
*	Fixed typo in build script	Rustan Leino	2013-08-06
*	Merge	Rustan Leino	2013-08-06
\|\
\| *	Updated 'PrepareDafnyZip.bat'.	wuestholz	2013-08-05
* \|	Unified function/method context heights	Rustan Leino	2013-08-04
\|/
*	Changed the encoding of recursive functions. Previous, three hardcoded layer...	Rustan Leino	2013-08-02
*	Axioms that relate (multi)set cardinality with (multi)set difference.	Rustan Leino	2013-07-16
*	Computations!	Unknown	2013-07-04
*	Changed ranking function for Seq, so that it's compatible with data types.	Unknown	2013-06-26
*	Beefed up axioms about cardinality and the empty (multi)set, which fixes Issu...	Rustan Leino	2013-06-20