debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Merge	Rustan Leino	2011-06-20
\|\
* \|	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
\| *	Merge	qadeer	2011-05-31
\| \|\ \| \|/ \|/\|
\| *	fixed a bug with array index translation	qadeer	2011-05-31
* \|	Merge	Rustan Leino	2011-05-31
\|\ \
* \| \|	Dafny: compiler fixes	Rustan Leino	2011-05-31
\| * \|	Fixed/improved the handling of conditional expressions.	Mike Barnett	2011-05-31
\| * \|	Added bitwise operations.	Mike Barnett	2011-05-31
\| * \|	Lots of small bug fixes: conversions, overloaded operations on real numbers.	Mike Barnett	2011-05-31
* \| \|	Merge	Rustan Leino	2011-05-31
\|\\| \|
* \| \|	Dafny: compile multi-assignments, compile calls with more general LHSs	Rustan Leino	2011-05-31
* \| \|	Dafny: translate call statements with fancy LHSs	Rustan Leino	2011-05-31
* \| \|	Dafny: Translate general LHSs for var and := (not yet for call, no compilatio...	Rustan Leino	2011-05-30
\| * \|	Don't translate method contracts until method information (parameter map, etc.)	Mike Barnett	2011-05-30
\| \|/
\| *	Handle more conversions.	Mike Barnett	2011-05-29
\| *	Fixed struct ctors so that they don't return the "this" value, but just	Mike Barnett	2011-05-29
\| *	Fixes for a bunch of different bugs. Translate default value for doubles,	Mike Barnett	2011-05-29
\| *	Removed the method DefaultValue from the sink: if a default value of a type	Mike Barnett	2011-05-29