debian-dafny - Debian packaging for Dafny

	Commit message (Expand)	Author	Age
...
* \|	Dafny: fixed compilation bug (datatype equality had used pointer equality, no...	Rustan Leino	2011-09-11
* \|	Dafny: fixed compilation error where type of target "null" was undetermined	Rustan Leino	2011-09-11
* \|	Dafny: added Flatten example to test suite	Rustan Leino	2011-09-11
\|/
*	Merge	Rustan Leino	2011-09-08
\|\
* \|	Dafny: fixed parsing bug with "!in"	Rustan Leino	2011-09-08
\| *	Jennisys: added synthesized code for examples	Aleksandar Milicevic	2011-08-26
\| *	Jennisys: SetNode.Find example	Aleksandar Milicevic	2011-08-23
\| *	Merge	Aleksandar Milicevic	2011-08-23
\| \|\ \| \|/ \|/\|
\| *	Jennisys: changed the Combiner method to produce more	Aleksandar Milicevic	2011-08-23
\| *	Jennisys: changed the Combiner method to produce more	Aleksandar Milicevic	2011-08-22
* \|	Dafny: updated Answer file from recent test additions	Rustan Leino	2011-08-22
* \|	Merge	Rustan Leino	2011-08-22
\|\\|
\| *	Jennisys:	Aleksandar Milicevic	2011-08-22
* \|	Merge	Rustan Leino	2011-08-22
\|\\|
* \|	Dafny: updated test files (will soon update Answer files as well)	Rustan Leino	2011-08-22
\| *	jennisys: got the List.Get example to work. List.Tail also works. Others sh...	Aleksandar Milicevic	2011-08-21
\| *	Merge	Aleksandar Milicevic	2011-08-20
\| \|\ \| \|/ \|/\|
\| *	Jennisys: added some more infrastructure for synthesizing read only methods	Aleksandar Milicevic	2011-08-20
* \|	Merge	Rustan Leino	2011-08-18
\|\\|
* \|	Dafny: fixed bug in looking at the arguments of the :induction attribute	Rustan Leino	2011-08-18
\| *	Jennisys:	Aleksandar Milicevic	2011-08-16
\| *	Jennisys:	Aleksandar Milicevic	2011-08-15
\| *	Jennisys:	Aleksandar Milicevic	2011-08-14
\| *	Jennisys: added some more infrastructure for synthesizing read only methods, so	Aleksandar Milicevic	2011-08-13
\| *	Merge	Aleksandar Milicevic	2011-08-12
\| \|\
\| * \|	Jennisys:	Aleksandar Milicevic	2011-08-12
\| \| *	Dafny: Fixed a bug in the printer that led to a stack overflow.	wuestholz	2011-08-11
\| \|/
\| *	Jennisys: started to work on synthesizing some methods. So far, only	Aleksandar Milicevic	2011-08-10
\| *	Merge	Aleksandar Milicevic	2011-08-05
\| \|\ \| \|/ \|/\|
\| *	Jennisys:	Aleksandar Milicevic	2011-08-05
* \|	Merge	Rustan Leino	2011-08-04
\|\\|
* \|	Dafny: added reverse*reverse=id example to test suite	Rustan Leino	2011-08-04
* \|	Dafny: for VS mode, let lexer allow "?"	Rustan Leino	2011-08-04
\| *	Jennisys:	Aleksandar Milicevic	2011-08-03
* \|	Dafny: fix resolution crash (using multi-dimensional arrays in loop alternative)	Rustan Leino	2011-08-03
\|/
*	Jennisys: implemented a unification algorithm that tries to find an existing	Aleksandar Milicevic	2011-08-02
*	Jennisys: (1) fixed a bug in "TryInferConditionals"; (2) added synthesized mo...	Aleksandar Milicevic	2011-07-29
*	Jennisys:	Aleksandar Milicevic	2011-07-29
*	Jennisys:	Aleksandar Milicevic	2011-07-27
*	Jennisys:	Unknown	2011-07-27
*	Merge	Rustan Leino	2011-07-26
\|\
\| *	Jennisys:	Unknown	2011-07-26
\| *	Jennisys:	Unknown	2011-07-26
* \|	Dafny: re-ran parser generator to include semicolon-less body-less functions/...	Rustan Leino	2011-07-26
\|/
*	Merge	Rustan Leino	2011-07-26
\|\
\| *	- restored the "old" (as it was before switching from map to list)	Unknown	2011-07-25
\| *	- changed heapInst.assignments' type from Map to List (because assignment or...	Unknown	2011-07-25
* \|	Merge	Rustan Leino	2011-07-25
\|\\|
\| *	Merge	Unknown	2011-07-22
\| \|\
\| * \|	Jennisys:	Unknown	2011-07-21