debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	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
\|\ \
* \| \|	Minor changes to uniformity analysis and inter-procedural reachability analysis.	Ally Donaldson	2013-08-05
\| * \|	Fixed several build errors in the 'Checked' configuration.	wuestholz	2013-08-05
\|/ /
* \|	added proper resolution and typechecking for all generated expressions	qadeer	2013-07-29
* \|	added types for all the expressions being added to calls	qadeer	2013-07-29
\| *	parallel houdini prototype working	Pantazis Deligiannis	2013-07-26
\|/
*	Removed the remaining pure collections.	wuestholz	2013-07-23
*	Resolved some issues with data races.	wuestholz	2013-07-23
*	Did some refactoring.	wuestholz	2013-07-23
*	Did some refactoring.	wuestholz	2013-07-23
*	Use 'All' and 'Any' instead of 'Contract.ForAll' and 'Contract.Exists' in cod...	wuestholz	2013-07-22
*	Fixed the Coco/R grammar and regenerated the parser.	wuestholz	2013-07-22
*	All ...Seq classes now gone	Ally Donaldson	2013-07-22
*	ExprSeq: farewell	Ally Donaldson	2013-07-22
*	RESeq: farewell	Ally Donaldson	2013-07-22
*	BlockSeq: farewell	Ally Donaldson	2013-07-22
*	StringSeq: farewell	Ally Donaldson	2013-07-22
*	CmdSeq: farewell	Ally Donaldson	2013-07-22
*	Fixes to refactoring	Ally Donaldson	2013-07-22
*	Started to remove ...Seq classes	Ally Donaldson	2013-07-22
*	More refactoring	Ally Donaldson	2013-07-22
*	More refactoring	Ally Donaldson	2013-07-22