debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	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
*	Renamed NonNullElements to NonNullDictionaryAndValues because the keys to dic...	mikebarnett	2011-03-10
*	Changed the behavior of /doModSetAnalysis so that	qadeer	2010-12-15
*	Add ToString() overrides to help in debugging	MichalMoskal	2010-12-10
*	stratified inlining: reuse call tree across queries	akashlal	2010-12-01
*	Eliminated dependencies on SpecSharp and CCI from Boogie.sln and Dafny.sln	qadeer	2010-12-01
*	Boogie:	rustanleino	2010-09-23
*	Boogie: AIFramework port part 3/3: Committing reference changes, edit to Core...	tabarbe	2010-08-26
*	Boogie: Committing changed source files	tabarbe	2010-08-20
*	Boogie: Renaming core sources in preparation for port commit	tabarbe	2010-08-20