debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Fix contracts so runtime checking can be turned on.	mikebarnett	2011-03-07
*	Add IEnumerable.Concat1 method.	MichalMoskal	2011-02-23
*	Fix help for /mv	MichalMoskal	2011-02-18
*	Boogie: Fixed problem with binding power of .[.] versus type coercions in pre...	rustanleino	2011-02-17
*	Provide /p: as the short form of /proverOpt:.	MichalMoskal	2011-02-17
*	Add IEnumerable.Iter	MichalMoskal	2011-02-17
*	Stratified inlining: Added concrete values to error traces. Added an extra fl...	akashlal	2011-02-17
*	Add some extension methods to IEnumberable<T>	MichalMoskal	2011-02-15
*	Fix a bug in cloning of nested lambda expressions in AI engine	MichalMoskal	2011-02-11
*	Get rid of -smtOutput option. Add /proverOpt:OUTPUT=... to SMT and TPTP prove...	MichalMoskal	2011-02-11
*	Get rid of some warnings.	MichalMoskal	2011-02-11
*	Changed the API for Declaration.AddAttribute so it takes a params argument so...	mikebarnett	2011-02-09
*	Added a new method StratifiedVC for refinement.	akashlal	2011-02-08
*	implemented /UseUnsatCoreForInlining option for use in stratified inlining	qadeer	2011-02-06
*	Dafny: removed CEV instrumentation	rustanleino	2011-02-03
*	Boogie: Eliminated a couple of warnings by removing unused variable declarati...	wuestholz	2011-01-21
*	Add description of {:selective_checking} to the /attrHelp. Fix the testcase.	MichalMoskal	2011-01-13
*	fixed a small bug in inline code	qadeer	2010-12-20
*	A couple of bug fixes	akashlal	2010-12-16
*	fixed a couple of issues:	qadeer	2010-12-16
*	Cleanup up the inlining code	qadeer	2010-12-15
*	Changed the behavior of /doModSetAnalysis so that	qadeer	2010-12-15
*	Add ToString() overrides to help in debugging	MichalMoskal	2010-12-10
*	z3api: Bug fix with timeout. Use CheckAssumptions.	akashlal	2010-12-07
*	Added version.cs as link to those projects that were missing it	stobies	2010-12-06
*	Factored out the ParserHelper class into a separate project and updated the f...	wuestholz	2010-12-02
*	Get rid of F# dependencies - use System.Numerics and a custom Rational struct...	MichalMoskal	2010-12-02
*	stratified inlining: reuse call tree across queries	akashlal	2010-12-01
*	Eliminated dependencies on SpecSharp and CCI from Boogie.sln and Dafny.sln	qadeer	2010-12-01
*	Ported all projects to .NET Framework 4.0 in both Boogie.sln and Dafny.sln. ...	qadeer	2010-11-27
*	Updated parser.cs files to pick up the new .frame improvements from boogiepar...	rustanleino	2010-10-26
*	Boogie:	rustanleino	2010-10-26
*	a bug fix in the loop extraction code	qadeer	2010-10-19
*	Make the -mv option use the new Model class.	MichalMoskal	2010-10-12
*	Boogie:	rustanleino	2010-10-12
*	Get rid of some CCI dependencies in Driver	MichalMoskal	2010-10-07
*	Update to VS2010.	MichalMoskal	2010-10-07
*	Boogie:	rustanleino	2010-09-23
*	Some simplifications to coverage reporting for StratifiedInlining.	akashlal	2010-09-19
*	added an optimization to extract loops so that only loop targets are treated ...	qadeer	2010-09-10
*	Added a new VC.ConditionGeneration.Outcome: StratifiedInlining can signal tha...	akashlal	2010-09-05
*	Delete unreachable Blocks of an Impl before calling ExtractLoops().	akashlal	2010-09-05
*	Fix for extractLoops	akashlal	2010-09-04
*	more fixes to ExtractLoops	qadeer	2010-09-03
*	Added a fix to extract loops code so that it returns a more comprehensive map...	qadeer	2010-09-03
*	Changed the interface of Parse so that it can consume a program from a Stream	akashlal	2010-09-03
*	fixed bug in extract loops by ensuring that loop extraction is done in nestin...	qadeer	2010-09-01
*	Added a way of recovering counterexample paths after loop extraction. Stable,...	akashlal	2010-09-01
*	Added a new class LoopProcedure to represent the procedures representing extr...	qadeer	2010-09-01
*	Dafny: added a command-line option to change the prelude file	sboehme	2010-08-30