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.
*	Fixed issue in the model viewer.	wuestholz	2013-07-29
\|
*	BVD: don't do the "Duplicate entry exception"; uncomment for debugging	Michal Moskal	2011-11-08
\|
*	Merge	Rustan Leino	2011-10-26
\|\
* \|	BVD: fixed two basic but damning problems with the Dafny provider, and ↵	Rustan Leino	2011-10-26
\| \| \| \| \| \| \| \|	elided some temporary variables
\| *	VCC: improvements in showing arrays, addresses, and embeddings	Michal Moskal	2011-10-24
\|/
*	Performance improvements in BVD	Michal Moskal	2011-10-19
\|
*	VCC: Support _(blob ..) types; fix crash	Michal Moskal	2011-09-28
\|
*	BVD Dafny: support Skolem constants	rustanleino	2011-02-02
\|
*	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
\|
*	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.
*	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
\|
*	More user-friendly canonical names	MichalMoskal	2011-01-17
\|
*	Don't use local variable names as canonical names	MichalMoskal	2011-01-14
\|
*	Rework the namer interface a bit	MichalMoskal	2010-12-10
\|
*	Display Skolem constants (no functions yet)	MichalMoskal	2010-12-10
\|
*	Introduce node categories; sort fields based on that not special characters	MichalMoskal	2010-12-01
\|
*	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
\|
*	Update matches when switching states	MichalMoskal	2010-11-04
\|
*	Refactor the Namer into two classes	MichalMoskal	2010-11-04
\|
*	Add search facility	MichalMoskal	2010-11-04
\|
*	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
*	Handle aliases better	MichalMoskal	2010-10-26
\|
*	Compute canonical element names	MichalMoskal	2010-10-26
\|
*	More work on the generic namer	MichalMoskal	2010-10-26
\|
*	Start work on the generic namer	MichalMoskal	2010-10-26