debian-boogie - Debian packaging for Boogie

	Commit message (Collapse)	Author	Age
*	small fix to previous checkin	akashlal	2010-11-24
\|
*	Some changes to the prover interface to make way for z3-api.	akashlal	2010-11-24
\|
*	more refactoring	akashlal	2010-11-23
\|
*	More refactoring	akashlal	2010-11-23
\|
*	Boogie: Look for Z3 versions up to 2.20.	wuestholz	2010-11-23
\|
*	Refactoring: pulled out all code for stratified inlining to a new file.	akashlal	2010-11-23
\|
*	Changed stratified inlining: can now be user-guided	akashlal	2010-11-22
\|
*	BVD for Dafny: improved string that displays array indices	rustanleino	2010-11-17
\|
*	BVD Dafny provider: treat sets and datatype values	rustanleino	2010-11-17
\|
*	Forro: revised syntax (this version used in Boogie tutorial at SBMF 2010)	rustanleino	2010-11-17
\|
*	Minor updates for printing coverage graph of stratified inlining	akashlal	2010-11-14
\|
*	Boogie: Changed the trace output formatting of the prover version slightly.	wuestholz	2010-11-11
\|
*	Implement different levels of view (normal, expert, etc).	MichalMoskal	2010-11-09
\| \| \| \|	Display functions and pointer sets in VCC
*	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.