debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
...
* \| \|	Merge	Dan Liew	2014-05-27
\|\\| \|
* \| \|	Fix lit test suite when running Boogie under a path that contains	Dan Liew	2014-05-27
\| * \|	Merge	Ally Donaldson	2014-05-27
\| \|\ \ \| \|/ / \|/\| \|
\| * \|	Fixed state capture concurrency bug with Staged Houdini	Ally Donaldson	2014-05-27
* \| \|	Convert the AbsHoudini tests to lit tests. They weren't being run by the old	Dan Liew	2014-05-27
* \| \|	Merge	Dan Liew	2014-05-27
\|\\| \|
* \| \|	Added simple python implementation of diff to replace using the	Dan Liew	2014-05-27
\| * \|	Merge	Ally Donaldson	2014-05-27
\| \|\ \ \| \|/ / \|/\| \|
\| * \|	Undid accidental commit	Ally Donaldson	2014-05-27
* \| \|	Implemented an additional type check for assumption variables.	wuestholz	2014-05-27
* \| \|	Added more tests (snapshots).	wuestholz	2014-05-27
\| * \|	Merge	Ally Donaldson	2014-05-27
\| * \|	Added key check to uniformity analysis	Ally Donaldson	2014-05-27
\|/ /
* \|	Merge duality changes	Ken McMillan	2014-05-26
\|\ \
\| * \|	Conjecture printing for duality and child user time tracking.	Ken McMillan	2014-05-26
\| \| *	Merge	qadeer	2014-05-21
\| \| \|\ \| \|_\|/ \|/\| \|
\| \| *	a small fix	qadeer	2014-05-21
* \| \|	Set the following tests to expected failure under lit. Having these	Dan Liew	2014-05-19
* \| \|	Made the Boogie driver return an exit code.	wuestholz	2014-05-19
* \| \|	keep some stats for debugging	akashlal	2014-05-15
* \| \|	Delete '_admin' directory.	wuestholz	2014-05-13
\| \|/ \|/\|
* \|	Simplify Z3 executable discovery.	wuestholz	2014-05-12
* \|	Remove solver executable check under windows at the request	Dan Liew	2014-05-12
* \|	Converted test0/Arrays1.bpl test to OutputCheck style test.	Dan Liew	2014-05-12
* \|	Convert houd12.bpl into a OutputCheck style test and also pass	Dan Liew	2014-05-12
* \|	Added some documentation on the new testing infrastructure	Dan Liew	2014-05-11
* \|	Remove old testing script. Probably not much use anyway, the executable	Dan Liew	2014-05-11
* \|	Added script for cleaning up temporary files created by both the lit	Dan Liew	2014-05-11
* \|	Prevent lit tests from running on OSX/Linux if mono is not in	Dan Liew	2014-05-11
* \|	Remove some legacy test infrastructure for OSX/Linux	Dan Liew	2014-05-11
* \|	Remove old python testing scripts	Dan Liew	2014-05-11
* \|	Made lit tests slightly less fragile under OSX/Linux by passing flags to ignore	Dan Liew	2014-05-11
* \|	Enable as many "og" lit tests. Several fail because they weren't	Dan Liew	2014-05-11
* \|	Prevent running doomed tests. They weren't being run	Dan Liew	2014-05-10
* \|	Added stack bounding	akashlal	2014-05-10
* \|	Remove old copy of lit. It's too old to work with our current configuration	Dan Liew	2014-05-10
* \|	Unbreak the tests in test2 for batch file testing infrastructure	Dan Liew	2014-05-10
* \|	Added a sanity check to lit configuration so tests won't run	Dan Liew	2014-05-10
* \|	Enabled "linear type checking" lit tests.	Dan Liew	2014-05-07
* \|	Enabled symdiff lit test.	Dan Liew	2014-05-07
* \|	Enable snapshot test. This test is unusual in that it doesn't	Dan Liew	2014-05-07
* \|	Enabled "HAVOC-generated bpl files" lit tests.	Dan Liew	2014-05-07
* \|	Enabled "Extract loops benchmarks" lit tests.	Dan Liew	2014-05-07
* \|	Enabled the "Stratified inlining benchmarks" lit tests.	Dan Liew	2014-05-07
* \|	Added "STORM benchmarks for testing correctness of live variable analysis" li...	Dan Liew	2014-05-07
* \|	Enabled generalizedarray lit test.	Dan Liew	2014-05-07
* \|	Enabled datatypes lit tests.	Dan Liew	2014-05-07
* \|	Enabled prover lit tests.	Dan Liew	2014-05-07
* \|	Enable codeexpr lit tests.	Dan Liew	2014-05-07
* \|	Enabled lit loop unrolling test	Dan Liew	2014-05-07