debian-dafny - Debian packaging for Dafny

	Commit message (Expand)	Author	Age
*	Another variation of GenericSort, this time instantiating with "int"	Rustan Leino	2014-07-14
*	Merge	Rustan Leino	2014-07-14
\|\
* \|	Support for type synonyms in refinements	Rustan Leino	2014-07-14
\| *	Added a test.	wuestholz	2014-07-13
\|/
*	Merge	Rustan Leino	2014-07-11
\|\
* \|	Added type synonyms. (No support yet for these in refinements.)	Rustan Leino	2014-07-11
\| *	Check that type arguments to map display expressions are fully resolved	Dan Rosén	2014-07-11
\| *	Don't assume can calls for quantifiers	Dan Rosén	2014-07-11
\|/
*	Make reveal axioms from opaque functions quantify over layers	Dan Rosén	2014-07-10
*	Added more tests for the more advanced verification result caching.	wuestholz	2014-07-10
*	Worked on the more advanced verification result caching.	wuestholz	2014-07-10
*	Worked on the more advanced verification result caching.	wuestholz	2014-07-10
*	Merge	Rustan Leino	2014-07-09
\|\
* \|	Improved AnalyzeList encoding in a way that performs way better.	Rustan Leino	2014-07-09
* \|	Include an explicit trigger to make NumberRepresentations.dfy behave more con...	Rustan Leino	2014-07-09
* \|	Ignore checked-only and free-only split expressions in places where they "don...	Rustan Leino	2014-07-09
\| *	Worked on the more advanced verification result caching.	wuestholz	2014-07-09
\|/
*	Build VS Extension for both VS 2012 and VS 2013.	Rustan Leino	2014-07-08
*	Further resolved merge conflicts	Rustan Leino	2014-07-08
*	Merge	Rustan Leino	2014-07-08
\|\
* \|	Test cases for int<->real conversions	Rustan Leino	2014-07-08
* \|	Cleaned up a test program	Rustan Leino	2014-07-08
* \|	Implemented compilation of the int<->real conversions, and changed the resolu...	Rustan Leino	2014-07-08
\| *	Tidy up two files in test suite	Dan Rosen	2014-07-07
\| *	Merge	Dan Rosén	2014-07-07
\| \|\
\| * \|	Fixes to vim highlighting	Dan Rosén	2014-07-07
\| * \|	New logical encoding of types with Is and IsAlloc	Dan Rosén	2014-07-07
\| \| *	Merge	leino	2014-07-03
\| \| \|\
\| \| * \|	Translate CanCallAssumption with the same fuel value as in the body of the fu...	leino	2014-07-03
\| \| \| *	Changed "dummy" checksums to "stable" and added more tests for the verificati...	wuestholz	2014-07-03
* \| \| \|	Updated expected test results for previous check-in	Rustan Leino	2014-07-02
* \| \| \|	Fixed a crash in the translation of fresh(seq<T>).	Rustan Leino	2014-07-02
\| \|_\|/ \|/\| \|
\| \| *	Merge	leino	2014-07-02
\| \| \|\ \| \|_\|/ \|/\| \|
\| \| *	Allow array-type parameters to be filled in automatically.	leino	2014-07-02
* \| \|	DafnyExtension: Worked on adding support for Visual Studio 2013.	wuestholz	2014-07-02
\| \| *	Merge	leino	2014-07-01
\| \| \|\ \| \|_\|/ \|/\| \|
* \| \|	Dispose DafnyTokenTagger	Rustan Leino	2014-07-01
* \| \|	Color nested comments correctly in the Dafny IDE	Rustan Leino	2014-07-01
* \| \|	Removed the old test infrastructure.	wuestholz	2014-07-01
* \| \|	Added support for verifying Dafny program snapshots from the command-line.	wuestholz	2014-07-01
* \| \|	Minor change due to change in Boogie	wuestholz	2014-06-28
* \| \|	Minor change due to change in Boogie	wuestholz	2014-06-28
* \| \|	Added tuples and tuple types. Syntax is the expected one, namely parentheses ...	Rustan Leino	2014-06-27
\| \| *	Merge	leino	2014-06-24
\| \| \|\ \| \|_\|/ \|/\| \|
* \| \|	Merge	Rustan Leino	2014-06-24
\|\ \ \
\| \| \| *	Merge	leino	2014-06-24
\| \| \|/\| \| \|/\| \|
* \| \| \|	Make syntax of "match" expressions and "match" statements the same -- curly b...	Rustan Leino	2014-06-24
\| * \| \|	Use the new pretty-printing functionality in Boogie. Disable with "/pretty:0"	Dan Rosén	2014-06-24
\|/ / /
* \| \|	Merge	Rustan Leino	2014-06-24
\|\ \ \
* \| \| \|	Added some axioms about seq-to-multiset conversions	Rustan Leino	2014-06-24