debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
...
\| * \| \|	added a fix to check all layers: created layer of actions or layers in	Shaz Qadeer	2015-10-01
\| \| * \|	Improve output for diagnosing timeouts.	Valentin Wüstholz	2015-10-01
\| \|/ /
\| * \|	another fix requested by Chris	Shaz Qadeer	2015-10-01
\| * \|	Improve output for diagnosing timeouts.	Valentin Wüstholz	2015-09-30
\| * \|	update	Shaz Qadeer	2015-09-28
\| * \|	cleaned up some names	Shaz Qadeer	2015-09-28
\| * \|	a bug fix	Shaz Qadeer	2015-09-27
\| * \|	fixed a small bug	Shaz Qadeer	2015-09-27
\| * \|	removed a warning	Shaz Qadeer	2015-09-26
\| * \|	added introduced and ghost local variables	Shaz Qadeer	2015-09-25
\| \| *	Modified BigFloat to avoid evaluating the floating point value before sending...	Checkmate50	2015-09-23
\| \| *	Added initial support for float addition	Checkmate50	2015-09-17
\| * \|	fixed my earlier to make it nicer	Shaz Qadeer	2015-09-03
\| * \|	fixed a crash when there is no collector	Shaz Qadeer	2015-09-02
\| * \|	Merge branch 'master' of https://github.com/boogie-org/boogie	Rustan Leino	2015-08-28
\| \|\ \
\| * \| \|	Added /verifySnapshots:3, which prints recycled errors messages with the sour...	Rustan Leino	2015-08-28
\| \| \| *	Float type now works correctly for simple variable declaration and comparison.	Dietrich	2015-07-20
\| \| * \|	Merge branch 'master' of https://github.com/boogie-org/boogie	Shuvendu Lahiri	2015-07-20
\| \| \|\ \
\| \| \| * \|	Added another test.	Valentin Wüstholz	2015-07-20
\| \| \| * \|	Merge branch 'master' of https://github.com/boogie-org/boogie	Akash Lal	2015-07-20
\| \| \| \|\ \
\| \| \| * \| \|	Minor additions to VC gen	Akash Lal	2015-07-20
\| \|_\|/ / / \|/\| \| \| \|
\| \| \| * \|	Added more tests.	Valentin Wüstholz	2015-07-20
\| \|_\|/ / \|/\| \| \|
\| \| * \|	fix for /deterministicExtractLoops sed in SymDiff	Shuvendu Lahiri	2015-07-19
\| \|/ / \|/\| \|
\| \| *	Modified internal abstract float representation to allow user-defined mantiss...	Dietrich	2015-07-13
* \| \|	Try to unbreak the tests added in	Dan Liew	2015-06-28
* \| \|	Update URL to boogie-partners to its new location on GitHub.	Dan Liew	2015-06-28
* \| \|	Fix issue #16 reported by @crazykt	Dan Liew	2015-06-28
* \| \|	Add travis file to gitattributes file.	Dan Liew	2015-06-28
* \| \|	Normalise line endings using a .gitattributes file. Unfortunately	Dan Liew	2015-06-28
* \| \|	Remove dead file.	Dan Liew	2015-06-28
* \| \|	removed a stray Console.WriteLine that Ken had earlier checked in by	qadeer	2015-06-25
* \| \|	updated with Serdar's changes	qadeer	2015-06-25
* \| \|	Merge branch 'master' of https://github.com/boogie-org/boogie	akashlal	2015-06-20
\|\ \ \
* \| \| \|	Fix for reading fixpoint back into boogie exprs	akashlal	2015-06-20
* \| \| \|	Missing braces	akashlal	2015-06-20
\| * \| \|	added another sample	qadeer	2015-06-17
\| * \| \|	modified desugaring so that in commutatitivity checks copies of original	qadeer	2015-06-17
\| * \| \|	fixed bug reported by Chris	qadeer	2015-06-15
\| * \| \|	adding z3name option	Ken McMillan	2015-06-15
\|/ / /
* \| \|	Minor changes	Valentin Wüstholz	2015-06-12
* \| \|	Fix issue with computation of statement checksums for lambda expressions.	Valentin Wüstholz	2015-06-12
* \| \|	Add a test case.	Valentin Wüstholz	2015-06-12
* \| \|	Fix issue in checksum computation for lambda expressions.	Valentin Wüstholz	2015-06-12
* \| \|	Fix minor issue with diagnosing timeouts.	Valentin Wüstholz	2015-06-12
* \| \|	Merge branch 'master' of https://github.com/boogie-org/boogie	Ken McMillan	2015-06-11
\|\ \ \
\| * \| \|	relaxed the check for created and hidden layers for skip actions	qadeer	2015-06-10
\| * \| \|	fixed crash	qadeer	2015-06-10
\| * \| \|	Merge pull request #14 from cpitclaudel/clean-prover-exit	RustanLeino	2015-06-09
\| \|\ \ \ \| \| \|/ / \| \|/\| \|
* / \| \|	various changes for duality from dead codeplex repo	U-REDMOND\kenmcmil	2015-06-09
\|/ / /
\| * /	Stop truncating the prover logs	Clément Pit--Claudel	2015-06-09
\|/ /