debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
...
\| *	one more fix	qadeer	2012-02-27
\| *	fixing stratified inlining to deal with new path info	qadeer	2012-02-27
\| *	various fixes related to new error traces	qadeer	2012-02-27
\| *	Merge	qadeer	2012-02-25
\| \|\
\| * \|	further fixes related to using uninterpreted function for error traces	qadeer	2012-02-25
\| \| *	VCC: fix treatment of arrays	Michal Moskal	2012-02-24
\| \|/
\| *	bug fixes related to using ControlFlowFunction instead of labels	qadeer	2012-02-23
\| *	Merge	qadeer	2012-02-23
\| \|\
\| * \|	using model instead of labels	Unknown	2012-02-23
\| \| *	added floating point keywords to reserved SMTwords list	qadeer	2012-02-20
\| \|/
\| *	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