debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	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
\|/
*	bug fix	qadeer	2012-02-29
*	verbose mode for stratified inlining.	Unknown	2012-02-29
*	Cleaned up code by getting rid of ApiProverInterface.	Unknown	2012-02-29
*	Merge	qadeer	2012-02-28
\|\
* \|	fix to keep old behavior of OnModel in SI	qadeer	2012-02-28
\| *	Introduce ApiProverInterface.CheckOutcomeCore() for stratified inlining; simp...	Michal Moskal	2012-02-28
\|/
*	fixed up SI to work with new error trace generation	qadeer	2012-02-28
*	further fixes	qadeer	2012-02-28
*	various cleanup regarding /doNotUseLabels	qadeer	2012-02-28
*	one more fix	qadeer	2012-02-27
*	fixing stratified inlining to deal with new path info	qadeer	2012-02-27
*	various fixes related to new error traces	qadeer	2012-02-27
*	further fixes related to using uninterpreted function for error traces	qadeer	2012-02-25
*	bug fixes related to using ControlFlowFunction instead of labels	qadeer	2012-02-23
*	using model instead of labels	Unknown	2012-02-23
*	verbose mode	akashlal	2012-02-19
*	Print procs that reached the recursion bound.	Unknown	2012-02-07
*	Use DateTime.UtcNow instead of DateTime.Now	stobies	2012-01-11
*	Boogie: fixed proof-obligation counting	Rustan Leino	2012-01-09
*	Boogie: output number of proof obligations (asserts) along with timing inform...	Rustan Leino	2012-01-09
*	fixed problems with datatypes	qadeer	2011-12-29
*	Make set iteration order deterministic	Michal Moskal	2011-12-07
*	Boogie: Fixed a crash due to old expressions in lambda expressions that were ...	wuestholz	2011-12-02
*	Remove invariant that was just wrong	Michal Moskal	2011-11-28
*	Added option of turning off model generation in SI. Can be very expensive som...	akashlal	2011-11-26
*	minor bug fix in SI	akashlal	2011-11-24
*	minor changes to summary computation	akashlal	2011-11-24
*	fixes to summary computation	Unknown	2011-11-22
*	Added lazy summary computation to stratified inlining (not finished yet)	akashlal	2011-11-20
*	Dafny: fixed bad Code Contracts	Rustan Leino	2011-11-16
*	refactoring houdini so that it creates only a single instance of z3	qadeer	2011-11-16
*	Eliminated unused argument in the constructor for Checker	qadeer	2011-11-16
*	Merge	akashlal	2011-11-16
\|\
\| *	Debugging output for stratified inlining. Emit attribute on Ensures while	Unknown	2011-11-16
* \|	Boogie (and Dafny, with effects also on SscBoogie): I refactored CommandLine...	Rustan Leino	2011-11-15
\|/
*	Merge	qadeer	2011-11-07
\|\
* \|	change in model parsing with datatype values	qadeer	2011-11-07
* \|	Boogie: Get rid of {:inline} attributes on axioms	Michal Moskal	2011-10-27
* \|	Boogie: Get rid of {:ignore} feature on axioms	Michal Moskal	2011-10-27
* \|	Boogie: internal clean-up, removed BvHandling type, everything now behaves as...	Rustan Leino	2011-10-27