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.
*	BVD: Default to expert view; Only VCC uses that stuff now, and all VCC users ↵	Michal Moskal	2011-10-19
\| \| \| \|	are clearly experts
*	Tree navigation with left/right arrow	Michal Moskal	2011-09-20
\|
*	BVD: Smaller initial window (to better fit on a laptop screen)	Rustan Leino	2011-04-22
\|
*	Add "Large font" menu item (for demos)	Michal Moskal	2011-04-15
\|
*	model viewer:	stobies	2011-04-01
\| \| \| \| \| \|	Allow opening model file via dialog Added shortcut keys for the menu items Made ReloadModel public so that we can use is as an entry point for a VS tool window
*	Double-click in state list brings up source view	MichalMoskal	2011-01-26
\|
*	Right-clicking on a state allows to display the source code for it	MichalMoskal	2011-01-26
\|
*	Add reload-model option. Bugfixes when switching models	MichalMoskal	2010-12-15
\|
*	Include one more expert level (this need to be rethought I guess).	MichalMoskal	2010-12-14
\| \| \| \|	Display res__ VCC variables.
*	Add an icon. Get rid of SearchBox (not used).	MichalMoskal	2010-12-10
\|
*	Allow for model selection if there are multiple in the file	MichalMoskal	2010-12-10
\|
*	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
*	Show previous state	MichalMoskal	2010-11-06
\|
*	Improve the generic model viewer	MichalMoskal	2010-11-06
\|
*	Right-click enable	MichalMoskal	2010-11-06
\|
*	Add search facility	MichalMoskal	2010-11-04
\|
*	Handle aliases better	MichalMoskal	2010-10-26
\|
*	Introduce distinction between canonical element name and its aliases	MichalMoskal	2010-10-26
\|
*	Display state sequential numbers	MichalMoskal	2010-10-14
\|
*	Display values in the state list	MichalMoskal	2010-10-14
\|
*	Make the tree actually work	MichalMoskal	2010-10-14
\|
*	Work on keeping the unfolding skeleton when switching between states	MichalMoskal	2010-10-14
\|
*	Add interfaces for langauge providers. Start with VCC provider.	MichalMoskal	2010-10-12
\|
*	Put in proper namespace, move files around.	MichalMoskal	2010-10-12
\|
*	Starting work on Boogie Model Viewer.	MichalMoskal	2010-10-12