debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Fix contracts so runtime checking can be turned on.	mikebarnett	2011-03-07
*	Handle as-array[...] model elements	MichalMoskal	2011-02-23
*	Parse else-> clauses in the model	MichalMoskal	2011-02-23
*	Throw exceptions when push/pop interface is used but not implemented	MichalMoskal	2011-02-23
*	Implement Push/Pop interface.	MichalMoskal	2011-02-23
*	Move model printing to ErrorModel class	MichalMoskal	2011-02-21
*	Allow use ErrorModel as a container for Model - make -mv work with SMTLib on Z3	MichalMoskal	2011-02-18
*	Kill {:prover "..."} attribute support; no one ever used this stuff	MichalMoskal	2011-02-17
*	Stratified inlining: Added concrete values to error traces. Added an extra fl...	akashlal	2011-02-17
*	Fix with timeout	akashlal	2011-02-12
*	Better support for timeout	akashlal	2011-02-12
*	Get rid of -smtOutput option. Add /proverOpt:OUTPUT=... to SMT and TPTP prove...	MichalMoskal	2011-02-11
*	Minor change to stratified inlining	akashlal	2011-02-11
*	Added a new method StratifiedVC for refinement.	akashlal	2011-02-08
*	implemented /UseUnsatCoreForInlining option for use in stratified inlining	qadeer	2011-02-06
*	deleted debugging statement	akashlal	2011-02-05
*	Fix to counterexample generation for over-approx query	akashlal	2011-02-05
*	Don't treat "Inconclusive" answer as fatal when splitting.	MichalMoskal	2011-02-02
*	stratified inlining: minor fix to the call tree being saved	akashlal	2010-12-21
*	stratified inlining: record the name of the main procedure.	akashlal	2010-12-18
*	Add new feature: {:selective_checking} on procedures. See testcase for a desc...	MichalMoskal	2010-12-17
*	Add functions generated in lambda-expansion of function body to top-level pro...	MichalMoskal	2010-12-17
*	stratified inlining: minor changes to coverage reporter	akashlal	2010-12-13
*	Boogie: Did some minor refactoring.	wuestholz	2010-12-10
*	stratified inlining: added option of turning off CheckAssumptions	akashlal	2010-12-07
*	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
*	Construct @MV_state function only once so it doesn't get renamed to @MV_state...	MichalMoskal	2010-12-02
*	stratified inlining: small fix	akashlal	2010-12-01
*	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
*	z3api: Print log in smtlib2 format. Use CheckAssumptions (currently broken)	akashlal	2010-11-29
*	Added CheckAssumptions api interface	akashlal	2010-11-28
*	Ported all projects to .NET Framework 4.0 in both Boogie.sln and Dafny.sln. ...	qadeer	2010-11-27
*	small fix to previous checkin	akashlal	2010-11-24
*	Some changes to the prover interface to make way for z3-api.	akashlal	2010-11-24
*	more refactoring	akashlal	2010-11-23
*	More refactoring	akashlal	2010-11-23
*	Refactoring: pulled out all code for stratified inlining to a new file.	akashlal	2010-11-23
*	Changed stratified inlining: can now be user-guided	akashlal	2010-11-22
*	Minor updates for printing coverage graph of stratified inlining	akashlal	2010-11-14
*	ModelViewer:	rustanleino	2010-11-02
*	Dafny: a partial first crack at a Dafny model-viewer provider, including capt...	rustanleino	2010-11-01
*	Skip unchagned variables in model dumps. Fix testcase	MichalMoskal	2010-10-14
*	Bug fixes and speed up for doomed program point analysis	schaef	2010-10-13
*	Add interfaces for langauge providers. Start with VCC provider.	MichalMoskal	2010-10-12
*	Put Model.cs in separate assembly. Fix signing/versioning with it.	MichalMoskal	2010-10-12
*	Add missing Clone() when storing incarnation maps; update testcase to make th...	MichalMoskal	2010-10-12
*	Add function and constant view	MichalMoskal	2010-10-12