debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	new design for linear types + VCgen	qadeer	2014-02-07
*	bug fix in error trace printing	qadeer	2014-02-05
*	Option for reversing Houdini worklist (for top-down analysis)	akashlal	2014-01-28
*	more cleanup	qadeer	2014-01-23
*	some cleanup	qadeer	2014-01-23
*	some small optimizations to mover checking	qadeer	2014-01-22
*	some fixes	qadeer	2014-01-21
*	various bug fixes	qadeer	2014-01-21
*	bug fix: if an absy is not reachable, make the set of available vars empty at it	qadeer	2014-01-21
*	fixed a bug revealed subsequent to the latest fix in parallel call handling	qadeer	2014-01-20
*	bug fix in handling of parallel call	qadeer	2014-01-20
*	Added functionality to rename state captures when programs are unrolled.	Ally Donaldson	2014-01-17
*	Merge	Ally Donaldson	2014-01-17
\|\
* \|	Integrated support for k-induction, implemented a while ago by Philipp Ruemme...	Ally Donaldson	2014-01-17
\| *	bug fix in error trace printing	qadeer	2014-01-16
\| *	updates	qadeer	2014-01-16
\| *	Merge	qadeer	2014-01-16
\| \|\
\| * \|	updating treiber stack	qadeer	2014-01-16
\| \| *	yields with invariants factored out into Yield12	stasiran	2014-01-16
\| \|/
\| *	fix for a completeness bug (reported by Serdar) in refinement checker	qadeer	2014-01-16
\| *	Merge	qadeer	2014-01-16
\| \|\
\| * \|	Clean up of yield type checker	qadeer	2014-01-16
\| \| *	InsertPair added.	stasiran	2014-01-15
\| * \|	Merge	qadeer	2014-01-15
\| \|\\|
\| * \|	in the middle of cleaning up yield type checker	qadeer	2014-01-15
\| \| *	Added Treiber stack (not yet readable by QED version of Boogie.)	stasiran	2014-01-15
\| \| *	Added Multiset benchmark	stasiran	2014-01-15
\| \|/
\| *	fixed lots of bugs in mover checking code	qadeer	2014-01-14
\| *	fixed bug in optimization of commutativity check	qadeer	2014-01-14
\| *	Merge	qadeer	2014-01-14
\| \|\ \| \|/ \|/\|
\| *	added more information to assert messages	qadeer	2014-01-14
* \|	Fix Boogie so it compiled with mono. Patch by Dan Liew.	Ally Donaldson	2014-01-14
\|/
*	Existential failure checker replaced with universal.	stasiran	2014-01-13
*	a bug fix	qadeer	2014-01-13
*	eliminated use of assertionPhaseNums	qadeer	2014-01-13
*	Some proper naming done in YieldTypeChecker	kuruis	2014-01-12
*	extended NormalSubstituter so that it can take in a forold substitution	qadeer	2014-01-10
*	implemented a simple quantifier elimination for havoc commands in computing t...	qadeer	2014-01-09
*	small update to the example	qadeer	2014-01-09
*	some optimizations to mover checks	qadeer	2014-01-09
*	a fix regarding the checking of assertions in atomic specs at call sites	qadeer	2014-01-08
*	Merge	qadeer	2014-01-07
\|\
* \|	first cut of refinement checking	qadeer	2014-01-07
\| *	added a test to check for stackoverflowexception	akashlal	2014-01-07
\| *	Recursive walking of Exprs doesn't play nice when the depth of the AST is high.	akashlal	2014-01-07
\|/
*	points on "home strecth of yield type checker" added	kuruis	2014-01-04
*	Updated year in main copyright message	Rustan Leino	2014-01-03
*	and another	qadeer	2014-01-03
*	another small fix	qadeer	2014-01-03
*	some fixes	qadeer	2014-01-03