debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Add "Large font" menu item (for demos)	Michal Moskal	2011-04-15
*	merge	Unknown	2011-04-14
\|\
* \|	added reachability information to the VC and used that to support arbitrary a...	Unknown	2011-04-14
\| *	Stratified Inlining: minor bux fix with recording model values	Unknown	2011-04-14
\| *	Dafny: added manual proofs for 5 theorems in Rippling.dfy	Rustan Leino	2011-04-12
\|/
*	merging in my changes i committed in 999.	Unknown	2011-04-12
\|\
\| *	Fix stub support (still not completely finished).	Unknown	2011-04-12
* \|	Automated merge with https://hg01.codeplex.com/boogie	Rustan Leino	2011-04-07
\|\ \
\| * \|	Jennisys: Allow model members to occur in any order	Rustan Leino	2011-04-07
\| * \|	Jennisys: Refined parsing of expressions, frames, and routine bodies	Rustan Leino	2011-04-07
\| * \|	Ignore other temporary files, including emacs backup files	Rustan Leino	2011-04-07
\| * \|	Jennisys: Improved parsing by using operator binding powers	Rustan Leino	2011-04-07
\| * \|	Forro: Fixed bug in binding power	Rustan Leino	2011-04-07
\| * \|	Jennisys: Parse and print	Rustan Leino	2011-04-07
\| * \|	Jennisys: some initial files (with no real contents)	Rustan Leino	2011-04-06
* \| \|	Introduce states more aggressively. Show is_null() for pointers.	Michal Moskal	2011-04-06
* \| \|	Test commit	Michal Moskal	2011-04-05
\|/ /
* \|	Dafny: don't require parentheses in syntax of "choose" statements	Rustan Leino	2011-04-05
* \|	branch merge	Rustan Leino	2011-04-05
\|\ \
* \| \|	Dafny: Allow field selections and array-element selection as LHSs of assignme...	Unknown	2011-04-05
\| * \|	Boogie build succeeded	CodeplexBot	2011-04-05
\| * \|	Deleting tags generated during build server tests	Stephan Tobies	2011-04-05
\| * \|	Tagging CC.NET build 2.1.30405.3	VccBuildServer	2011-04-05
\| * \|	Tagging CC.NET build 2.1.30405.2	VccBuildServer	2011-04-05
\| * \|	Tagging CC.NET build 2.1.30405.1	VccBuildServer	2011-04-05
\| * \|	Testing pushing tags from build server	Unknown	2011-04-05
\| * \|	Removing unused field (and testing mecurial checkins)	Stephan Tobies	2011-04-05
\| * \|	Dafny: fixed bug in induction over integers	Unknown	2011-04-04
\|/ /
* /	Ignore generated files	Michal Moskal	2011-04-04
\|/
*	More support for stubs. Ability to add functions as well as procedures.	mikebarnett	2011-04-04
*	Boogie build succeeded	codeplexbot	2011-04-02
*	Improvements in map and skolem functions display.	MichalMoskal	2011-04-02
*	Use new, SMT2 compliant, Z3 syntax for labels	MichalMoskal	2011-04-02
*	model viewer:	stobies	2011-04-01
*	boogie.exe: allow to reset the command line options so we can re-use the boog...	stobies	2011-04-01
*	model viewer:	stobies	2011-04-01
*	Model viewer:	stobies	2011-04-01
*	Dafny:	rustanleino	2011-03-30
*	Dafny: refactoring to soon support more general assignment statements	rustanleino	2011-03-29
*	Boogie build succeeded	codeplexbot	2011-03-28
*	Dafny: Added support for an initializing call as part of the new-allocation s...	rustanleino	2011-03-27
*	Minor fixes	schaef	2011-03-27
*	Reflect effect of Celebrity.dfy change in previous check-in	rustanleino	2011-03-27
*	Boogie build succeeded, 1 test(s) failed	codeplexbot	2011-03-27
*	Dafny: added "choose" operator on sets	rustanleino	2011-03-26
*	Boogie build succeeded	codeplexbot	2011-03-26
*	Dafny: improved and corrected physical/ghost distinction	rustanleino	2011-03-26
*	Dafny: compile quantifiers	rustanleino	2011-03-26
*	Boogie build succeeded	codeplexbot	2011-03-24
*	Boogie: fixed contract violation in stratified inlining	rustanleino	2011-03-23