debian-boogie - Debian packaging for Boogie

	Commit message (Collapse)	Author	Age
*	Boogie: use (WEIGHT 0) with the select-of-store axioms	Rustan Leino	2011-06-29
\|
*	Dafny: Fixed axioms for Seq#Contains vs. the sequence building functions	Rustan Leino	2011-06-29
\|
*	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 ↵	qadeer	2011-06-20
\| \| \| \| \| \| \| \|	account for side-effects in expressions
* \|	Merge	Rustan Leino	2011-06-20
\|\\|
* \|	Dafny: better error message when "decreases *" is attempted on a function or ↵	Rustan Leino	2011-06-20
\| \| \| \| \| \| \| \| \| \| \| \| \| \|	method Dafny: fixed compilation bug with parallel assignment involving a ghost LHS Dafny: added sequence-to-set conversion if a function's reads clause is used implicitly as the decreases clause
\| *	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
\| \| \|/ \| \| \| \| \| \| \| \| \|	fixed unarynegation issue
\| \| *	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
\| \| \|/ \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	-- conflict between int and short -- method calls type definitions -- exception returning outvar count (?) -- nested addressing issue in parameters -- enum arguments as literals -- initially declared boogie procedures are public now
\| \| *	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
\| \|
\| *	Merge	qadeer	2011-05-31
\| \|\ \| \|/ \|/\|
\| *	fixed a bug with array index translation	qadeer	2011-05-31
\| \|