debian-boogie - Debian packaging for Boogie

	Commit message (Collapse)	Author	Age
*	Normalise line endings using a .gitattributes file. Unfortunately	Dan Liew	2015-06-28
\| \| \| \| \| \|	this required that this commit globally modify most files. If you want to use git blame to see the real author of a line use the ``-w`` flag so that whitespace changes are ignored.
*	Add some experimental support for diagnosing timeouts.	Valentin Wüstholz	2015-05-18
\|
*	Fixedpoint VC catch up with recent changes	Ken McMillan	2013-11-11
\|
*	Worked on the parallelization.	wuestholz	2013-07-10
\|
*	Worked on the parallelization.	wuestholz	2013-07-08
\|
*	Fixes for duality under corral	Ken McMillan	2013-06-14
\|
*	Boogie: Get rid of {:ignore} feature on axioms	Michal Moskal	2011-10-27
\|
*	Implement Push/Pop interface.	MichalMoskal	2011-02-23
\| \| \| \|	Implement ProverContext.Lookup method.
*	Kill {:prover "..."} attribute support; no one ever used this stuff	MichalMoskal	2011-02-17
\|
*	Boogie:	rustanleino	2010-10-12
\| \| \| \| \| \|	* enhanced the printing of captured states * addressed some warnings issued by VS 2010 * some code formatting
*	bug fixes in z3api	qadeer	2010-08-26
\|
*	Boogie: Fixed some doubly-inherited-contract occurrences.	tabarbe	2010-08-20
\|
*	Boogie: Fixed some doubly-inherited-contract occurrences.	tabarbe	2010-08-20
\|
*	More line ending fixups.	MichalMoskal	2010-08-06
\|
*	Boogie: Removed trailing spaces in code	tabarbe	2010-08-04
\|
*	Boogie: VCGeneration port part 1/3: Replacing old source files with ported ↵	tabarbe	2010-07-28
\| \| \| \|	version
*	Boogie\VCGeneration: Renaming sources in preparation for my addition of the ↵	tabarbe	2010-07-28
	ported C# version