debian-dafny - Debian packaging for Dafny

	Commit message (Expand)	Author	Age
*	Jennisys: Implemented some support for mutator methods by keeping track of th...	Aleksandar Milicevic	2011-10-07
*	Jennisys: change of keywords, now: interface/datamodel/code	Rustan Leino	2011-09-28
*	jennisys: got the List.Get example to work. List.Tail also works. Others sh...	Aleksandar Milicevic	2011-08-21
*	Jennisys:	Aleksandar Milicevic	2011-08-14
*	Jennisys:	Aleksandar Milicevic	2011-08-12
*	Jennisys: started to work on synthesizing some methods. So far, only	Aleksandar Milicevic	2011-08-10
*	Jennisys:	Unknown	2011-07-27
*	- added synthesis of Repr stuff (it generates Repr invariants,	Unknown	2011-07-19
*	- finished evaluating expressions	Unknown	2011-07-13
*	- changed the parser to create VarLiteral instead of IdLiteral for	Unknown	2011-07-13
*	- still working on infering branching structure	Unknown	2011-07-12
*	- added Set.jen example	Unknown	2011-07-11
*	- removed VarConst from Const	Unknown	2011-07-08
*	- fixed some bugs with applying unification over list elements	Unknown	2011-07-06
*	- implemented synthesis of some simple constructors with parameters	Unknown	2011-07-05
*	added some doc comments	Unknown	2011-07-03
*	- when analyzing a constructor, repeated "assume <inv>" statement explicitly	Unknown	2011-07-02
*	- removed the "Constructor" discriminator from type Member, and added a	Unknown	2011-07-01
*	- implemented code generation from a synthesis solution (simple field	Unknown	2011-06-24
*	- implemented reading models from a BVD model file	Unknown	2011-06-24
*	- changed the grammar to allow for arbitrary post-condition expressions	Unknown	2011-06-19
*	Jennisys: First cut of injectivity analysis	Rustan Leino	2011-04-11
*	Jennisys: Improved parsing by using operator binding powers	Rustan Leino	2011-04-07
*	Jennisys: Parse and print	Rustan Leino	2011-04-07
*	Jennisys: some initial files (with no real contents)	Rustan Leino	2011-04-06