debian-boogie - Debian packaging for Boogie

	Commit message (Collapse)	Author	Age
*	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
*	Added AssemblyInfo.cs, missing from previous DafnyExtension check-in	rustanleino	2010-10-22
\|
*	New Dafny mode for Visual Studio 2010, using the VS2010 extensions.	rustanleino	2010-10-22
\|
*	Miscellaneous changes:	rustanleino	2010-10-22
\| \| \| \| \| \| \|	* Also copy CodeContractExtender in PrepareBoogieZip.bat * Added some comments and a new program in Test/textbook * Included refinement keywords in Chalice emacs mode * Used assignment instead of spec statement in DuplicatesVideo.chalice
*	Chalice: Now compiles with Scala 2.7.7 and 2.8.0, the latter yields many ↵	mschwerhoff	2010-10-21
\| \| \| \|	warnings, though. If 2.8.0 terminates with a stack overflow, increase stack size of the JVM (-Xss16M)
*	a bug fix in the loop extraction code	qadeer	2010-10-19
\| \| \| \|	optimized the signature of the extracted procedure
*	Boogie build succeeded	codeplexbot	2010-10-15
\|
*	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.
*	Boogie build succeeded, 1 test(s) failed	codeplexbot	2010-10-13
\|
*	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
*	Chalice: allow replace by to match LocalVar	kyessenov	2010-10-09
\|
*	Chalice:	rustanleino	2010-10-09
\| \| \| \| \|	* extended the cheap type inference to also consider "in" expressions and quantifiers * added some refinement keywords to the Emacs mode for Chalice
*	Chalice: permit replaces by to match assign clauses	kyessenov	2010-10-09
\|
*	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
\|
*	Add state sequence API and creation, still untested	MichalMoskal	2010-10-08
\|
*	Add the new model interface. Untested, doesn't yet include state sequence	MichalMoskal	2010-10-08
\|
*	Boogie build succeeded, 29 test(s) failed	codeplexbot	2010-10-08
\|
*	Add one more file	MichalMoskal	2010-10-07
\|
*	Get rid of some CCI dependencies in Driver	MichalMoskal	2010-10-07
\|
*	Update to include all build artifacts, also from Dafny	MichalMoskal	2010-10-07
\|
*	Update to VS2010.	MichalMoskal	2010-10-07
\|
*	Chalice: fix a bug where output variables of a method were not decoupled.	kyessenov	2010-10-05
\|
*	Minor fix to recursion depth in stratified inlining algorithm.	akashlal	2010-10-02
\|
*	Util: Minor changes to the LaTeX listings packages for Boogie and Dafny.	wuestholz	2010-09-30
\|
*	Boogie:	rustanleino	2010-09-24
\| \| \| \| \|	* Added Test/textbook/DivMod.bpl, which embodies a conversion between C's div/mod operators and SMT Lib's div/mod operators. * Added a rudimentary printing of variables for captured states. It doesn't attempt to print everything at this time, and it doesn't work when variables get unique-ified by @@-suffixes. A more complete implementation will be added at a later time.