debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Dafny/Boogie/BVD: made Dafny plug-in for BVD work again	Rustan Leino	2012-06-08
*	Removed program argument from VerifyImplementation. It is redundant since th...	qadeer	2012-05-29
*	starting the implementation of the new stratified inlining API	qadeer	2012-05-21
*	z3 process is killed now	qadeer	2012-05-01
*	clean up in stratified inlining	qadeer	2012-04-29
*	eliminated class ErrorModel	qadeer	2012-04-28
*	Boogie: output number of proof obligations (asserts) along with timing inform...	Rustan Leino	2012-01-09
*	fixed problems with datatypes	qadeer	2011-12-29
*	Make set iteration order deterministic	Michal Moskal	2011-12-07
*	Boogie: Fixed a crash due to old expressions in lambda expressions that were ...	wuestholz	2011-12-02
*	refactoring houdini so that it creates only a single instance of z3	qadeer	2011-11-16
*	Eliminated unused argument in the constructor for Checker	qadeer	2011-11-16
*	Name the constant used in @MV_state function applications - otherwise we get ...	Michal Moskal	2011-09-26
*	fixes to model value generation for stratified inlining	qadeer	2011-09-12
*	further fixes	qadeer	2011-09-08
*	partial check in regarding getting states working with stratified inlining	qadeer	2011-09-06
*	added code to handle irreducible graphs	qadeer	2011-08-20
*	ported all the counterexample code to Michal's new Model class; the goal is t...	Unknown	2011-06-27
*	early clearing of live variables and incarnation maps	qadeer	2011-06-24
*	Print recorded value of any type	akashlal	2011-03-21
*	Print out requested values in the counterexample trace	akashlal	2011-03-17
*	Renamed NonNullElements to NonNullDictionaryAndValues because the keys to dic...	mikebarnett	2011-03-10
*	Fix contracts so runtime checking can be turned on.	mikebarnett	2011-03-07
*	Stratified inlining: Added concrete values to error traces. Added an extra fl...	akashlal	2011-02-17
*	Boogie: Did some minor refactoring.	wuestholz	2010-12-10
*	Construct @MV_state function only once so it doesn't get renamed to @MV_state...	MichalMoskal	2010-12-02
*	Refactoring: pulled out all code for stratified inlining to a new file.	akashlal	2010-11-23
*	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
*	Add interfaces for langauge providers. Start with VCC provider.	MichalMoskal	2010-10-12
*	Add missing Clone() when storing incarnation maps; update testcase to make th...	MichalMoskal	2010-10-12
*	Make the -mv option use the new Model class.	MichalMoskal	2010-10-12
*	Boogie:	rustanleino	2010-10-12
*	Boogie: fixed a Code Contract in the source	rustanleino	2010-10-09
*	Add state sequence API and creation, still untested	MichalMoskal	2010-10-08
*	Boogie:	rustanleino	2010-09-24
*	Boogie:	rustanleino	2010-09-23
*	Added a new VC.ConditionGeneration.Outcome: StratifiedInlining can signal tha...	akashlal	2010-09-05
*	Henrique's addition to the the ErrorHandler API to retrieve models	qadeer	2010-09-03
*	Added a way of recovering counterexample paths after loop extraction. Stable,...	akashlal	2010-09-01
*	Boogie: Commented out all occurences of repeated inherited contracts - makes ...	tabarbe	2010-08-27
*	Boogie: Removed some errors with code contracts (commenting out doubly-inheri...	tabarbe	2010-08-27
*	Boogie: Fixed some doubly-inherited-contract occurrences.	tabarbe	2010-08-20
*	Boogie: Added boolean code expressions (sans well-formedness checks on the in...	rustanleino	2010-08-10
*	More line ending fixups.	MichalMoskal	2010-08-06
*	Boogie: Removed trailing spaces in code	tabarbe	2010-08-04
*	Boogie: VCGeneration port part 1/3: Replacing old source files with ported ve...	tabarbe	2010-07-28
*	Boogie\VCGeneration: Renaming sources in preparation for my addition of the p...	tabarbe	2010-07-28