debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Normalise line endings using a .gitattributes file. Unfortunately	Dan Liew	2015-06-28
*	Changed BVD to display shortened names if they are unique.	wuestholz	2013-08-05
*	Make it possible to look up variables in the Dafny error models.	wuestholz	2013-07-30
*	Fixed issue in the model viewer.	wuestholz	2013-07-29
*	Dafny/Boogie/BVD: made Dafny plug-in for BVD work again	Rustan Leino	2012-06-08
*	BVD: fixed two basic but damning problems with the Dafny provider, and elided...	Rustan Leino	2011-10-26
*	Dafny: removed CEV instrumentation	rustanleino	2011-02-03
*	BVD Dafny: support Skolem constants	rustanleino	2011-02-02
*	Allow the provider to skip some states when generating SourceLocations	MichalMoskal	2011-01-26
*	Introduce new NamedState base class to reduce code duplication	MichalMoskal	2011-01-26
*	Right-clicking on a state allows to display the source code for it	MichalMoskal	2011-01-26
*	More user-friendly canonical names	MichalMoskal	2011-01-17
*	Make the filename length limit be 30 (as in VCC)	MichalMoskal	2011-01-14
*	Rework the namer interface a bit	MichalMoskal	2010-12-10
*	Introduce node categories; sort fields based on that not special characters	MichalMoskal	2010-12-01
*	Dafny: Improved default decreases clauses for methods and functions	rustanleino	2010-11-25
*	BVD for Dafny: improved string that displays array indices	rustanleino	2010-11-17
*	BVD Dafny provider: treat sets and datatype values	rustanleino	2010-11-17
*	Implement different levels of view (normal, expert, etc).	MichalMoskal	2010-11-09
*	Simplify languague-specific interface	MichalMoskal	2010-11-06
*	Refactor the Namer into two classes	MichalMoskal	2010-11-04
*	Rework canonical name computation	MichalMoskal	2010-11-03
*	Dafny model viewer: handle (single- and multi-dimensional) arrays	rustanleino	2010-11-03
*	ModelViewer:	rustanleino	2010-11-02
*	Dafny: a partial first crack at a Dafny model-viewer provider, including capt...	rustanleino	2010-11-01