debian-boogie - Debian packaging for Boogie

	Commit message (Collapse)	Author	Age
*	various changes for duality from dead codeplex repo	U-REDMOND\kenmcmil	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
\| \| \| \| \| \| \| \|	when timeout diagnostics are enabled.
\| *	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 ↵	Valentin Wüstholz	2015-05-17
\| \| \| \| \| \| \| \|	affect preconditions.
\| *	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 ↵	Valentin Wüstholz	2015-05-06
\| \| \| \| \| \| \| \|	becomes logically weaker after a havoc.
\| *	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
\| \| \| \| \| \| \| \| \| \|	variable that begins with a ``.``. This was't an issue for Z3 which ignores this but CVC4 is stricter and will emit an error
\| *	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
\|
*	changed aux attribute to ghost	qadeer	2015-04-18
\|
*	fixed the treatment of extern	qadeer	2015-04-17
\|
*	first check in	qadeer	2015-04-16
\|
*	patched the type checker to deal with modularity	qadeer	2015-04-16
\|
*	Note that CVC4 support is experimental.	Dan Liew	2015-04-05
\|
*	Fix typo in README.md spotted by Jeroen Ketema.	Dan Liew	2015-04-05
\|
*	Patch by Jeroen Ketema.	Dan Liew	2015-04-05
\| \| \| \| \| \|	Drop the “basic” block predication algorithm. Block predication is only used by GPUVerify, and then only in the “smart” version as the basic algorithm does not perform very well. As a consequence this code is essentially dead.
*	Disable test is ``Test/Secure``. They aren't set up properly.	Dan Liew	2015-04-05
\|
*	Some test cases for SecureVCGen (disabled for lit currently)	akashlal	2015-04-05
\|
*	VC gen for security properties	akashlal	2015-04-05
\|
*	Fix ``Test/test15/CaptureState.bpl`` test under Linux.	Dan Liew	2015-04-03
\|
*	Fix ``livevars/daytona_bug2_ioctl_example_2.bpl`` test under Linux.	Dan Liew	2015-04-03
\|