debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
...
\| \| *	BVD: don't do the "Duplicate entry exception"; uncomment for debugging	Michal Moskal	2011-11-08
\| \| *	VCC: show output parameters as roots	Michal Moskal	2011-11-08
\| \|/ \|/\|
* \|	moved GPUVerify into its own solution	qadeer	2011-11-08
\|/
*	Merge	Rustan Leino	2011-11-08
\|\
* \|	Dafny: fixed bug in reads checking of array-to-sequence conversions	Rustan Leino	2011-11-08
* \|	Dafny: Cleaned up proof of RevConcat in test case	Rustan Leino	2011-11-08
\| *	Merge	Unknown	2011-11-08
\| \|\
\| * \|	Additions to GPU Verify for paper submission.	Unknown	2011-11-08
\| \| *	some refactoring suggested by Michal	qadeer	2011-11-07
\| \| *	Merge	qadeer	2011-11-07
\| \| \|\
\| \| * \	Merge	qadeer	2011-11-07
\| \| \|\ \ \| \|_\|/ / \|/\| \| \|
\| \| * \|	change in model parsing with datatype values	qadeer	2011-11-07
* \| \| \|	Dafny: added a new /inductionHeuristic option	Rustan Leino	2011-11-04
* \| \| \|	Dafny: in test suite (Rippling.dfy), replaced an inline lemma with a call to ...	Rustan Leino	2011-11-04
* \| \| \|	Dafny: added options to make Induction Heuristic apply to array index express...	Rustan Leino	2011-11-04
* \| \| \|	Merge	Rustan Leino	2011-11-03
\|\ \ \ \
* \| \| \| \|	Added some Dafny and Boogie test cases, including Turing's factorial program,...	Rustan Leino	2011-11-03
\| \| \| * \|	Merge	qadeer	2011-11-01
\| \| \| \|\ \ \| \| \|_\|/ / \| \|/\| \| \|
\| \| \| * \|	deleted unused code	qadeer	2011-11-01
\| * \| \| \|	Don't wipe out existing attributes when adding {:extern}	Mike Barnett	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
\| \| \| \| *	Merge	qadeer	2011-10-27
\| \| \| \| \|\ \| \| \|_\|_\|/ \| \|/\| \| \|
\| \| \| \| *	various refactorings	qadeer	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