debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Added a fix to inlining so that it becomes cognizant of procedures that the u...	qadeer	2014-02-28
*	Added /trustNonInterference option	qadeer	2014-02-28
*	added /doNotUseParallelism option	qadeer	2014-02-27
*	added some missing attributes to desugared assertions	qadeer	2014-02-27
*	added tokens to calls and requires/ensures	qadeer	2014-02-26
*	Merge	qadeer	2014-02-25
\|\
* \|	fixed couple of bugs reported by Serdar	qadeer	2014-02-25
\| *	Fixed tokens to improve error message produce for type errors in non-inlined ...	Rustan Leino	2014-02-25
\|/
*	(Fixed and) strengthened contracts of ReadOnlyVisitor. The postconditions of...	Rustan Leino	2014-02-24
*	added ReadOnlyStandardVisitor	qadeer	2014-02-24
*	Added /trustPhasesDownto option	qadeer	2014-02-24
*	Added /trustPhasesUpto option	qadeer	2014-02-23
*	Added /trustAtomicityTypes option	qadeer	2014-02-22
*	Merge ModelParser fix	Ken McMillan	2014-02-21
\|\
\| *	Fixed crash in ModelParser when Z3 returns an operator that is a list.	Ken McMillan	2014-02-21
* \|	fixed a bug in desugaring of linear variables	qadeer	2014-02-20
\|/
*	Merge fixedpoint VC fix	Ken McMillan	2014-02-19
\|\
\| *	Fixedpoint VC fix.	Ken McMillan	2014-02-19
* \|	fixed a bug in the automaton construction labeling	qadeer	2014-02-18
* \|	fixed code contracts violations	qadeer	2014-02-11
* \|	Fixed bug in printing real literals	Rustan Leino	2014-02-10
* \|	Fixed errors in the use of Code Contracts	Rustan Leino	2014-02-10
* \|	Merge	Rustan Leino	2014-02-10
\|\ \
* \| \|	Fixed bug in handling of break statements	Rustan Leino	2014-02-10
\| * \|	fixed a problem with the nonblocking check	qadeer	2014-02-10
\| * \|	added nonblocking checker for left movers	qadeer	2014-02-07
\| * \|	added another example and fixed a bug regarding initialization of pc/ok	qadeer	2014-02-07
\| * \|	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
* \|	some small optimizations to mover checking	qadeer	2014-01-22
* \|	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
* \|	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
\| * \|	fix for a completeness bug (reported by Serdar) in refinement checker	qadeer	2014-01-16
\| * \|	Clean up of yield type checker	qadeer	2014-01-16
\| * \|	in the middle of cleaning up yield type checker	qadeer	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