debian-boogie - Debian packaging for Boogie

	Commit message (Collapse)	Author	Age
*	Normalise line endings using a .gitattributes file. Unfortunately	Dan Liew	2015-06-28
\| \| \| \| \| \|	this required that this commit globally modify most files. If you want to use git blame to see the real author of a line use the ``-w`` flag so that whitespace changes are ignored.
*	Make it possible to look up variables in the Dafny error models.	wuestholz	2013-07-30
\|
*	Search in long names, not the short ones	MichalMoskal	2010-12-16
\|
*	Introduce node categories; sort fields based on that not special characters	MichalMoskal	2010-12-01
\|
*	Implement different levels of view (normal, expert, etc).	MichalMoskal	2010-11-09
\| \| \| \|	Display functions and pointer sets in VCC
*	Right-click enable	MichalMoskal	2010-11-06
\|
*	Add find find uses and find aliases facilities	MichalMoskal	2010-11-06
\|
*	Simplify languague-specific interface	MichalMoskal	2010-11-06
\|
*	Add search facility	MichalMoskal	2010-11-04
\|
*	Rework canonical name computation	MichalMoskal	2010-11-03
\| \| \| \|	Sort fields inteligently (allow for override as well)
*	More work on the generic namer	MichalMoskal	2010-10-26
\|
*	Start work on the generic namer	MichalMoskal	2010-10-26
\|
*	Move SkeletonItem to a separate file	MichalMoskal	2010-10-14