debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	various updates and tighter integration of QED stuff into mainline	qadeer	2013-12-19
*	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
*	Updates on YieldTypeCheck	kuruis	2013-12-11
*	Remove some (redundant) preconditions to avoid 'ccrewrite' errors.	wuestholz	2013-12-11
*	some refactoring of QED stuff	qadeer	2013-12-10
*	various updates	qadeer	2013-12-09
*	Merge	Ally Donaldson	2013-12-09
\|\
* \|	Small change related to CVC4 support. Patch by Pantazis Deligiannis	Ally Donaldson	2013-12-09
\| *	Expose certain program transformations in the execution engine to invoke them...	wuestholz	2013-12-09
\| *	debug hastags are inserted to yieldtypechecker	kuruis	2013-12-08
\| *	changed the output path for the QED build configuration to the Binaries folder	qadeer	2013-12-08
\| *	The back pred files have been eliminated. The small backpred string is now d...	qadeer	2013-12-08
\| *	removed bitvector analysis from Boogie	qadeer	2013-12-08
\|/
*	Proper transition tags added for providing language containtment between two ...	kuruis	2013-12-07
*	fixed a bug regarding invocation of modsetanalysis w.r.t. OG desugaring	qadeer	2013-12-07
*	Automata.dll functions are used to create Automata from Graph	kuruis	2013-12-06
*	Some bugs on yieldtypechecker graph solved	kuruis	2013-12-05
*	Building raw graphs of YieldTypeChecker for building Automata is added	kuruis	2013-12-04
*	first check in	qadeer	2013-12-04
*	updated the reference in Concurrency.csproj to Microsoft.Automata.dll (after ...	qadeer	2013-12-02
*	forgot to add this file	qadeer	2013-12-02
*	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
\|/
*	binary tree of ANDs saves stack space	akashlal	2013-11-29
*	added some type checking code	qadeer	2013-11-25
*	moved some files around	qadeer	2013-11-22
*	factored the concurrency checking code into a separate project	qadeer	2013-11-22
*	do monomorphic checking	qadeer	2013-11-22
*	Fixedpoint VC catch up with recent changes	Ken McMillan	2013-11-11
*	Merge duality changes to mainline	Ken McMillan	2013-11-09
\|\
\| *	handling timeouts for fixedpoint engines	Ken McMillan	2013-11-09
* \|	Merge	Pantazis Deligiannis	2013-11-07
\|\ \
\| * \|	Fixes to predication. Patch by Jeroen Ketema.	Ally Donaldson	2013-11-06
\| * \|	code cleanup	akashlal	2013-11-02
\| * \|	AbsHoudini: Support timeout, MakeTop, InlineFunctions	akashlal	2013-11-02
\| * \|	ProverInterface: model isn't available on timeout	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
\| \| * \|	and a test case	akashlal	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
\| \|/ /
\| * \|	And a test case	akashlal	2013-10-21
\| * \|	Bug fix in stratified inlining (triggered by {:inline} functions)	akashlal	2013-10-21