debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Jennisys: added code that Jennisys synthesizes for the DList example	Unknown	2012-02-06
*	Jennisys: now actually adding the DList.jen example	Unknown	2012-02-06
*	Jennisys: (1) fixed Jennisys to work with the latest version of Dafny/Boogie	Unknown	2012-02-06
*	slight change to houdini logging	Unknown	2012-02-06
*	added more logging in houdini	Unknown	2012-02-06
*	Automated merge with https://hg01.codeplex.com/boogie	Mike Barnett	2012-02-05
\|\
\| *	Separated the concepts of "boxing" (i.e., CLR boxing of a value type) from	Mike Barnett	2012-02-05
* \|	added a dummy sourceLine attribute for delegate dispatch	qadeer	2012-01-31
* \|	added another project	qadeer	2012-01-30
* \|	Merge	qadeer	2012-01-30
\|\ \
* \| \|	VCC: display bitvectors	Michal Moskal	2012-01-28
* \| \|	Merge	Michal Moskal	2012-01-28
\|\ \ \
* \| \| \|	VCC: fixes in function visibility	Michal Moskal	2012-01-28
\| \| * \|	Merge	qadeer	2012-01-27
\| \|/\| \|
\| \| \| *	Automated merge with https://hg01.codeplex.com/boogie	Mike Barnett	2012-01-26
\| \| \|/\| \| \|/\| \|
\| \| \| *	Separate out the concepts of boxing	Mike Barnett	2012-01-26
\| * \| \|	Dafny: fixed bug in compilation of let expressions.	Rustan Leino	2012-01-26
\| * \| \|	Dafny: Fixed a bug in the resolving of UpdateStmts.	wuestholz	2012-01-25
\| \| * \|	added another method that just throws an exception	qadeer	2012-01-24
\| * \| \|	Dafny: Fixed a bug in the printing of let expressions.	wuestholz	2012-01-24
\| \|/ /
\| * \|	Merge	qadeer	2012-01-23
\| \|\ \
\| * \| \|	an optimization in dynamic dispatch	qadeer	2012-01-23
\| \| * \|	Merge (Make Chalice AST accessible to other tools)	Christian Klauser	2012-01-20
\| \|/\| \|
\| \| * \|	Chalice: break main method into multiple methods, so that other tools can acc...	Christian Klauser	2012-01-20
\| * \| \|	Merge	Rustan Leino	2012-01-19
\| \|\ \ \
\| * \| \| \|	Chalice: added more standard file(line,col) error-message output, currently u...	Rustan Leino	2012-01-19
\| \| * \| \|	Boogie build succeeded	CodeplexBot	2012-01-19
\| \|/ / /
\| * \| \|	Dafny: fixed bug in compilation of generic datatypes	Rustan Leino	2012-01-18
\| * \| \|	Dafny: improved error location for violations of function postconditions	Rustan Leino	2012-01-18
\| * \| \|	Dafny: allow a refinement to provide a function/method body if the function/m...	Rustan Leino	2012-01-18
\| * \| \|	Boogie build succeeded, 1 test(s) failed	CodeplexBot	2012-01-18
\| * \| \|	Dafny: added signature checking to refinement	Rustan Leino	2012-01-17
\| * \| \|	Dafny: allow parallel statements with an empty list of bound variables	Rustan Leino	2012-01-17
\| * \| \|	Dafny: parallel statements:	Rustan Leino	2012-01-17
* \| \| \|	VCC/BVD: what were these null checks all over about?	Michal Moskal	2012-01-17
\|/ / /
* \| \|	Merge	Rustan Leino	2012-01-16
\|\ \ \ \| \| \|/ \| \|/\|
* \| \|	Dafny: Recheck specifications that contain refined (extended) predicates, eve...	Rustan Leino	2012-01-16
\| * \|	Mark the procedure translated from the module's entry point	Mike Barnett	2012-01-15
\|/ /
* \|	Dafny: handle refinement of nested tokens that come from SpliExpr (still need...	Rustan Leino	2012-01-12
* \|	Dafny: make full predicate definitions available only inside a module (outsid...	Rustan Leino	2012-01-11
* \|	Use DateTime.UtcNow instead of DateTime.Now	stobies	2012-01-11
* \|	Boogie build succeeded	CodeplexBot	2012-01-11
* \|	Dafny: fixed bugs in contract types, and a code bug that caused a contract to...	Rustan Leino	2012-01-10
* \|	Merge	Rustan Leino	2012-01-10
\|\ \
* \| \|	Dafny: some bug fixes	Rustan Leino	2012-01-10
* \| \|	Dafny VSX: fixed compilation inconsistency	Rustan Leino	2012-01-10
* \| \|	Dafny: allow class-member declarations at top level of any module (not just t...	Rustan Leino	2012-01-10
* \| \|	Dafny: added test case for refinement and predicates (and fixed a parsing bug)	Rustan Leino	2012-01-10
\| * \|	Make a copy of a struct value being passed to a method	Mike Barnett	2012-01-10
* \| \|	Dafny: allow definitions and uses of parameter-less predicates to go without ...	Rustan Leino	2012-01-10