debian-boogie - Debian packaging for Boogie

	Commit message (Collapse)	Author	Age
*	Add source file (Expression Design) for the BVD icon in case anyone ever ↵	Michal Moskal	2011-05-12
\| \| \| \|	needs it
*	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
\|
*	Introduce states more aggressively. Show is_null() for pointers.	Michal Moskal	2011-04-06
\|
*	Removing unused field (and testing mecurial checkins)	Stephan Tobies	2011-04-05
\|
*	Improvements in map and skolem functions display.	MichalMoskal	2011-04-02
\|
*	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
*	Dafny: compile quantifiers	rustanleino	2011-03-26
\| \| \| \| \| \|	Dafny: allow {:induction} attribute to take an explicit list of bound variables on which to apply induction Dafny: split expressions when proving function postconditions Boogie and BVD: updated copyright year ranges
*	Re-enabled quantifier checking in the Checked configuration.	mikebarnett	2011-03-16
\|
*	Turn off quantifier checking in the runtime checking.	mikebarnett	2011-03-14
\|
*	Added a new solution configuration, Checked, that builds the Checked ↵	mikebarnett	2011-03-07
\| \| \| \|	configuration of each project. Turned on runtime checking and reference assembly generation for all of the projects, but only in the Checked configuration.
*	Add some ExpertLevel functions	MichalMoskal	2011-02-21
\|
*	Dafny: removed CEV instrumentation	rustanleino	2011-02-03
\|
*	BVD Dafny: support Skolem constants	rustanleino	2011-02-02
\|
*	Improve display of sets; add \now "variable";	MichalMoskal	2011-01-29
\|
*	Fix a bug with previous state display	MichalMoskal	2011-01-28
\|
*	Display stack-allocated structs, as_array types, and *ID in tooltips	MichalMoskal	2011-01-28
\|
*	Display integers in decimal and hexadecimal in tooltip	MichalMoskal	2011-01-27
\|
*	Speedup the number display algorithm, what was I thinking?	MichalMoskal	2011-01-27
\|
*	Display numbers within +-%0.1 of a power of two as 2^N+M	MichalMoskal	2011-01-27
\|
*	Improve colors in source view	MichalMoskal	2011-01-26
\|
*	Simplify state name selection	MichalMoskal	2011-01-26
\|
*	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.
*	Double-click in state list brings up source view	MichalMoskal	2011-01-26
\|
*	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
\|
*	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
\|
*	Fix handling of addresses of fields	MichalMoskal	2011-01-24
\|
*	Hide #frame functions. Support state functions taking $heap($s).	MichalMoskal	2011-01-24
\|
*	More user-friendly canonical names	MichalMoskal	2011-01-17
\|
*	Don't use local variable names as canonical names	MichalMoskal	2011-01-14
\|
*	Make the filename length limit be 30 (as in VCC)	MichalMoskal	2011-01-14
\|
*	Display globals. Improve naming of function nodes in long ids.	MichalMoskal	2011-01-13
\|
*	Display full name of node in tooltip	MichalMoskal	2011-01-13
\|
*	Display casted pointers	MichalMoskal	2011-01-04
\|
*	Improve handling of arrays embedded in structs	MichalMoskal	2010-12-17
\|
*	Better handling of user provided skolem variables	MichalMoskal	2010-12-16
\|
*	Search in long names, not the short ones	MichalMoskal	2010-12-16
\|
*	Display ghost locals	MichalMoskal	2010-12-15
\|
*	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 information about field being volatile	MichalMoskal	2010-12-14
\|
*	Support arrays and & pseudo-field	MichalMoskal	2010-12-14
\|
*	Rework the namer interface a bit	MichalMoskal	2010-12-10
\|
*	Improve type detection	MichalMoskal	2010-12-10
\|
*	Yet another icon update	MichalMoskal	2010-12-10
\|
*	Improve the icon	MichalMoskal	2010-12-10
\|