debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
...
\| \| * \|	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
\| \|/
\| *	Improve support for diagnosing timeouts.	Valentin Wüstholz	2015-06-08
\| *	Fix minor issue.	Valentin Wüstholz	2015-06-05
\| *	Improve support for diagnosing timeouts.	Valentin Wüstholz	2015-06-05
\| *	Fix for SI: initialize extraRecBound	Akash Lal	2015-06-05
\| *	Merge branch 'master' of https://github.com/boogie-org/boogie	akashlal	2015-06-01
\| \|\
\| * \|	Simplified StratifiedVC interface	akashlal	2015-06-01
\| \| *	Merge branch 'master' of https://github.com/boogie-org/boogie	qadeer	2015-05-31
\| \| \|\ \| \| \|/ \| \|/\|
\| \| *	added assume about gate after calls and parallel calls	qadeer	2015-05-31
\| * \|	Improve heuristics for diagnosing timeouts.	Valentin Wüstholz	2015-05-31
\| \|/
\| *	Merge branch 'master' of https://github.com/boogie-org/boogie	qadeer	2015-05-27
\| \|\
\| * \|	bug fix in pop	qadeer	2015-05-27
\| \| *	Allow for extra instrumentation on program before vc gen	Akash Lal	2015-05-25
\| \| *	Improve support for diagnosing timeouts.	Valentin Wüstholz	2015-05-22
\| \|/
* \|	added some float addition tests	Dietrich	2015-05-22
\| *	Merge branch 'master' of https://github.com/boogie-org/boogie	qadeer	2015-05-20
\| \|\
\| * \|	added more specifications	qadeer	2015-05-20
\| \| *	Minor changes	Valentin Wüstholz	2015-05-20
\| \| *	Minor refactoring	Valentin Wüstholz	2015-05-20
\| \| *	Improve support for diagnosing timeouts.	Valentin Wüstholz	2015-05-20
\| \| *	Improve support for diagnosing timeouts.	Valentin Wüstholz	2015-05-19
* \| \|	added interpretation of floating point constants to the parser	Dietrich	2015-05-18
\| \| *	Make it not return cached verification results for timed-out implementations ...	Valentin Wüstholz	2015-05-18