debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Release for unstableHEAD 2.3.0.61016+dfsg+3.gbp1f2d6c1-1 master	Benjamin Barenblat	2016-10-29
*	Make BVD pick up on GTK colour scheme	Benjamin Barenblat	2016-10-29
*	Update man pages	Benjamin Barenblat	2016-10-29
*	Force using .NET 4.0	Benjamin Barenblat	2016-10-29
*	Update debian/gbp.conf	Benjamin Barenblat	2016-10-29
*	Add Vcs-* URLs to debian/control	Benjamin Barenblat	2016-10-29
*	Update debian/changelog	Benjamin Barenblat	2016-10-29
*	Merge branch 'dfsg_free'	Benjamin Barenblat	2016-10-29
\|\
\| *	Merge branch 'upstream' into dfsg_freedfsg_free	Benjamin Barenblat	2016-10-29
\| \|\
\| \| *	White space deltas. (I'm not sure why git thought I had changes in these fil...	Rustan Leino	2016-08-17
\| \| *	Merge pull request #35 from Checkmate50/master	RustanLeino	2016-08-17
\| \| \|\
\| \| * \	Merge pull request #42 from BarryBo/master	RustanLeino	2016-08-15
\| \| \|\ \
\| \| \| * \|	Fix deadlock in the new thread scheduler	BarryBo	2016-08-12
\| \| * \| \|	Merge pull request #41 from BarryBo/master	RustanLeino	2016-08-01
\| \| \|\\| \|
\| \| \| \| *	fixed an error where a -0 was not interpreted as a negative number	Checkmate50	2016-07-23
\| \| \| * \|	Run Boogie code on threads with large stacks	BarryBo	2016-07-22
\| \| \|/ /
\| \| \| *	corrected minor error in test	Checkmate50	2016-07-22
\| \| \| *	fixed the syntax on former tests and added two fp constant translation tests	Checkmate50	2016-07-22
\| \| \| *	Removed automatic exponent shifting	Checkmate50	2016-07-22
\| \| \| *	fixed an issue with parsing floating points	Checkmate50	2016-07-19
\| \| \| *	Modified the float tests to match the updated syntax	Checkmate50	2016-07-19
\| \| \| *	fixed floatceiling function	Checkmate50	2016-07-19
\| \| \| *	Added and briefly tested the updated syntax. NaN/oo not supported yet	Checkmate50	2016-07-19
\| \| * \|	update	Shaz Qadeer	2016-07-19
\| \| * \|	update	Shaz Qadeer	2016-07-18
\| \| \| *	Changed the syntax reading of the float type	Checkmate50	2016-07-16
\| \| \| *	rebuilt scanner and parser via coco	Checkmate50	2016-07-16
\| \| \| *	change to update	Checkmate50	2016-06-07
\| \| \| *	removed an unnecessary type checking addition	Checkmate50	2016-06-07
\| \| \| *	fixed some merging issues	Checkmate50	2016-06-07
\| \| \| *	resolving conflicts	Checkmate50	2016-06-06
\| \| \| \|\ \| \| \| \|/ \| \| \|/\|
\| \| \| *	minor changes	Checkmate50	2016-06-06
\| \| \| *	Merging complete. Everything looks good crosses fingers	Checkmate50	2016-06-06
\| \| \| *	spacing change	Checkmate50	2016-06-06
\| \| \| *	removed an unnecessary text file	Checkmate50	2016-06-06
\| \| \| *	Polished up the floats test folder. Preparing to rebase	Checkmate50	2016-06-06
\| \| \| *	finished testing, fixed several minor compiler bugs	Checkmate50	2016-06-06
* \| \| \|	Release for unstable2.3.0.61016+dfsg+2.gbp4108246-1	Benjamin Barenblat	2016-06-05
* \| \| \|	Update man pages	Benjamin Barenblat	2016-06-05
* \| \| \|	Update debian/gbp.conf	Benjamin Barenblat	2016-06-05
* \| \| \|	Update debian/control	Benjamin Barenblat	2016-06-05
* \| \| \|	Update debian/changelog	Benjamin Barenblat	2016-06-05
* \| \| \|	Merge branch 'dfsg_free'	Benjamin Barenblat	2016-06-05
\|\\| \| \|
\| * \| \|	Merge branch 'upstream' into dfsg_free	Benjamin Barenblat	2016-06-05
\| \|\ \ \
\| \| \| \| *	moved all the tests to the testing folder	Checkmate50	2016-05-31
\| \| \| \| *	Initial round of testing works with new syntax. Fixed an error where floatin...	Checkmate50	2016-05-31
\| \| \| * \|	Add links to new documentation (not yet complete).	Dan Liew	2016-04-20
\| \| \| * \|	Rename DLLs to non-generic names by prefixing "Boogie". Project names and	akashlal	2016-04-15
\| \| \|/ /
* \| \| \|	Add gbp.conf	Benjamin Barenblat	2016-04-01
* \| \| \|	Move release to unstable	Benjamin Barenblat	2016-04-01