debian-boogie - Debian packaging for Boogie

	Commit message (Collapse)	Author	Age
*	Factored out the closure for codeexpr conversion so that it can be reused.	qadeer	2013-09-04
\| \| \| \|	Enabled it in stratified inlining.
*	fixed the linear type checking related to globals	qadeer	2013-09-04
\| \| \| \| \|	fixed the modset analysis so that it infers the stable predicate also added more information to type error messages
*	Applied Chris Hawblitzel's changes to deal with {:expand}	qadeer	2013-08-23
\| \| \| \|	Erased {:yields} in the resulting sequential program in OwickiGriesTransform
*	some minor fixes	qadeer	2013-08-21
\|
*	inlining is now done in rhs of assignments for codeexprs	qadeer	2013-08-15
\| \| \| \|	added more regressions
*	Extended codeexpr inlining to deal with nested codeexpr	qadeer	2013-08-15
\| \| \| \|	Added a regression
*	extended inlining to deal with codeexprs	qadeer	2013-08-14
\|
*	Fixed a contract.	wuestholz	2013-08-09
\|
*	process procedure only if an implementation is present.	qadeer	2013-08-07
\|
*	cleaned up the OG code	qadeer	2013-08-07
\| \| \| \|	enabled it to be always on
*	Changed BVD to display shortened names if they are unique.	wuestholz	2013-08-05
\|
*	Merge	Ally Donaldson	2013-08-05
\|\
* \|	Minor changes to uniformity analysis and inter-procedural reachability analysis.	Ally Donaldson	2013-08-05
\| \|
\| *	Fixed several build errors in the 'Checked' configuration.	wuestholz	2013-08-05
\| \|
\| *	Reverted change to use MODEL_ON_FINAL_CHECK, which seems to cause Z3 ↵	Rustan Leino	2013-08-02
\| \| \| \| \| \| \| \|	unexpectedly to output model information
\| *	Turned on options in Z3 to try producing models for timeouts.	wuestholz	2013-08-02
\| \|
\| *	Make it possible to set the font in BVD externally.	wuestholz	2013-07-31
\|/
*	Make it possible to look up variables in the Dafny error models.	wuestholz	2013-07-30
\|
*	Added test cases for symdiff (z3multipleErrors flag)	Unknown	2013-07-30
\|
*	Make the dependency analysis for snapshot verification take 'where' clauses ↵	wuestholz	2013-07-30
\| \| \| \|	into account.
*	Merge	qadeer	2013-07-29
\|\
* \|	added proper resolution and typechecking for all generated expressions	qadeer	2013-07-29
\| \|
\| *	Fixed issue in the model viewer.	wuestholz	2013-07-29
\|/
*	added types for all the expressions being added to calls	qadeer	2013-07-29
\|
*	Allow for certain visual elements of the model viewer to be hidden.	wuestholz	2013-07-28
\|
*	Make 'Model' a proper project.	wuestholz	2013-07-26
\|
*	Removed harmful "Assert(false)".	wuestholz	2013-07-26
\|
*	Avoid another potential data race.	wuestholz	2013-07-23
\|
*	Removed the remaining pure collections.	wuestholz	2013-07-23
\|
*	Resolved some issues with data races.	wuestholz	2013-07-23
\|
*	Did some refactoring.	wuestholz	2013-07-23
\|
*	Did some refactoring.	wuestholz	2013-07-23
\|
*	Minor fix	wuestholz	2013-07-23
\|
*	Did some refactoring.	wuestholz	2013-07-23
\|
*	Use 'All' and 'Any' instead of 'Contract.ForAll' and 'Contract.Exists' in ↵	wuestholz	2013-07-22
\| \| \| \|	code (as opposed to contracts).
*	Fixed the Coco/R grammar and regenerated the parser.	wuestholz	2013-07-22
\|
*	All ...Seq classes now gone	Ally Donaldson	2013-07-22
\|
*	ExprSeq: farewell	Ally Donaldson	2013-07-22
\|
*	RESeq: farewell	Ally Donaldson	2013-07-22
\|
*	BlockSeq: farewell	Ally Donaldson	2013-07-22
\|
*	StringSeq: farewell	Ally Donaldson	2013-07-22
\|
*	CmdSeq: farewell	Ally Donaldson	2013-07-22
\|
*	Fixes to refactoring	Ally Donaldson	2013-07-22
\|
*	Started to remove ...Seq classes	Ally Donaldson	2013-07-22
\|
*	More refactoring	Ally Donaldson	2013-07-22
\|
*	More refactoring	Ally Donaldson	2013-07-22
\|
*	Merge	Ally Donaldson	2013-07-22
\|\
* \|	More refactoring	Ally Donaldson	2013-07-22
\| \|
* \|	More refactoring	Ally Donaldson	2013-07-22
\| \|
* \|	More refactoring: PureCollections.Sequence not used anymore.	Ally Donaldson	2013-07-22
\| \|