debian-boogie - Debian packaging for Boogie

	Commit message (Collapse)	Author	Age
*	Change the ToolsVersion attribute of the Project tag in the recently	Dan Liew	2014-11-19
\| \| \| \| \| \| \|	added unit tests csproj files from 12.0 to 4.0. This done so that Monodevelop 5.0.1 can import these projects (it can't handle the newer ToolsVersion). This didn't seem to break anything in Visual Studio 2013
*	Patch by Jeroen Ketema	Dan Liew	2014-11-17
\| \| \| \|	Fix interfacing with CVC4 1.5
*	Make run-unittests.py executable under Linux/OSX. This	Dan Liew	2014-11-17
\| \| \| \| \|	required changing the line endings so that it uses unix line endings.
*	Introduce unit tests which use NUnit. NUnit is now a dependency	Dan Liew	2014-11-17
\| \| \| \| \| \| \| \| \|	so developers need to install it via NuGet. There aren't many tests yet. Just a few for Core and Basetypes but hopefully more will be added in the future. More information can be found in Source/UnitTests/README.md
*	Fixed issue in the verification result caching.	wuestholz	2014-11-10
\|
*	Worked on the verification result caching.	wuestholz	2014-11-10
\|
*	Made it never include the statement checksum when printing assert statements.	wuestholz	2014-11-16
\|
*	update	qadeer	2014-11-14
\|
*	renamed :phase to :layer	qadeer	2014-11-14
\|
*	a fix to type checking	qadeer	2014-11-09
\|
*	changed the suffix of the trace file from .bpl to .txt to avoid confusing ↵	qadeer	2014-11-08
\| \| \| \|	the lit tool
*	added golden output	qadeer	2014-11-08
\|
*	more minor fix to test case houdini\testUnsatCore.bpl	shuvendu	2014-11-07
\|
*	minor fix to test case houdini\testUnsatCore.bpl	shuvendu	2014-11-07
\|
*	re-enabling -useUnsatCoreForContractInfer	shuvendu	2014-11-07
\| \| \| \|	An example houdini\testUnsatCore.bpl to test out the unsatCore (Currently seems to be not working)
*	Minor refactoring	wuestholz	2014-11-05
\|
*	Minor change to make some regression tests work with Z3 4.3.2	wuestholz	2014-11-05
\|
*	Let attributes live on during inlining	akashlal	2014-11-05
\|
*	Logging for SMTLib prover	akashlal	2014-11-05
\|
*	Worked on the verification result caching.	wuestholz	2014-11-05
\|
*	Worked on the verification result caching.	wuestholz	2014-11-03
\|
*	Worked on the verification result caching.	wuestholz	2014-11-03
\|
*	Fixed minor issue.	wuestholz	2014-11-02
\|
*	Made it produce more trace output for the verification result caching.	wuestholz	2014-11-02
\|
*	Did some refactoring.	wuestholz	2014-11-02
\|
*	Fixed an issue (reported by Akash Lal).	wuestholz	2014-10-30
\|
*	Added a test for the verification result caching.	wuestholz	2014-10-29
\|
*	SI: print if a bound was reached.	akashlal	2014-10-29
\|
*	Fixed minor issue (reported by Alex Summers).	wuestholz	2014-10-28
\|
*	Merge	qadeer	2014-10-21
\|\
* \|	removed a useless procedure	qadeer	2014-10-21
\| \|
\| *	Worked on the verification result caching.	wuestholz	2014-10-19
\| \|
\| *	Added more tests for the verification result caching.	wuestholz	2014-10-19
\| \|
\| *	Worked on the verification result caching.	wuestholz	2014-10-19
\| \|
\| *	Added a todo.	wuestholz	2014-10-18
\| \|
\| *	Did some refactoring.	wuestholz	2014-10-18
\| \|
\| *	Did some refactoring.	wuestholz	2014-10-18
\| \|
\| *	Made it produce more trace output for the verification result caching.	wuestholz	2014-10-18
\| \|
\| *	Worked on the verification result caching.	wuestholz	2014-10-17
\| \|
\| *	Worked on the verification result caching.	wuestholz	2014-10-17
\| \|
\| *	Worked on the verification result caching.	wuestholz	2014-10-17
\| \|
\| *	Worked on the verification result caching.	wuestholz	2014-10-17
\| \|
\| *	Merge	wuestholz	2014-10-17
\| \|\
\| * \|	Updated Boogie version number to 2.3.0.61016. This version is now going out ↵	leino	2014-10-16
\| \| \| \| \| \| \| \| \| \| \| \|	on rise4fun.com.
\| \| *	Did some refactoring.	wuestholz	2014-10-16
\| \|/
\| *	Minor change	wuestholz	2014-10-16
\| \|
\| *	Worked on the verification result caching.	wuestholz	2014-10-16
\| \|
\| *	Worked on the verification result caching.	wuestholz	2014-10-15
\| \|
\| *	Did some refactoring.	wuestholz	2014-10-15
\|/
*	Minor changes	wuestholz	2014-10-15
\|