debian-boogie - Debian packaging for Boogie

	Commit message (Collapse)	Author	Age
*	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
\|
*	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
\|
*	More refactoring towards replacing PureCollections.Sequence with List	Ally Donaldson	2013-07-22
\|
*	Whitespace fix	Ally Donaldson	2013-07-22
\|
*	Whitespace fix	Ally Donaldson	2013-07-22
\|
*	Merge	Ally Donaldson	2013-07-22
\|\
* \|	Refactoring of TypeVariableSeq	Ally Donaldson	2013-07-22
\| \|
* \|	Changed Has method of PureSequence to Contains to make refactoring easier.	Ally Donaldson	2013-07-22
\| \|
\| *	merge	Pantazis Deligiannis	2013-07-22
\| \|\ \| \|/ \|/\|
* \|	Refactoring of VariableSeq and TypeSeq	Ally Donaldson	2013-07-22
\| \|
* \|	Requires/EnsuresSeq replaced by List<Requires/Ensures>	Ally Donaldson	2013-07-22
\| \|
* \|	Refactored RequiresSeq and EnsuresSeq so that they wrap List<Requires> and ↵	Ally Donaldson	2013-07-22
\| \| \| \| \| \| \| \|	List<Ensures>, respectively, as a first step towards simply using the List versions.
* \|	Fixed bugs arising from differences between hashtables and dictionaries	Ally Donaldson	2013-07-22
\| \|
* \|	Large refactoring of Hashtable to Dictionary.	Ally Donaldson	2013-07-22
\| \|
\| *	merge	Pantazis Deligiannis	2013-07-19
\| \|\ \| \|/ \|/\|
\| *	refactoring and fixes in the SMTLIB2 parser	Pantazis Deligiannis	2013-07-19
\| \|
* \|	Revamp of staged Houdini, and completion of parallel support.	allydonaldson	2013-07-18
\| \|
* \|	Merge	allydonaldson	2013-07-16
\|\ \
* \| \|	Reworking of Staged Houdini in preparation for parallelising it.	allydonaldson	2013-07-16
\| \| \|
\| \| *	Merge	Pantazis Deligiannis	2013-07-15
\| \|/\|
\| * \|	end atomic actions at async and parallel calls	qadeer	2013-07-15
\| \| \|
\| * \|	1. changed values passed to additional parameters to procedures; async and ↵	qadeer	2013-07-14
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	parallel calls treated exactly the same now 2. fixed bug in collection of available linear vars for parallel calls; added more test cases to regression
\| * \|	Added an attribute to set the time limit for implementations.	wuestholz	2013-07-12
\|/ /
* \|	Worked on the parallelization (task cancellation).	wuestholz	2013-07-09
\| \|
\| *	merge	Pantazis Deligiannis	2013-07-06
\| \|\
* \| \|	Added an option to verify each input file separately.	wuestholz	2013-07-05
\| \|/ \|/\|
* \|	Added support in the abstract interpreter for an attribute {:identity}, ↵	Rustan Leino	2013-07-05
\| \| \| \| \| \| \| \|	which says that a function is an identity function.
* \|	Addressed some \n versus \r\n issues	Rustan Leino	2013-06-29
\| \|
* \|	Merge	allydonaldson	2013-06-18
\|\ \
\| * \|	Did some refactoring in the execution engine.	wuestholz	2013-06-14
\| \| \|
\| * \|	Added /help and /attrHelp output for program snapshot verification.	wuestholz	2013-06-12
\| \| \|
\| \| *	CVC4 Parser	pantazis	2013-06-12
\| \| \|
\| \| *	cvc4 command line option & cvc4.cs in Provers	pantazis	2013-06-12
\| \|/
\| *	Worked on improving program snapshot verification.	wuestholz	2013-06-10
\| \|
* \|	Merge	allydonaldson	2013-06-07
\|\ \
* \| \|	Some work on staged Houdini	allydonaldson	2013-06-07
\| \| \|
\| \| *	Worked on improving program snapshot verification.	wuestholz	2013-06-05
\| \|/