debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	clean up in z3api	qadeer	2011-06-22
*	Merge	qadeer	2011-06-22
\|\
* \|	partial fixes to these regressions	qadeer	2011-06-22
* \|	various fixes to port to latest version of Microsoft.Z3.dll	qadeer	2011-06-22
\| *	Merge	Rustan Leino	2011-06-21
\| \|\ \| \|/ \|/\|
\| *	Dafny: bug fix in generating IsCanonicalBoolBox predicates	Rustan Leino	2011-06-21
* \|	Merge	qadeer	2011-06-20
\|\\|
* \|	Translate IConditional exactly the same way as IConditionalStatement to accou...	qadeer	2011-06-20
\| *	Merge	Rustan Leino	2011-06-20
\| \|\ \| \|/ \|/\|
\| *	Dafny: better error message when "decreases *" is attempted on a function or ...	Rustan Leino	2011-06-20
* \|	Merge	qadeer	2011-06-20
\|\\|
* \|	whole bunch of bug fixes	qadeer	2011-06-20
\| *	Merge	Rustan Leino	2011-06-20
\| \|\
\| \| *	Merge	Rustan Leino	2011-06-20
\| \| \|\
\| * \| \|	Dafny: removed deprecated "call" and "use" keywords from syntax highlighters	Rustan Leino	2011-06-20
* \| \| \|	Merge	qadeer	2011-06-17
\|\ \ \ \ \| \| \|_\|/ \| \|/\| \|
* \| \| \|	changes for handling conversions	qadeer	2011-06-17
\| \| \| *	Dafny: fixed accidental omission of CaptureState after some assignments	Rustan Leino	2011-06-16
\| * \| \|	removed division hadling from CLRsemantics	Unknown	2011-06-16
\|/ / /
* \| \|	Real2Int type error	Unknown	2011-06-15
* \| \|	refactored the prelude, added thread_local attribute to $Exception variable	qadeer	2011-06-14
* \| \|	added more regressions to livevars	qadeer	2011-06-14
* \| \|	bug fix in live variable analysis	qadeer	2011-06-14
* \| \|	various bug fixes related to running bct on phone apps	qadeer	2011-06-12
* \| \|	further changes	qadeer	2011-06-12
* \| \|	changes related to fixing problems with finally translation	qadeer	2011-06-12
* \| \|	Merge	qadeer	2011-06-10
\|\ \ \
* \| \| \|	bunch of changes related to finally handling	qadeer	2011-06-10
\| * \| \|	solved	Unknown	2011-06-09
\|/ / /
* \| \|	using registerAsLatest directly to deal with multiple dll translation	Unknown	2011-06-08
\|\ \ \
* \| \| \|	bug fixes	Unknown	2011-06-08
\| * \| \|	Merge	qadeer	2011-06-08
\| \|\ \ \
\| * \| \| \|	bug fix in call to constructor of ProcedureInfo	qadeer	2011-06-08
\| \| * \| \|	Tagging EMIC CC.NET build 2.1.30608.1	VccBuildServer	2011-06-08
\| \| * \| \|	Backed out changeset: 42ab6e4ab0b1	VccBuildServer	2011-06-08
\| \| * \| \|	Tagging EMIC CC.NET build 2.1.30608.0	VccBuildServer	2011-06-08
\| \| * \| \|	Modifications of CC.NET build 2.1.30608.0	VccBuildServer	2011-06-08
\| \|/ / /
\| * \| \|	beginning support for finally clauses	qadeer	2011-06-07
\| * \| \|	Merge	qadeer	2011-06-06
\| \|\ \ \ \| \|/ / / \|/\| \| \|
\| * \| \|	initial cut for translating exceptions	qadeer	2011-06-06
* \| \| \|	Add a string for an uninterpreted value in errModel	Unknown	2011-06-06
\| \|_\|/ \|/\| \|
* \| \|	Merge	Rustan Leino	2011-06-05
\|\\| \|
* \| \|	Dafny: added implicit datatype query fields and datatype destructor fields	Rustan Leino	2011-06-05
* \| \|	Boogie: white-space formating	Rustan Leino	2011-06-05
\| \|/ \|/\|
\| *	fixed calls to generic methods to add type argument appropriately	qadeer	2011-06-05
\| *	Merge	qadeer	2011-06-04
\| \|\ \| \|/ \|/\|
\| *	Further support for translating generics	qadeer	2011-06-04
* \|	Merge	Rustan Leino	2011-06-02
\|\\|
* \|	Dafny: fixed soundness problem with HeapSucc axiom	Rustan Leino	2011-06-01
\| *	fixed a bug in translation of generics	qadeer	2011-05-31