debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Normalise line endings using a .gitattributes file. Unfortunately	Dan Liew	2015-06-28
*	Protect the Args field of NAryExpr when it is immutable.	Dan Liew	2015-02-12
*	Fixed minor issue.	wuestholz	2015-01-26
*	Minor change	wuestholz	2015-01-26
*	Made invariant of class 'IfThenElse' robust by changing the design	0biha	2015-01-01
*	Made invariant of class 'Absy' robust by changing the design (added getter/se...	0biha	2014-12-09
*	Fix issue in computation of checksums for indented statements.	wuestholz	2014-10-15
*	Helper procedures	akashlal	2014-07-28
*	Fix nasty bug introduced by commit 61a94f409975.	Dan Liew	2014-07-15
*	Did some refactoring, fixed minor issues, and made it apply the more advanced...	wuestholz	2014-07-06
*	Add some pretty-printing, on by default. Turn off with the flag "/pretty:0"	Dan Rosén	2014-06-24
*	ExprSeq: farewell	Ally Donaldson	2013-07-22
*	More refactoring towards replacing PureCollections.Sequence with List	Ally Donaldson	2013-07-22
*	Removed old comments about "BASEMOVE" and other constructor calls, where the ...	Unknown	2013-01-07
*	Boogie: added type 'real' with overloaded arithmetic operations plus real div...	boehmes	2012-09-27
*	Boogie: new syntax for integer division and modulus: use div and mod instead ...	boehmes	2012-09-27
*	GPUVerify: implement is-a-constant analysis	Peter Collingbourne	2012-06-15
*	Use DateTime.UtcNow instead of DateTime.Now	stobies	2012-01-11
*	Fixed the Boogie build.	wuestholz	2011-12-16
*	Dafny: Made sure that error locations refer to the Dafny program, even if the...	wuestholz	2011-12-15
*	Add IEnumerable.Concat1 method.	MichalMoskal	2011-02-23
*	Add IEnumerable.Iter	MichalMoskal	2011-02-17
*	Add some extension methods to IEnumberable<T>	MichalMoskal	2011-02-15
*	Get rid of some warnings.	MichalMoskal	2011-02-11
*	Boogie: Committing changed source files	tabarbe	2010-08-20
*	Boogie: Renaming core sources in preparation for port commit	tabarbe	2010-08-20