debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Dafny: the DafnyExtension mode for Visual Studio now calls the verifier and v...	Unknown	2012-08-08
*	Changed copyright year range to include 2012	Rustan Leino	2012-07-03
*	integrating predication	qadeer	2012-06-19
*	Boogie: add /printCFG command line option, which prints each implementation's...	Peter Collingbourne	2012-06-06
*	1. Fix for free ensures in inlined procedures. Becomes a skip instead of an a...	Unknown	2012-06-01
*	Better interface for adding skipped calls, and	akashlal	2012-05-26
*	Adding an option for deterministicExtractLoops, that uses an alternate way to...	Unknown	2012-05-25
*	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
*	added nonUniformUnfolding option	qadeer	2012-04-03
*	deleted the option UseUnsatCoreForInlining	qadeer	2012-04-02
*	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
*	Boogie: Added new abstract interpretation harness, which uses native Boogie E...	Rustan Leino	2011-12-05
*	Added option of turning off model generation in SI. Can be very expensive som...	akashlal	2011-11-26
*	Boogie: fixed build error (incorrect type in Contract.Result)	Rustan Leino	2011-11-16
*	Boogie (and Dafny, with effects also on SscBoogie): I refactored CommandLine...	Rustan Leino	2011-11-15
*	added the option /inlineDepth:n. This option defaults to -1. If the user prov...	qadeer	2011-11-13
*	Dafny: added a new /inductionHeuristic option	Rustan Leino	2011-11-04
*	Dafny: added options to make Induction Heuristic apply to array index express...	Rustan Leino	2011-11-04
*	Merge	Rustan Leino	2011-10-29
\|\
* \|	Dafny induction:	Rustan Leino	2011-10-29
\| *	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
\| *	Boogie: Eliminated the /bv option. Only native bitvectors are supported now. ...	Rustan Leino	2011-10-27
\| *	Boogie: Changed default /prover to SMTLIB	Rustan Leino	2011-10-27
\|/
*	Added a push+pop+unsat-core interface to SMTLib (for stratified inlining only)	Unknown	2011-10-19
*	Dafny: generate a compiler error upon encountering an assume statement	Rustan Leino	2011-09-11
*	deleted lazyinlining option 2 and 3	qadeer	2011-08-17
*	Added "procedure-copy bounding" for lazy inlining	Unknown	2011-08-10
*	further updates to bit vector analysis	qadeer	2011-08-09
*	various changes to boogie for bitvector analysis and bctprovider	qadeer	2011-08-08
*	cleaned up houdini options	qadeer	2011-08-04
*	Updated the Parser.cs and Scanner.cs files in Boogie and Dafny and removed so...	wuestholz	2011-07-15
*	Boogie: New cli option -z3exe:"path-to-z3.exe" allowing specifying path to th...	Unknown	2011-07-05
*	Added the /noCheating option. (treats assume as assert and drops free.)	Jason Koenig	2011-07-01
*	Added option to force Dafny compilation, even if verification fails.	Jason Koenig	2011-06-30
*	Avoid restarting the theorem prover for stratified inlining because it	Unknown	2011-06-25
*	implementation of iterative LetVC	qadeer	2011-06-23