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.)
*	Merge pull request #35 from Checkmate50/master	RustanLeino	2016-08-17
\|\ \| \| \| \|	Floating Point Support
\| *	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
\| \|
* \|	update	Shaz Qadeer	2016-07-19
\| \|
* \|	update	Shaz Qadeer	2016-07-18
\| \|
\| *	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
\| \|
\| *	Merging complete. Everything looks good crosses fingers	Checkmate50	2016-06-06
\| \|
\| *	spacing change	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
\| \|
* \|	Improve support for optimization and identifying unnecessary assumes.	Valentin Wüstholz	2016-03-03
\| \|
* \|	Merge pull request #30 from qunyanm/type-parameter-bug-fix	RustanLeino	2016-02-12
\|\ \ \| \| \| \| \| \|	Bug fix in determining whether a type parameter is bounded
* \| \|	added an example	Shaz Qadeer	2016-02-09
\| \| \|
* \| \|	another fix	Shaz Qadeer	2016-01-26
\| \| \|
* \| \|	improved some of the annotations	Shaz Qadeer	2016-01-21
\| \| \|
* \| \|	some fixes	Shaz Qadeer	2016-01-19
\| \| \|
\| * \|	Bug fix in determining whether a type parameter is bounded	qunyanm	2016-01-19
\|/ / \| \| \| \| \| \| \| \| \| \|	When checking whether a type parameter could be determined from the bound variable types, we mistakenly compare equality between a TypeVarable and a VCExprVar, instead of between two VCExprVars.
* \|	updated the example to implement the allocation of thread identifiers;	Shaz Qadeer	2016-01-17
\| \| \| \| \| \| \| \| \| \|	this example provides another illustration of abstracting ordinary variables by linear variables
* \|	fixed a small problem in the precondition for FreeLinear	Shaz Qadeer	2016-01-10
\| \|
* \|	added Free code	Shaz Qadeer	2016-01-08
\| \|
* \|	Improve precision of abstract interpreter for modulo operations.	Valentin Wüstholz	2015-12-28
\| \|
* \|	Use the EndCurly token when creating the ReturnCmd for unifiedExit	qunyanm	2015-12-02
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	When there are more than one exit blocks, an unified exit block is created which includes a ReturnCmd. However, the ReturnCmd is created with NoToken. This causes the line/column number reported for a failed postcondition to be (0,0). The right token should be the EndCurly since the ReturnCmd is in the exit block.
* \|	Update test output for Z3 4.4.1.	Valentin Wüstholz	2015-12-01
\| \|
* \|	Fix issue with partially-verified assertions.	Valentin Wüstholz	2015-11-19
\| \|
* \|	Update test output after Nikolaj's enhancement in Z3.	Valentin Wüstholz	2015-11-19
\| \|
* \|	Add a test.	Valentin Wüstholz	2015-11-19
\| \|
* \|	Minor changes	Valentin Wüstholz	2015-11-19
\| \|
* \|	Improve experimental support for optimization (requires Z3 changeset ↵	Valentin Wüstholz	2015-11-18
\| \| \| \| \| \| \| \|	5948013b1b04d8529bce366c0c7b87e1d88a1827 or later).
* \|	Add experimental support for optimization (requires Z3 build after changeset ↵	Valentin Wüstholz	2015-11-18
\| \| \| \| \| \| \| \|	9cba63c31f6f1466dd4ef442bb840d1ab84539c7).
* \|	Fix test output.	Valentin Wüstholz	2015-11-17
\| \|
* \|	Fix issue #25.	Valentin Wüstholz	2015-11-17
\| \|
* \|	Add a test.	Valentin Wüstholz	2015-11-16
\| \|
* \|	Add a test.	Valentin Wüstholz	2015-11-16
\| \|
* \|	Add support for identifying unnecessary assumes.	Valentin Wüstholz	2015-11-16
\| \|
* \|	Added test cases for the new asterisk wildcard behaviour of the	Dan Liew	2015-10-31
\| \| \| \| \| \| \| \|	``-proc`` command line argument.
* \|	fix for deterministicExtractLoops for nested loops	Shuvendu Lahiri	2015-10-27
\| \|
* \|	fixed	Shaz Qadeer	2015-10-26
\| \|
* \|	Bug fix for deterministExtractLoops for Shaobo's example	Shuvendu Lahiri	2015-10-26
\| \|
* \|	bug fix in the type checking of calls to atomic procedures	Shaz Qadeer	2015-10-16
\| \|
* \|	bug fix	Shaz Qadeer	2015-10-09
\| \|
* \|	another fix requested by Chris	Shaz Qadeer	2015-10-01
\| \| \| \| \| \| \| \|	verification is performed now for all created layers