debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	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
*	Boogie: added features to help with modular verification. In particular, defi...	Rustan Leino	2011-05-13
*	boogie.exe: allow to reset the command line options so we can re-use the boog...	stobies	2011-04-01
*	Minor fixes	schaef	2011-03-27
*	Dafny: compile quantifiers	rustanleino	2011-03-26
*	new algorithm for dead code detection (vc:doomed)	schaef	2011-03-15
*	Fix contracts so runtime checking can be turned on.	mikebarnett	2011-03-07
*	Fix help for /mv	MichalMoskal	2011-02-18
*	Provide /p: as the short form of /proverOpt:.	MichalMoskal	2011-02-17
*	Stratified inlining: Added concrete values to error traces. Added an extra fl...	akashlal	2011-02-17
*	Get rid of -smtOutput option. Add /proverOpt:OUTPUT=... to SMT and TPTP prove...	MichalMoskal	2011-02-11
*	implemented /UseUnsatCoreForInlining option for use in stratified inlining	qadeer	2011-02-06
*	Dafny: removed CEV instrumentation	rustanleino	2011-02-03
*	Add description of {:selective_checking} to the /attrHelp. Fix the testcase.	MichalMoskal	2011-01-13
*	z3api: Bug fix with timeout. Use CheckAssumptions.	akashlal	2010-12-07
*	Eliminated dependencies on SpecSharp and CCI from Boogie.sln and Dafny.sln	qadeer	2010-12-01
*	Make the -mv option use the new Model class.	MichalMoskal	2010-10-12
*	Boogie:	rustanleino	2010-09-23
*	Some simplifications to coverage reporting for StratifiedInlining.	akashlal	2010-09-19
*	Dafny: added a command-line option to change the prelude file	sboehme	2010-08-30
*	Added a short description of new flags added to Boogie.	akashlal	2010-08-23
*	Boogie: Committing changed source files	tabarbe	2010-08-20
*	Boogie: Renaming core sources in preparation for port commit	tabarbe	2010-08-20