debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Fix for reading fixpoint back into boogie exprs	akashlal	2015-06-20
*	Missing braces	akashlal	2015-06-20
*	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
\|/
*	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
\| *	Make it not return cached verification results for timed-out implementations ...	Valentin Wüstholz	2015-05-18
\| *	Add some experimental support for diagnosing timeouts.	Valentin Wüstholz	2015-05-18
\| *	Minor refactoring	Valentin Wüstholz	2015-05-17
\| *	Make caching of verification results more fine-grained for changes that affec...	Valentin Wüstholz	2015-05-17
\| *	Fix for printFixedPoint when dealing with functions	Akash Lal	2015-05-13
\| *	SecureVC: example	Akash Lal	2015-05-07
\| *	Fix for secureVCGen	Akash Lal	2015-05-07
\| *	Make it preserve the fact that the value of an assumption variable never beco...	Valentin Wüstholz	2015-05-06
\| *	Fix for AbsHoudini	akashlal	2015-05-01
\| *	AbsHoudini: made disjunct bound a parameter	akashlal	2015-05-01
\| *	Add support for 'verified_under' attributes on procedure calls and invariants.	Valentin Wüstholz	2015-04-29
\| *	Try to add build status icon for the Windows build.	Dan Liew	2015-04-28
\| *	Try to fix the emission of invalid SMT-LIBv2 queries when Boogie has a	Dan Liew	2015-04-26
\| *	Minor fixes for AbsHoudini	Akash Lal	2015-04-23
\|/
*	renamed og to civl	qadeer	2015-04-22
*	Better error message	akashlal	2015-04-21
*	added more examples	qadeer	2015-04-18
*	patched ghost checking	qadeer	2015-04-18