debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Dafny: removed div/mod axioms, since Boogie now interprets div/mod	Unknown	2012-09-28
*	Boogie: added /vcsLoad flag as a convenient way to set /vcsCores proportional...	Unknown	2012-09-28
*	Merge	Unknown	2012-09-28
\|\
* \|	Fixed bug with uniformity analysis for havoc. Allowed barrier invariants to	Unknown	2012-09-28
\| *	Boogie build succeeded, 2 test(s) failed	CodeplexBot	2012-09-28
\| *	Dafny: Removed assembly reference to 'AIFramework'.	wuestholz	2012-09-28
\| *	Fixed the build.	wuestholz	2012-09-28
\| *	Chalice: Add a test-case for a recently fixed issue.	stefanheule	2012-09-28
\| *	Boogie build failed	CodeplexBot	2012-09-28
\| *	Merge	Unknown	2012-09-27
\| \|\
\| * \	Merge	Unknown	2012-09-27
\| \|\ \
\| * \| \|	Boogie and Dafny: adjustments to the test suite expected output (and a tempor...	Unknown	2012-09-27
\| \| \| *	Merge	Unknown	2012-09-27
\| \| \| \|\ \| \| \| \|/ \| \| \|/\|
\| \| \| *	Chalice: changed quantifier triggering to use #limited#trigger versions of fu...	Unknown	2012-09-27
\| \|_\|/ \|/\| \|
\| \| *	Merge	Unknown	2012-09-27
\| \| \|\ \| \|_\|/ \|/\| \|
\| \| *	DafnyExtension: make it usable also in Visual Studio 2012	Unknown	2012-09-27
\| * \|	Boogie: added type 'real' with overloaded arithmetic operations plus real div...	boehmes	2012-09-27
\| * \|	Added BigDec as representation for (floating-point) decimal values	boehmes	2012-09-27
\| * \|	Boogie: new syntax for integer division and modulus: use div and mod instead ...	boehmes	2012-09-27
\| * \|	Removed AIFramework from Boogie -- use native trivial or native interval-base...	boehmes	2012-09-27
\| * \|	Removed abandoned Isabelle prover backend	boehmes	2012-09-27
\|/ /
* /	Barrier invariants can now refer to local variables that are uniform.	Unknown	2012-09-26
\|/
*	Merge	Unknown	2012-09-24
\|\
* \|	Fixed issue with uniformity analysis and block merging. Uniformity analysis	Unknown	2012-09-24
\| *	Merge	stefanheule	2012-09-24
\| \|\
\| * \|	Chalice: New regression test-case.	stefanheule	2012-09-24
\| * \|	Chalice: Fix type-checker incompleteness.	stefanheule	2012-09-24
\| * \|	Chalice: Add new regression test case.	stefanheule	2012-09-24
\| * \|	Chalice: Improve code to generate triggers for framing axiom.	stefanheule	2012-09-24
\| * \|	Chalice: Fix triggers for framing axiom of known-folded locations.	stefanheule	2012-09-24
\| \| *	Merge	Egor Kyshtymov	2012-09-24
\| \|/\| \|/\| \|
\| \| *	Added detailed trace functionality.	Egor Kyshtymov	2012-09-24
* \| \|	Merge	Unknown	2012-09-24
\|\ \ \
* \| \| \|	Support for barrier invariants.	Unknown	2012-09-24
\| * \| \|	Merge	Unknown	2012-09-24
\| \|\ \ \
\| * \| \| \|	added output for a test case	Unknown	2012-09-24
\| \| * \| \|	DafnyExtension: adding some missing keywords (for imports)	Unknown	2012-09-21
\| \|/ / / \|/\| \| \|
\| \| * \|	Chalice: Fix soundness issue about when it is sound to keep knowledge about p...	stefanheule	2012-09-21
\| \| * \|	Chalice: Alternative approach to frame known-folded locations; use quantifica...	stefanheule	2012-09-21
* \| \| \|	Fixed a bug with empty big blocks.	Unknown	2012-09-21
* \| \| \|	Merge	Unknown	2012-09-21
\|\\| \| \|
* \| \| \|	Added support for invariants about shared state.	Unknown	2012-09-21
\| * \| \|	Merge	Unknown	2012-09-21
\| \|\\| \|
\| * \| \|	Added linked list Chalice example	Unknown	2012-09-21
\| \| * \|	Chalice: Update release script to adapt to new scala version.	stefanheule	2012-09-21
\| \| * \|	Merge	stefanheule	2012-09-20
\| \| \|\ \
\| \| * \| \|	Chalice: New regression tests for fixed workitems 10189 and 10208.	stefanheule	2012-09-20
\| \| * \| \|	Chalice: New regression test case from workitem 10221.	stefanheule	2012-09-20
\| \|/ / /
\| \| * \|	Merge	Unknown	2012-09-19
\| \| \|\ \ \| \| \|/ / \| \|/\| \|
\| \| * \|	Boogie: improved parser makefile	Unknown	2012-09-19