debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Recursive walking of Exprs doesn't play nice when the depth of the AST is high.	akashlal	2014-01-07
*	Updated year in main copyright message	Rustan Leino	2014-01-03
*	more bug fixes	qadeer	2013-12-24
*	bug fixes in Duplicate.cs and parsing of invariant attributes	qadeer	2013-12-22
*	Merge	qadeer	2013-12-19
\|\
* \|	various updates and tighter integration of QED stuff into mainline	qadeer	2013-12-19
\| *	Fixed another :never_pattern bug related to nested quantifiers	Rustan Leino	2013-12-16
\| *	Merge	Rustan Leino	2013-12-16
\| \|\ \| \|/ \|/\|
\| *	Fixed bug in never_pattern functionality. In the new design, never_pattern d...	Rustan Leino	2013-12-16
* \|	regenerated after updating Parser.frame	qadeer	2013-12-16
* \|	added syntax for par call and ParCallCmd	qadeer	2013-12-16
* \|	Merge	qadeer	2013-12-14
\|\ \
* \| \|	fixed type checking errors in QED stuff	qadeer	2013-12-14
\| \|/ \|/\|
\| *	Resolve a concurrency issue (reported by Alex Summers).	wuestholz	2013-12-12
\|/
*	fixes to type checking code	qadeer	2013-12-11
*	Remove some (redundant) preconditions to avoid 'ccrewrite' errors.	wuestholz	2013-12-11
*	some refactoring of QED stuff	qadeer	2013-12-10
*	removed bitvector analysis from Boogie	qadeer	2013-12-08
*	Merge	qadeer	2013-12-02
\|\
* \|	added the QED build configuration	qadeer	2013-12-02
\| *	Patch by Nathan Chong: iterative version of remove empty blocks algorithm. T...	Ally Donaldson	2013-12-02
\|/
*	factored the concurrency checking code into a separate project	qadeer	2013-11-22
*	code cleanup	akashlal	2013-11-02
*	Merge	qadeer	2013-10-25
\|\
* \|	minor refactoring	qadeer	2013-10-25
* \|	a minor refactoring + implemented mover checking	qadeer	2013-10-25
\| *	Stratified inlining: inject free requires as assumes at call site	akashlal	2013-10-25
\| *	change of identifier names in OG	akashlal	2013-10-25
\|/
*	Merge	qadeer	2013-10-15
\|\
* \|	bug fix in yield inference in modset analysis	qadeer	2013-10-15
\| *	Fix for the Duplicator.	akashlal	2013-10-15
\| *	Merge	Pantazis Deligiannis	2013-10-09
\| \|\ \| \|/ \|/\|
\| *	small refactoring	Pantazis Deligiannis	2013-10-02
\| *	support for disabling loop entry invariant assertion checking	Pantazis Deligiannis	2013-10-01
\| *	changes to support a configured errorLimit	Pantazis Deligiannis	2013-09-30
\| *	more changes towards parallelisation of Houdini	Pantazis Deligiannis	2013-09-29
\| *	refuted candidates are exchanged in memory using a concurrent dictionary inst...	Pantazis Deligiannis	2013-09-26
* \|	minor fix so that variable copies in procedures and codeexprs are different.	qadeer	2013-09-10
* \|	fixed the linear type checking related to globals	qadeer	2013-09-04
* \|	Applied Chris Hawblitzel's changes to deal with {:expand}	qadeer	2013-08-23
* \|	some minor fixes	qadeer	2013-08-21
\| *	Merge	Pantazis Deligiannis	2013-08-20
\| \|\ \| \|/ \|/\|
\| *	new option for reversing the topological order - this could potentially help ...	Pantazis Deligiannis	2013-08-19
* \|	inlining is now done in rhs of assignments for codeexprs	qadeer	2013-08-15
* \|	Extended codeexpr inlining to deal with nested codeexpr	qadeer	2013-08-15
\| *	new option to disable checking for loop maintained invariants - this leads to...	Pantazis Deligiannis	2013-08-15
* \|	extended inlining to deal with codeexprs	qadeer	2013-08-14
* \|	process procedure only if an implementation is present.	qadeer	2013-08-07
* \|	cleaned up the OG code	qadeer	2013-08-07
* \|	Merge	Ally Donaldson	2013-08-05
\|\ \