debian-boogie - Debian packaging for Boogie

	Commit message (Collapse)	Author	Age
*	Merge	qadeer	2011-06-24
\|\
* \|	extra test files	qadeer	2011-06-24
\| \|
* \|	fixes to z3api	qadeer	2011-06-24
\| \|
\| *	Boogie build succeeded	CodeplexBot	2011-06-24
\|/
*	Merge	qadeer	2011-06-23
\|\
* \|	implementation of iterative LetVC	qadeer	2011-06-23
\| \|
\| *	Merge	Jason Koenig	2011-06-23
\| \|\
\| * \|	Added loop modifies clause syntax.	Jason Koenig	2011-06-23
\| \| \|
* \| \|	Merge	qadeer	2011-06-23
\|\ \ \ \| \| \|/ \| \|/\|
* \| \|	bug fix in translation of dispatch continuation	qadeer	2011-06-23
\| \| \|
\| * \|	Didn't intend to include Z3api by default	Unknown	2011-06-23
\| \| \|
\| * \|	Bug fix for trace generation with extractLoop option	Unknown	2011-06-23
\| \|\ \ \| \|/ / \|/\| \|
\| * \|	Bug fix for trace generation with extractLoop option	Unknown	2011-06-23
\| \| \|
* \| \|	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 ↵	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
\| \|/ / /