debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Merge	Pantazis Deligiannis	2013-10-09
\|\
* \|	small refactoring	Pantazis Deligiannis	2013-10-02
* \|	support for disabling loop entry invariant assertion checking	Pantazis Deligiannis	2013-10-01
* \|	changes to support a configured errorLimit	Pantazis Deligiannis	2013-09-30
* \|	more changes towards parallelisation of Houdini	Pantazis Deligiannis	2013-09-29
\| *	refactored StratifiedInline.GenerateVC to use GenerateVCAux instead of Genera...	qadeer	2013-09-09
\| *	fixed bug introduced by the last checkin in letvciterative	qadeer	2013-09-08
\| *	fixed the problem with codexprs	qadeer	2013-09-07
\| *	When a codeexpr is used at the top-level in an assume statement, we use the a...	qadeer	2013-09-04
\| *	Factored out the closure for codeexpr conversion so that it can be reused.	qadeer	2013-09-04
\| *	Applied Chris Hawblitzel's changes to deal with {:expand}	qadeer	2013-08-23
* \|	Merge	Pantazis Deligiannis	2013-08-20
\|\\|
* \|	new option to disable checking for loop maintained invariants - this leads to...	Pantazis Deligiannis	2013-08-15
\| *	Fixed several build errors in the 'Checked' configuration.	wuestholz	2013-08-05
\|/
*	Removed the remaining pure collections.	wuestholz	2013-07-23
*	BlockSeq: farewell	Ally Donaldson	2013-07-22
*	StringSeq: farewell	Ally Donaldson	2013-07-22
*	CmdSeq: farewell	Ally Donaldson	2013-07-22
*	Started to remove ...Seq classes	Ally Donaldson	2013-07-22
*	Merge	Ally Donaldson	2013-07-22
\|\
* \|	More refactoring	Ally Donaldson	2013-07-22
* \|	More refactoring towards replacing PureCollections.Sequence with List	Ally Donaldson	2013-07-22
\| *	Fixed an issue with parallelization.	wuestholz	2013-07-22
\|/
*	Changed Has method of PureSequence to Contains to make refactoring easier.	Ally Donaldson	2013-07-22
*	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	allydonaldson	2013-07-22
\|\
\| *	Fixed what looks like a type-related bug in the manipulation of newGotoCmdOri...	allydonaldson	2013-07-22
* \|	Refactored variable2sequenceNumber to use Dictionary	Ally Donaldson	2013-07-22
\|/
*	Refactored labsl2absy so that it is a Dictionary<int, Absy> instead of a plai...	Ally Donaldson	2013-07-22
*	Added an attribute to set the time limit for implementations.	wuestholz	2013-07-12
*	Worked on the parallelization.	wuestholz	2013-07-12
*	Worked on the parallelization.	wuestholz	2013-07-11
*	Worked on the parallelization.	wuestholz	2013-07-11
*	Worked on the parallelization.	wuestholz	2013-07-11
*	Worked on the parallelization.	wuestholz	2013-07-10
*	Worked on the parallelization.	wuestholz	2013-07-01
*	Did some refactoring in the execution engine and worked on the parallelization.	wuestholz	2013-07-01
*	Did some refactoring in the execution engine and worked on the parallelization.	wuestholz	2013-06-25
*	Did some refactoring in the execution engine and worked on the parallelization.	wuestholz	2013-06-21
*	Fixed bug in the cutting of back edges (that manifested itself whenever the f...	Rustan Leino	2013-05-29
*	Working on fixedpoint backend	Ken McMillan	2013-05-20
*	Adding fixedpoint engine backend	Ken McMillan	2013-05-07
*	Use the new ProverInterface's Evaluate method in stratified inlinig	Unknown	2013-01-03
*	bunch of refactorings	Unknown	2012-10-03
*	Removed AIFramework from Boogie -- use native trivial or native interval-base...	boehmes	2012-09-27
*	Fixed issue with uniformity analysis and block merging. Uniformity analysis	Unknown	2012-09-24
*	Added functionality for race error reporting.	Egor Kyshtymov	2012-08-20
*	VCGen: add MergeBlocksIntoPredecessors function	Peter Collingbourne	2012-07-09
*	a bug fix	qadeer	2012-06-19