debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
...
*	Boogie build failed	codeplexbot	2010-11-27
*	Ported all projects to .NET Framework 4.0 in both Boogie.sln and Dafny.sln. ...	qadeer	2010-11-27
*	Dafny: Improved default decreases clauses for methods and functions	rustanleino	2010-11-25
*	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
*	Boogie build succeeded	codeplexbot	2010-11-23
*	Changed stratified inlining: can now be user-guided	akashlal	2010-11-22
*	Dafny: Updated VSComp2010/Answer to correspond to recently updated test file	rustanleino	2010-11-21
*	Boogie build succeeded, 1 test(s) failed	codeplexbot	2010-11-18
*	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
*	VSIP integration into VS: Changed idle delay to 300ms (from 1s). Distinguis...	rustanleino	2010-11-17
*	Chalice: white space delta in test file	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
*	Chalice: Automatically created a simple class diagram of the current AST	mschwerhoff	2010-11-13
*	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
*	Introducing Forr?! Forr? is a tiny language that translates to Boogie. The ...	rustanleino	2010-11-06
*	Chalice: Added axioms about div and mod. Updated DuplicatesVideo.chalice	rustanleino	2010-11-06
*	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
*	Dafny model viewer: handle (single- and multi-dimensional) arrays	rustanleino	2010-11-03
*	ModelViewer:	rustanleino	2010-11-02
*	Boogie build succeeded	codeplexbot	2010-11-02
*	Updated Answer file to go with the previous check-in.	rustanleino	2010-11-02
*	Dafny: a partial first crack at a Dafny model-viewer provider, including capt...	rustanleino	2010-11-01
*	Test/dafny1/KatzManna.dfy: Changed mocked up matrix class to use Dafny's bui...	rustanleino	2010-10-27
*	Dafny: Record source positions of start/end curly braces for declaration con...	rustanleino	2010-10-27
*	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 boogiepar...	rustanleino	2010-10-26