debian-dafny - Debian packaging for Dafny

	Commit message (Expand)	Author	Age
...
* \| \| \|	Added some axioms about seq-to-multiset conversions	Rustan Leino	2014-06-24
* \| \| \|	Invert LHS sub-expressions in forall assignment statements, which gives the o...	Rustan Leino	2014-06-24
\| * \| \|	DafnyExtension: Made it possible to activate the more advanced verification r...	wuestholz	2014-06-23
\| \| * \|	DafnyExtension: Minor change to deal with a change in the Boogie command-line...	wuestholz	2014-06-20
\| * \| \|	DafnyExtension: Minor change to deal with a change in the Boogie command-line...	wuestholz	2014-06-20
\|/ / /
\| \| *	Merge	leino	2014-06-16
\| \| \|\ \| \|_\|/ \|/\| \|
\| \| *	Add support doing computations over sequences	leino	2014-06-16
\| \| *	Clarified a refinement point in a test file	leino	2014-06-16
* \| \|	Specialized Lit function for int and real (leaving all other cases polymorphi...	Rustan Leino	2014-06-10
\| \|/ \|/\|
\| *	Made the snapshotable trees test "unsupported" instead of "unresolved".	wuestholz	2014-06-05
* \|	Made the snapshotable trees test "unsupported" instead of "unresolved".	wuestholz	2014-06-05
* \|	Improved axiom that knows that array-to-sequence converstion depends only on ...	Rustan Leino	2014-06-04
\| *	Fixed issues with absolute file names in the expected output for the lit tests.	wuestholz	2014-06-04
* \|	Fixed issues with absolute file names in the expected output for the lit tests.	wuestholz	2014-06-04
* \|	Added support for 'dirty' forall statements.	chmaria	2014-06-03
\|/
*	Set up the same test infrastructure as in Boogie.	wuestholz	2014-05-29
*	Fixed bug in resolution, where type proxies involved in equality tests did no...	Rustan Leino	2014-05-07
*	Fixed some bugs where various attributes were not properly visited during typ...	Rustan Leino	2014-05-05
*	DafnyExtension: Made it display the compilation output in the VS output pane.	wuestholz	2014-04-21
*	Add support for assumption variables.	wuestholz	2014-04-21
*	DafnyExtension: Added some support for logging program snapshots that are sen...	wuestholz	2014-04-21
*	Fixed bug #33.	Rustan Leino	2014-04-19
*	Version 1.8.2.10419, binary release and (except for the "include" update in t...	Rustan Leino	2014-04-19
*	Members included from different files are now internally marked with an Inclu...	Rustan Leino	2014-04-19
*	Fixed bug #32 dafny.codeplex.com.	Rustan Leino	2014-04-15
*	Cleaned up some no longer needed parentheses in test file	Rustan Leino	2014-04-15
*	Run-time real support	Rustan Leino	2014-04-13
*	Compile reals	Rustan Leino	2014-04-13
*	Allow reals in decreases clauses	Rustan Leino	2014-04-08
*	Merge	Rustan Leino	2014-04-04
\|\
* \|	Fixed refinement of modify statements	Rustan Leino	2014-04-04
\| *	Partial support for slicing a sequence using lengths, rather than indices.	Bryan Parno	2014-04-04
\|/
*	Adjusted merge	Rustan Leino	2014-04-04
*	Merge	Rustan Leino	2014-04-04
\|\
* \|	Also include lower set bounds (bounding a set from below) in witness guesses ...	Rustan Leino	2014-04-04
* \|	Support the transition from "modify Frame;" to "modify Frame { Body }" by ref...	Rustan Leino	2014-04-04
* \|	Changed an error from a verification error to a syntactic (resolution) error	Rustan Leino	2014-04-04
* \|	Added "modify Frame { Body }" statement.	Rustan Leino	2014-04-04
* \|	Added "modify" statement.	Rustan Leino	2014-04-03
\| *	Basic support for datatype-update syntatic sugar	Bryan Parno	2014-04-03
\|/
*	DafnyExtension: Fixed a concurrency issue.	wuestholz	2014-04-03
*	Improvements in sequence axioms to make checking more automatic.	Rustan Leino	2014-04-02
*	Bumped version to 1.8.1.10324. To go onto rise4fun and as a binary drop.	Rustan Leino	2014-03-24
*	Merge	Rustan Leino	2014-03-24
\|\
* \|	Reduced noise in BVD display of temporary variables of the translation	Rustan Leino	2014-03-24
\| *	Auto-set type arguments of built-in collection types, just like for user-defi...	Rustan Leino	2014-03-21
\| *	Fixed typo in latex style file	Rustan Leino	2014-03-20
\|/
*	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
*	Propagate literals through equality operations.	Nada Amin	2014-03-19