debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	1. Fixed an off-by-one error in parsing array partitions in Z3 models	qadeer	2010-04-19
*	Fixed a bug. Call RegisterType before the collection of Select and Store fun...	qadeer	2010-04-19
*	First cut of lazy inlining. The option can be turned on by the flag /lazyInl...	qadeer	2010-04-17
*	Dafny: Removed the previous optional curly braces in match expressions (use p...	rustanleino	2010-04-02
*	Dafny:	rustanleino	2010-03-31
*	Dafny: Ensures that function axioms are not being used while their consisten...	rustanleino	2010-03-19
*	Dafny:	rustanleino	2010-03-18
*	Dafny:	rustanleino	2010-03-16
*	Dafny:	rustanleino	2010-03-16
*	Dafny: Added definedness checks for all statements (previously, some were mi...	rustanleino	2010-03-13
*	Added wellformedness checks to method specifications	rustanleino	2010-03-12
*	Dafny:	rustanleino	2010-03-12
*	Call program-wide lambda desugaring on axioms only. Call it on procedures in ...	MichalMoskal	2010-03-12
*	Boogie: Clone a TypedIdent to get rid of 'where' clauses during the translati...	rustanleino	2010-03-12
*	Dafny:	rustanleino	2010-03-11
*	Dafny: Added stratosphere tests for datatypes--that is, it is now checked th...	rustanleino	2010-03-11
*	Dafny:	rustanleino	2010-03-10
*	Boogie: Added resolution and type checking for attributes on "call" and "call...	rustanleino	2010-03-09
*	added support for printing attributes on calls via Emit	qadeer	2010-03-08
*	added attributes to CallForallCmd as well	qadeer	2010-03-07
*	added the ability to annotate calls with attributes	qadeer	2010-03-06
*	Boogie:	rustanleino	2010-02-20
*	added an option /doModSetAnalysis specially for Zvonimir	qadeer	2010-02-20
*	Fix up the polymorphic case for lambda; it probably still isn't quite correct.	MichalMoskal	2010-02-19
*	Split parts of AbsyExpr.ssc into AbsyQuant.ssc. Implement lambda expressions;...	MichalMoskal	2010-02-19
*	Update to F# 1.9.9.9.	MichalMoskal	2010-02-18
*	Implement if-then-else expression.	MichalMoskal	2010-02-18
*	* Added "deprecated" comment in help message about /interprocInfer switch. T...	rustanleino	2010-02-18
*	1. Removed a quadratic loop in SimplifyLikeLineariser.ssc in favor of a linea...	qadeer	2010-02-16
*	Implemented block coalescing invoked right after type checking.	qadeer	2010-02-16
*	Boogie: Peephole optimization to reduce depth of formulas created during VC ...	rustanleino	2010-02-15
*	Dafny:	rustanleino	2010-02-13
*	(no commit message)	qadeer	2010-02-12
*	1. Fixed bug in StandardVisitor.ssc	qadeer	2010-02-09
*	Boogie: /useArrayTheory currently implies /monomorphize	rustanleino	2010-02-09
*	Fix a bug in checking for {:inline} procedure attribute. Resolves #6993.	MichalMoskal	2010-02-08
*	Use reflection to read version string from assembly when displaying logo info...	stobies	2010-02-08
*	Removed Unicode chars from Assembly attributes - they are not liked too much ...	stobies	2010-02-08
*	Preparing Isabelle plugin sources for VCC release.	stobies	2010-02-08
*	Dafny: Added if-then-else expressions (replacing and extending the previous b...	rustanleino	2010-02-04
*	Fixed the implementation of inlining to deal with inlining depth properly.	qadeer	2010-01-30
*	Dafny: Added support for big integers.	rustanleino	2010-01-28
*	bugfix	schaef	2010-01-28
*	Added experimental feature /DoomDebug. Can be test using Test/doomed/doomdebu...	schaef	2010-01-28
*	Fixed bug in DEFTYPE declarations for maps. Made sure that argument and resu...	qadeer	2010-01-28
*	Implemented the command line switch /useArrayTheory. This switch should be u...	qadeer	2010-01-21
*	Dafny:	rustanleino	2010-01-14
*	Doomed checking now uses the counterexample trace to minimize the number of t...	schaef	2009-12-18
*	Allow ":" in addition to "returns" in function definitions. Make the pretty-p...	MichalMoskal	2009-12-17
*	Added prover plugin for Isabelle/HOL.	sboehme	2009-12-14