debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
...
\| * \|	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
\|/ /
* \|	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