debian-boogie - Debian packaging for Boogie

	Commit message (Collapse)	Author	Age
*	White space deltas. (I'm not sure why git thought I had changes in these ↵	Rustan Leino	2016-08-17
\| \| \| \|	files, but I suspect it has to do with line endings.)
*	fixed an error where a -0 was not interpreted as a negative number	Checkmate50	2016-07-23
\|
*	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
\|
*	fixed an issue with parsing floating points	Checkmate50	2016-07-19
\|
*	Modified the float tests to match the updated syntax	Checkmate50	2016-07-19
\|
*	Added and briefly tested the updated syntax. NaN/oo not supported yet	Checkmate50	2016-07-19
\|
*	Changed the syntax reading of the float type	Checkmate50	2016-07-16
\|
*	removed an unnecessary type checking addition	Checkmate50	2016-06-07
\|
*	resolving conflicts	Checkmate50	2016-06-06
\|
*	minor changes	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
\|
*	moved all the tests to the testing folder	Checkmate50	2016-05-31