debian-dafny - Debian packaging for Dafny

	Commit message (Collapse)	Author	Age
*	Make the dependency that DafnyServer has on DafnyPipeline explicit	Clément Pit--Claudel	2015-08-20
\|
*	server: Add a Checked configuration	Clément Pit--Claudel	2015-08-14
\|
*	Integrate the DafnyServer project into the main Dafny solution	Clément Pit--Claudel	2015-07-31
\|
*	Update the configuration manager so the Debug build actually builds the ↵	Bryan Parno	2015-05-13
\| \| \| \| \| \|	Debug version of the projects (rather than Checked). The Checked build still builds the Checked version of the projects.
*	Added support for 'dirty' forall statements.	chmaria	2014-06-03
\| \| \| \| \| \| \| \| \| \| \|	One can now write forall statements without bodies (but with ensures clauses) as follows: forall s \| s in S ensures s < 0; where S is set<int>. The ensures clauses are assumed but not checked.
*	Put all sources under \Source directory	Rustan Leino	2012-10-04