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.
*	Changed BVD to display shortened names if they are unique.	wuestholz	2013-08-05
\|
*	BVD: Default to expert view; Only VCC uses that stuff now, and all VCC users ↵	Michal Moskal	2011-10-19
\| \| \| \|	are clearly experts
*	Introduce states more aggressively. Show is_null() for pointers.	Michal Moskal	2011-04-06
\|
*	Improve display of sets; add \now "variable";	MichalMoskal	2011-01-29
\|
*	VCC-BVD: display qualifiers of VCC-generated copies of local variables; hide ↵	MichalMoskal	2011-01-26
\| \| \| \| \| \| \|	states that do not update "$s" (heap). Fix some bugs in source view. Rename SourceLocation to SourceViewState.
*	Display line numbers (useful for finding what the error message refers to)	MichalMoskal	2011-01-26
\|
*	Right-clicking on a state allows to display the source code for it	MichalMoskal	2011-01-26
\|
*	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
*	Improve the generic model viewer	MichalMoskal	2010-11-06
\|
*	Add find find uses and find aliases facilities	MichalMoskal	2010-11-06
\|
*	Simplify languague-specific interface	MichalMoskal	2010-11-06
\|
*	Rework canonical name computation	MichalMoskal	2010-11-03
\| \| \| \|	Sort fields inteligently (allow for override as well)
*	Introduce distinction between canonical element name and its aliases	MichalMoskal	2010-10-26
\|
*	More work on the generic namer	MichalMoskal	2010-10-26
\|
*	Start work on the generic namer	MichalMoskal	2010-10-26
\|
*	Make it display maps	MichalMoskal	2010-10-15
\|
*	Implement struct printing	MichalMoskal	2010-10-14
\|
*	Work on keeping the unfolding skeleton when switching between states	MichalMoskal	2010-10-14
\|
*	Add DisplayNode class with default IDisplayNode implementation. Add ↵	MichalMoskal	2010-10-14
\| \| \| \|	IDisplayNode.State.
*	Add interfaces for langauge providers. Start with VCC provider.	MichalMoskal	2010-10-12
\|
*	Add function and constant view	MichalMoskal	2010-10-12
\|
*	Put in proper namespace, move files around.	MichalMoskal	2010-10-12