debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
...
\| \| * \| \|	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
\| \| \| \| \| *	Merge	Nadia Polikarpova	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	Nadia Polikarpova	2012-09-20
\| \| \| \| \| \|\ \| \| \| \| \|_\|/ \| \| \| \|/\| \|
\| \| \| \| \| *	Allow a single != in a calc	Nadia Polikarpova	2012-09-20
\| \| \| * \| \|	Merge	Unknown	2012-09-19
\| \| \| \|\ \ \ \| \| \| \|/ / / \| \| \|/\| \| \|