debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	using model instead of labels	Unknown	2012-02-23
*	Merge	Rustan Leino	2012-02-19
\|\
* \|	Dafny: make sure assume->assert transformation gives rise to a check	Rustan Leino	2012-02-19
\| *	verbose mode	akashlal	2012-02-19
\|/
*	Dafny: added syntactic support for ...'s in statements, and started implement...	Unknown	2012-02-18
*	Dafny: allow signatures to be omitted on refining functions/methods	Unknown	2012-02-16
*	Merge	Rustan Leino	2012-02-16
\|\
* \|	Dafny: allow various forms of leaving off type arguments in declarations	Rustan Leino	2012-02-16
* \|	Dafny: re-ran parser generator to use latest .frame files	Rustan Leino	2012-02-16
* \|	Dafny: re-ran parser generator to use latest .frame files	Rustan Leino	2012-02-16
* \|	Dafny: fixed a couple of compiler bugs	Rustan Leino	2012-02-16
\| *	minor fix in tracing	qadeer	2012-02-14
\|/
*	Small fix to previous commit.	paulthomson	2012-02-13
*	Allow any file extension, but give warning if it is not .gbpl	paulthomson	2012-02-10
*	Fix: Check for duplicate special constants (with attributes).	paulthomson	2012-02-09
*	Merge	qadeer	2012-02-09
\|\
* \|	minor bug in printing z3 path when running with /trace	qadeer	2012-02-09
\| *	fixed a problem in model parsing	Unknown	2012-02-08
\|/
*	Merge	qadeer	2012-02-08
\|\
* \|	houdini will not request models now	qadeer	2012-02-08
\| *	Predicated assumes	Unknown	2012-02-08
\|/
*	Merge	Unknown	2012-02-07
\|\
* \|	Support for language-specific thread ids.	Unknown	2012-02-07
\| *	Print procs that reached the recursion bound.	Unknown	2012-02-07
\| *	fixed bug in model parsing	qadeer	2012-02-06
\| *	slight change to houdini logging	Unknown	2012-02-06
\| *	added more logging in houdini	Unknown	2012-02-06
\|/
*	VCC: display bitvectors	Michal Moskal	2012-01-28
*	Merge	Michal Moskal	2012-01-28
\|\
* \|	VCC: fixes in function visibility	Michal Moskal	2012-01-28
\| *	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
\| *	Dafny: Fixed a bug in the printing of let expressions.	wuestholz	2012-01-24
\| *	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
\| *	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
\|/
*	Dafny: Recheck specifications that contain refined (extended) predicates, eve...	Rustan Leino	2012-01-16
*	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
*	Dafny: fixed bugs in contract types, and a code bug that caused a contract to...	Rustan Leino	2012-01-10
*	Dafny: some bug fixes	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
*	Dafny: allow definitions and uses of parameter-less predicates to go without ...	Rustan Leino	2012-01-10
*	Dafny: added predicates	Rustan Leino	2012-01-10