debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
...
\| \| \| *	Merge	Nadia Polikarpova	2012-09-29
\| \| \| \|\
\| \| * \| \|	Chalice (Adapt to real support in Boogie): Axiomatization of division is no l...	stefanheule	2012-09-29
\| \| \| \|/ \| \| \|/\|
\| \| * \|	Boogie: updated syntax highlighting ("real")	Unknown	2012-09-28
\| \| * \|	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
\| \|/ /
* \| \|	Dafny: compile iterators	Rustan Leino	2012-09-26
* \| \|	Dafny: added test cases for resolving iterators	Rustan Leino	2012-09-25
* \| \|	Dafny: changed iterators to become special cases of classes	Rustan Leino	2012-09-25
* \| \|	Dafny: added iterators; for now, only parsing and resolving (and printing and...	Rustan Leino	2012-09-25
\| \| *	Merge	Nadia Polikarpova	2012-09-25
\| \| \|\ \| \| \|/ \| \|/\|
\| * \|	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
\| \| \| \| \| \| *	Use expression splitting for checking calculation steps	Nadia Polikarpova	2012-09-23
\| \| \| * \| \| \|	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
\| \| \| \| \| *	Bugfix in the translation of calc statements (oops), added more resolution an...	Nadia Polikarpova	2012-09-21
\| \| \| * \| \|	Chalice: Alternative approach to frame known-folded locations; use quantifica...	stefanheule	2012-09-21
\| \| \| \| \| *	Added tests for parsing and resolution of calc statements	Nadia Polikarpova	2012-09-21