debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
...
*	Worked on adding support for "canned errors".	wuestholz	2014-07-06
*	Did some refactoring, fixed minor issues, and made it apply the more advanced...	wuestholz	2014-07-06
*	Implemented an optimization for assignments to assumption variables that are ...	wuestholz	2014-07-04
*	Made it not include free preconditions when producing partially verified prec...	wuestholz	2014-07-03
*	Worked on an extension of the existing verification result caching.	wuestholz	2014-06-23
*	Fixed crash in resolver	Rustan Leino	2014-06-19
*	checkpoint	qadeer	2014-05-03
*	updated the mover checks	qadeer	2014-04-25
*	Add support for assumption variables.	wuestholz	2014-04-21
*	Changed all lambda-expression rewriting to be done as a pre-processing step b...	Rustan Leino	2014-02-28
*	Fixed bug in handling of break statements	Rustan Leino	2014-02-10
*	bug fixes in Duplicate.cs and parsing of invariant attributes	qadeer	2013-12-22
*	added syntax for par call and ParCallCmd	qadeer	2013-12-16
*	Stratified inlining: inject free requires as assumes at call site	akashlal	2013-10-25
*	cleaned up the OG code	qadeer	2013-08-07
*	ExprSeq: 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
*	Started to remove ...Seq classes	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
*	Changed Has method of PureSequence to Contains to make refactoring easier.	Ally Donaldson	2013-07-22
*	Requires/EnsuresSeq replaced by List<Requires/Ensures>	Ally Donaldson	2013-07-22
*	Large refactoring of Hashtable to Dictionary.	Ally Donaldson	2013-07-22
*	In the typecheck method of HavocCmd, added calls to typecheck the havoced vars	Unknown	2013-05-04
*	Print "\n" after a YieldCmd	akashlal	2013-05-03
*	Added another constructor to CallCmd	akashlal	2013-03-11
*	fixed emitter for CallCmd to include async	Unknown	2013-03-09
*	added parallel calls	Unknown	2013-03-01
*	removed call forall and * args to calls	Unknown	2013-02-23
*	added owicki-gries and linear-set to boogiedriver	Unknown	2013-01-25
*	Removed old comments about "BASEMOVE" and other constructor calls, where the ...	Unknown	2013-01-07
*	Removed AIFramework from Boogie -- use native trivial or native interval-base...	boehmes	2012-09-27
*	Core: attach :partition to assumes generated from structured ifs and whiles	Peter Collingbourne	2012-08-03
*	Fixed bug with triply nested maps and polymorphism (reported as Item # 10218).	Unknown	2012-04-04
*	Emit of invariants now prints out the invariant attributes also	qadeer	2012-03-26
*	Merge	Rustan Leino	2011-12-07
\|\
\| *	Make set iteration order deterministic	Michal Moskal	2011-12-07
* \|	Boogie: Added new abstract interpretation harness, which uses native Boogie E...	Rustan Leino	2011-12-05
\|/
*	Added lazy summary computation to stratified inlining (not finished yet)	akashlal	2011-11-20
*	Added "free call" statements that don't check the precondition in the caller.	wuestholz	2011-09-14
*	Fixed a bug with "don't care" return value on an async call	Unknown	2011-08-24
*	more changes to bitvector analysis	qadeer	2011-08-09
*	async call return value is either int or bv32	qadeer	2011-07-09
*	early clearing of live variables and incarnation maps	qadeer	2011-06-24
*	fixed a bug in ComputeAllLabels	qadeer	2011-04-27
*	Changed label checking for goto targets in StmtList so that they can be any l...	qadeer	2011-04-21
*	Made CallCmd.callee public for easy manipulation of un-resolved programs	akashlal	2011-03-21