debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
...
*	Use the new ProverInterface's Evaluate method in stratified inlinig	Unknown	2013-01-03
*	bunch of refactorings	Unknown	2012-10-03
*	Removed AIFramework from Boogie -- use native trivial or native interval-base...	boehmes	2012-09-27
*	deleted an unused class	qadeer	2012-06-12
*	refactoring in SI	qadeer	2012-06-12
*	1. changed new SI implemnetation so that it performs substitution for call sites	qadeer	2012-06-10
*	final (hopefully) fix to new SI	qadeer	2012-06-07
*	testing a fix in SI	qadeer	2012-06-07
*	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
\| *	Refactored CheckAssumptions API	Unknown	2012-04-02
\|/