debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	refactoring in SI	qadeer	2012-06-12
*	Merge	qadeer	2012-06-10
\|\
* \|	1. changed new SI implemnetation so that it performs substitution for call sites	qadeer	2012-06-10
\| *	Dafny/Boogie/BVD: made Dafny plug-in for BVD work again	Rustan Leino	2012-06-08
\|/
*	final (hopefully) fix to new SI	qadeer	2012-06-07
*	testing a fix in SI	qadeer	2012-06-07
*	Merging again	Ken McMillan	2012-06-07
\|\
\| *	Trying to merge with recent changes, failing.	Ken McMillan	2012-06-05
\| \|\
\| \| *	Some changes to support expanded use of z3api.	Ken McMillan	2012-06-05
* \| \|	Bug fix with mvInfo during VCGen	akashlal	2012-06-06
* \| \|	update to SI	qadeer	2012-06-04
\|/ /
* \|	moved class Macro to Absy	qadeer	2012-06-04
* \|	added FindLeastToVerify to StratfiedVCGenBase as an abstract method	qadeer	2012-05-30
* \|	moved a couple of overrides from StratifiedVCGen to StratifiedVCGenBase	qadeer	2012-05-30
* \|	added support for recordProcCallSites to new SI	qadeer	2012-05-30
* \|	extra recursion bound	akashlal	2012-05-30
* \|	further refactoring of SI;	qadeer	2012-05-29
* \|	Removed program argument from VerifyImplementation. It is redundant since th...	qadeer	2012-05-29
* \|	further refactoring	qadeer	2012-05-28
* \|	more refactoring	qadeer	2012-05-28
* \|	Merge	qadeer	2012-05-28
\|\ \
* \| \|	removed call site simplification from the old SI flow	qadeer	2012-05-28
\| * \|	No need for extra attributes in ExtractLoops	akashlal	2012-05-28
\| * \|	updating FindLeastToVerify to the new flow	akashlal	2012-05-28
\|/ /
* \|	Better interface for adding skipped calls, and	akashlal	2012-05-26
* \|	new stratified inlining (initial prototype)	qadeer	2012-05-25
* \|	more refactoring in stratified inlining	qadeer	2012-05-24
* \|	small fix	qadeer	2012-05-21
* \|	starting the implementation of the new stratified inlining API	qadeer	2012-05-21
* \|	Merge	qadeer	2012-05-10
\|\ \
* \| \|	some other cleanups	qadeer	2012-05-10
\| * \|	Slightly better management of outermost Push-Pop and FlushAxioms	Unknown	2012-05-02
\|/ /
* \|	z3 process is killed now	qadeer	2012-05-01
* \|	added counterexample generation based on labels back to stratified inlining	qadeer	2012-05-01
* \|	log file fix	qadeer	2012-04-30
* \|	clean up in stratified inlining	qadeer	2012-04-29
* \|	eliminated class ErrorModel	qadeer	2012-04-28
* \|	removed proccopybounding code	qadeer	2012-04-28
* \|	eliminated LazyInliningInfo	qadeer	2012-04-28
* \|	removed lazy inlining	qadeer	2012-04-28
* \|	Added test to stratified inlining.	Unknown	2012-04-24
* \|	various changes for using unsat cores in Houdini	qadeer	2012-04-17
* \|	Added functionality to "skip" procedures. Some cleanup.	akashlal	2012-04-12
* \|	added nonUniformUnfolding option	qadeer	2012-04-03
* \|	deleted the option UseUnsatCoreForInlining	qadeer	2012-04-02
* \|	Merge	qadeer	2012-04-01
\|\ \
* \| \|	commented out SuperAwesomeMethod	qadeer	2012-04-01
\| * \|	bug fix for previous refactoring	Unknown	2012-04-02
* \| \|	Merge	qadeer	2012-04-01
\|\\| \|
* \| \|	partial work on non-uniform loop unrolling	qadeer	2012-04-01