debian-boogie - Debian packaging for Boogie

	Commit message (Collapse)	Author	Age
*	Introducing Forr?! Forr? is a tiny language that translates to Boogie. The ↵	rustanleino	2010-11-06
\| \| \| \|	purpose of the language and verifier is to serve as a tutorial example for how to build a verifier on top of Boogie.
*	More right-click improvements	MichalMoskal	2010-11-06
\|
*	Show previous state	MichalMoskal	2010-11-06
\|
*	Improve the generic model viewer	MichalMoskal	2010-11-06
\|
*	Right-click enable	MichalMoskal	2010-11-06
\|
*	Add find find uses and find aliases facilities	MichalMoskal	2010-11-06
\|
*	Improve default provider a bit	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
\|
*	Highlight initial state	MichalMoskal	2010-11-03
\|
*	Rework canonical name computation	MichalMoskal	2010-11-03
\| \| \| \|	Sort fields inteligently (allow for override as well)
*	Dafny model viewer: handle (single- and multi-dimensional) arrays	rustanleino	2010-11-03
\|
*	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
*	Dafny: Record source positions of start/end curly braces for declaration ↵	rustanleino	2010-10-27
\| \| \| \| \| \|	constructs. Dafny VS2010 extension: link with Dafny and use it to parse and type check
*	Handle aliases better	MichalMoskal	2010-10-26
\|
*	Introduce distinction between canonical element name and its aliases	MichalMoskal	2010-10-26
\|
*	Compute canonical element names	MichalMoskal	2010-10-26
\|
*	Copy local names between states	MichalMoskal	2010-10-26
\|
*	More work on the generic namer	MichalMoskal	2010-10-26
\|
*	Start work on the generic namer	MichalMoskal	2010-10-26
\|
*	Updated parser.cs files to pick up the new .frame improvements from ↵	rustanleino	2010-10-26
\| \| \| \|	boogiepartners
*	Boogie:	rustanleino	2010-10-26
\| \| \| \| \| \| \| \| \|	* Updated Parser.cs/Scanner.cs to use new .frame files from boogiepartners. * It changes, for example, "syntax error:" to just "error:", so adjusted expected Test outputs. Dafny: * Ditto for its Parser.cs/Scanner.cs. * Added ability to provide a custom Errors handler for scanner/parser. * Added Test/dafny1/Cubes.dfy
*	a bug fix in the loop extraction code	qadeer	2010-10-19
\| \| \| \|	optimized the signature of the extracted procedure
*	Make it display maps	MichalMoskal	2010-10-15
\|
*	Implement find-all-names	MichalMoskal	2010-10-14
\|
*	Display state sequential numbers	MichalMoskal	2010-10-14
\|
*	Move SkeletonItem to a separate file	MichalMoskal	2010-10-14
\|
*	Display values in the state list	MichalMoskal	2010-10-14
\|
*	Make the tree actually work	MichalMoskal	2010-10-14
\|
*	Always show the entire tree, possibly grayed-out	MichalMoskal	2010-10-14
\|
*	Implement struct printing	MichalMoskal	2010-10-14
\|
*	Skip unchagned variables in model dumps. Fix testcase	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.
*	Bug fixes and speed up for doomed program point analysis	schaef	2010-10-13
\|
*	Add interfaces for langauge providers. Start with VCC provider.	MichalMoskal	2010-10-12
\|
*	Put Model.cs in separate assembly. Fix signing/versioning with it.	MichalMoskal	2010-10-12
\|
*	Add missing Clone() when storing incarnation maps; update testcase to make ↵	MichalMoskal	2010-10-12
\| \| \| \| \| \|	this clear Construct states in Model properly, nuke direct printing.
*	Add function and constant view	MichalMoskal	2010-10-12
\|
*	Put in proper namespace, move files around.	MichalMoskal	2010-10-12
\|
*	Make the -mv option use the new Model class.	MichalMoskal	2010-10-12
\|
*	Starting work on Boogie Model Viewer.	MichalMoskal	2010-10-12
\|
*	Boogie:	rustanleino	2010-10-12
\| \| \| \| \| \|	* enhanced the printing of captured states * addressed some warnings issued by VS 2010 * some code formatting
*	Boogie: fixed a Code Contract in the source	rustanleino	2010-10-09
\|
*	Fixes in state printing/initialization	MichalMoskal	2010-10-09
\|
*	Fix some bugs.	MichalMoskal	2010-10-09
\|
*	Add model/state printing and parsing	MichalMoskal	2010-10-09
\|