debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	1. Fix for free ensures in inlined procedures. Becomes a skip instead of an a...	Unknown	2012-06-01
*	No need for extra attributes in ExtractLoops	akashlal	2012-05-28
*	Better interface for adding skipped calls, and	akashlal	2012-05-26
*	Merge	Unknown	2012-05-25
\|\
* \|	Adding an option for deterministicExtractLoops, that uses an alternate way to...	Unknown	2012-05-25
\| *	Merge	qadeer	2012-05-24
\| \|\ \| \|/ \|/\|
\| *	more refactoring in stratified inlining	qadeer	2012-05-24
* \|	Boogie: document /typeEncoding:m	Peter Collingbourne	2012-05-22
\|/
*	Boogie: handle absolute paths on *nix correctly	Peter Collingbourne	2012-05-02
*	Get Boogie and GPUVerify to compile and run with Mono	Peter Collingbourne	2012-05-02
*	added counterexample generation based on labels back to stratified inlining	qadeer	2012-05-01
*	UseLabels=false when stratified inline is on	qadeer	2012-04-29
*	removed proccopybounding code	qadeer	2012-04-28
*	removed lazy inlining	qadeer	2012-04-28
*	unsat core for houdini	qadeer	2012-04-27
*	Added functionality to "skip" procedures. Some cleanup.	akashlal	2012-04-12
*	Fixed bug with triply nested maps and polymorphism (reported as Item # 10218).	Unknown	2012-04-04
*	added nonUniformUnfolding option	qadeer	2012-04-03
*	deleted the option UseUnsatCoreForInlining	qadeer	2012-04-02
*	Emit of invariants now prints out the invariant attributes also	qadeer	2012-03-26
*	added attributes to loop invariants	qadeer	2012-03-23
*	more type checking for datatypes	qadeer	2012-03-18
*	Boogie: Simplified (and liberalized) parsing of string literals as attribute ...	Unknown	2012-03-12
*	updated Boogie strings so that they can refer to \" (and more)	qadeer	2012-03-12
*	make the call to ProcessDataTypeConstructors in the right place	qadeer	2012-03-11
*	Boogie: map the given filename stdin.bpl to standard input	Unknown	2012-03-09
*	various refactorings related to houdini	qadeer	2012-03-02
*	verbose mode for stratified inlining.	Unknown	2012-02-29
*	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
*	Use DateTime.UtcNow instead of DateTime.Now	stobies	2012-01-11
*	Boogie: output number of proof obligations (asserts) along with timing inform...	Rustan Leino	2012-01-09
*	made delegate a datatype	qadeer	2011-12-30
*	fixed problems with datatypes	qadeer	2011-12-29
*	fixed a completeness problem in houdini with inlining	qadeer	2011-12-18
*	Fixed the Boogie build.	wuestholz	2011-12-16
*	Dafny: Made sure that error locations refer to the Dafny program, even if the...	wuestholz	2011-12-15
*	Boogie: Changed Expr.Not to keep swap arguments rather change direction of op...	Rustan Leino	2011-12-12
*	Merge	Rustan Leino	2011-12-07
\|\
\| *	Merge	Michal Moskal	2011-12-07
\| \|\
\| * \|	Fix atg file and add comment about Set/Variable/	Michal Moskal	2011-12-07
\| * \|	Make set iteration order deterministic	Michal Moskal	2011-12-07
* \| \|	Merge	Rustan Leino	2011-12-05
\|\ \ \ \| \| \|/ \| \|/\|
* \| \|	Boogie: Added new abstract interpretation harness, which uses native Boogie E...	Rustan Leino	2011-12-05
\| \|/ \|/\|
\| *	Emit attribute on a requires	akashlal	2011-12-04
\|/
*	Added option of turning off model generation in SI. Can be very expensive som...	akashlal	2011-11-26
*	fixed bug in the inlineDepth option for houdini	qadeer	2011-11-23
*	Merge	qadeer	2011-11-22
\|\
\| *	Boogie: don't resolve ignored types (that is, "extern" types that have been t...	Rustan Leino	2011-11-22