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.
*	Remove dead method argument	Dan Liew	2014-09-24
\| \| \| \|	Patch by Jeroen Ketema
*	Changed BVD to display shortened names if they are unique.	wuestholz	2013-08-05
\|
*	Make it possible to set the font in BVD externally.	wuestholz	2013-07-31
\|
*	Make it possible to look up variables in the Dafny error models.	wuestholz	2013-07-30
\|
*	Allow for certain visual elements of the model viewer to be hidden.	wuestholz	2013-07-28
\|
*	merge	Pantazis Deligiannis	2013-07-22
\|\
\| *	Changed the API to make it possible to set the current state in BVD.	wuestholz	2013-07-21
\| \|
* \|	fix	Pantazis Deligiannis	2013-07-19
\| \|
* \|	merge	Pantazis Deligiannis	2013-07-19
\|\\|
\| *	Split up the model viewer into a library and an application and added some ↵	wuestholz	2013-07-14
\| \| \| \| \| \| \| \|	functionality.
* \|	fix in modelviewer, ParseModels now requires 2 arguments, second should be ↵	Pantazis Deligiannis	2013-07-09
\|/ \| \| \|	an empty string for the default parser
*	Bring SourceView to front when double-clicking source line	stobies	2011-12-08
\|
*	BVD: Fix display bug	Michal Moskal	2011-11-15
\|
*	Make sure items are visible when navigating the model with arrow keys	Michal Moskal	2011-09-23
\|
*	Tree navigation with left/right arrow	Michal Moskal	2011-09-20
\|
*	Formatting.	Michal Moskal	2011-09-20
\|
*	further updates to bctprovider	qadeer	2011-08-05
\|
*	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
\|
*	Removing unused field (and testing mecurial checkins)	Stephan Tobies	2011-04-05
\|
*	model viewer:	stobies	2011-04-01
\| \| \| \|	Hide and disable file menu when run in hosted mode
*	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
*	Model viewer:	stobies	2011-04-01
\| \| \| \| \|	Display message box for exception during execution Allow to pass options to Main window constructor
*	Fix a bug with previous state display	MichalMoskal	2011-01-28
\|
*	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
\|
*	Display full name of node in tooltip	MichalMoskal	2011-01-13
\|
*	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.
*	Support arrays and & pseudo-field	MichalMoskal	2010-12-14
\|
*	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
*	More right-click improvements	MichalMoskal	2010-11-06
\|
*	Show previous state	MichalMoskal	2010-11-06
\|
*	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
\|
*	Update matches when switching states	MichalMoskal	2010-11-04
\|
*	Add search facility	MichalMoskal	2010-11-04
\|
*	Highlight initial state	MichalMoskal	2010-11-03
\|
*	Rework canonical name computation	MichalMoskal	2010-11-03
\| \| \| \|	Sort fields inteligently (allow for override as well)
*	ModelViewer:	rustanleino	2010-11-02
\| \| \| \| \| \| \|	* map back values introduced by bool_2_U and int_2_U * map back internal names for select/store to [n] and [n:=], where n is the arity of the map * added /break switch to ModelViewer * display more things (including sequences) in Dafny provider
*	Dafny: a partial first crack at a Dafny model-viewer provider, including ↵	rustanleino	2010-11-01
\| \| \| \|	captureState mark-ups in the Boogie code generated from Dafny
*	Handle aliases better	MichalMoskal	2010-10-26
\|
*	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
\|