debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	deleted unused code	qadeer	2011-11-01
*	Boogie build succeeded	CodeplexBot	2011-11-01
*	Merge	Rustan Leino	2011-10-31
\|\
\| *	File to experiment with type encoding for .NET.	Mike Barnett	2011-10-31
* \|	Merge	Rustan Leino	2011-10-31
\|\ \
\| \| *	Major changes to the translator traversers because they now are based on the	Mike Barnett	2011-10-31
\| \|/ \|/\|
* \|	Fixed the generation of names for datatype functions to use the API for	Mike Barnett	2011-10-31
* \|	Added information how to customize chalice.bat to find Boogie.exe	peter mueller peter.mueller@inf.ethz.ch	2011-10-30
* \|	Removed prover option from runtest.bat because smtlib is now the default	Mike Barnett	2011-10-30
\| *	Merge	Rustan Leino	2011-10-29
\| \|\ \| \|/ \|/\|
\| *	Dafny induction:	Rustan Leino	2011-10-29
* \|	Boogie build succeeded	CodeplexBot	2011-10-28
* \|	Boogie: Updated the error message for old versions of Z3.	wuestholz	2011-10-28
* \|	Tagging EMIC CC.NET build 2.1.31028.0	VccBuildServer	2011-10-28
* \|	Boogie build succeeded, 28 test(s) failed	CodeplexBot	2011-10-28
* \|	Boogie: Get rid of {:inline} attributes on axioms	Michal Moskal	2011-10-27
* \|	Boogie: Get rid of {:ignore} feature on axioms	Michal Moskal	2011-10-27
* \|	Boogie: Present a nice error message when Z3 of lesser version than 3.2 is found	Michal Moskal	2011-10-27
* \|	Merge	Michal Moskal	2011-10-27
\|\ \
* \| \|	Restart prover after out-of-memory error; honour -restartProver option	Michal Moskal	2011-10-27
\| * \|	Boogie: removed unreachable or unused code	Rustan Leino	2011-10-27
\| * \|	Boogie: internal clean-up, removed BvHandling type, everything now behaves as...	Rustan Leino	2011-10-27
\| * \|	Boogie: Eliminated the /bv option. Only native bitvectors are supported now. ...	Rustan Leino	2011-10-27
\| * \|	Boogie: Changed default /prover to SMTLIB	Rustan Leino	2011-10-27
\| \| *	Dafny: allow attributes on function/method declarations to refer to the (in- ...	Rustan Leino	2011-10-26
\| \|/
\| *	Dafny: removed Dafny's "foreach" statements (replaced by the new "parallel" s...	Rustan Leino	2011-10-26
\| *	Dafny: removed support for assigning to an array-range (that is, an assignmen...	Rustan Leino	2011-10-26
\| *	Merge	Rustan Leino	2011-10-26
\| \|\
\| * \|	Dafny: Commented out SnapshotableTrees.Node.FunctionalInsert while performanc...	Rustan Leino	2011-10-26
\| * \|	BVD: fixed two basic but damning problems with the Dafny provider, and elided...	Rustan Leino	2011-10-26
\| \| *	Added batch script to run tests for datatypes tests.	Mike Barnett	2011-10-26
\| \|/ \|/\|
* \|	VCC: Detect wrong model files	Michal Moskal	2011-10-26
\| *	Dafny: implemented compilation of parallel statements	Rustan Leino	2011-10-25
* \|	VCC: improvements in showing arrays, addresses, and embeddings	Michal Moskal	2011-10-24
\| *	Dafny: check subrange restriction in parallel Assign statement	Rustan Leino	2011-10-24
\|/
*	Merge	Rustan Leino	2011-10-24
\|\
* \|	Dafny: continued translation of "parallel" statements (Assign and Proof forms...	Rustan Leino	2011-10-24
\| *	Don't let /s be specified for stub files. (But keep the old code in case we	Mike Barnett	2011-10-23
* \|	Dafny: added translation of Assign case of the parallel statement	Rustan Leino	2011-10-22
\|/
*	Merge	Rustan Leino	2011-10-21
\|\
* \|	Dafny: changed triggers (which are never really used, anyhow) from having a s...	Rustan Leino	2011-10-21
\| *	Tagging EMIC CC.NET build 2.1.31022.0	VccBuildServer	2011-10-22
\| *	Sync timeout messages with Z3 prover interface	Michal Moskal	2011-10-21
\| *	Don't pass /T: option to Z3 - it kills Z3 prematurely when there are multiple...	Michal Moskal	2011-10-21
\| *	Improve logging when -proverOpt:VERBOSITY=1 or 2 is specified	Michal Moskal	2011-10-21
\| *	Boogie build succeeded	CodeplexBot	2011-10-20
\| *	Merge	Michal Moskal	2011-10-19
\| \|\ \| \|/ \|/\|
\| *	VCC: support some more _(blob ...) buisness	Michal Moskal	2011-10-19
* \|	Merge	Rustan Leino	2011-10-19
\|\ \
* \| \|	Dafny: fixed performance-buggy translation of exists, and also added some oth...	Rustan Leino	2011-10-19