debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	bunch of refactorings	Unknown	2012-10-03
*	Fixed GPUVerify solution.	Unknown	2012-10-01
*	Merge	Unknown	2012-10-01
\|\
* \|	Fix to abstract interpretation to match Boogie.	Unknown	2012-10-01
\| *	Merge	Nadia Polikarpova	2012-09-29
\| \|\
\| \| *	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
\| * \|	Dafny: Removed assembly reference to 'AIFramework'.	wuestholz	2012-09-28
\| * \|	Fixed the build.	wuestholz	2012-09-28
\| * \|	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	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	Egor Kyshtymov	2012-09-24
\|/\| \|
\| * \|	Added detailed trace functionality.	Egor Kyshtymov	2012-09-24
* \| \|	Support for barrier invariants.	Unknown	2012-09-24
\| \| *	Use expression splitting for checking calculation steps	Nadia Polikarpova	2012-09-23
\| \| *	Bugfix in the translation of calc statements (oops), added more resolution an...	Nadia Polikarpova	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	Nadia Polikarpova	2012-09-20
\| \| \| \|\ \| \| \|_\|/ \| \|/\| \|
\| \| \| *	Allow a single != in a calc	Nadia Polikarpova	2012-09-20
\| * \| \|	Merge	Unknown	2012-09-19
\| \|\ \ \ \| \|/ / / \|/\| \| \|
\| * \| \|	Boogie: improved parser makefile	Unknown	2012-09-19
\| \| \| *	Not reusing RelOp parser in CalcOp to avoid the conflict between !in and !	Nadia Polikarpova	2012-09-19
\| \| \| *	Well-formedness check for calc lines	Nadia Polikarpova	2012-09-19
\| \| \| *	Allow multiple calc/block statements in a hint. Removed the empty calc test f...	Nadia Polikarpova	2012-09-19
\| \| \| *	Made verification error message more explicit	Nadia Polikarpova	2012-09-19
\| \| \| *	Allow empty calc statements	Nadia Polikarpova	2012-09-19
\| \|_\|/ \|/\| \|
* \| \|	When uniformity analysis is disabled, no procedures (even the kernel entry	Unknown	2012-09-19
* \| \|	Merge	Unknown	2012-09-18
\|\\| \|
* \| \|	Uniformity analysis. Patch by Peter Collingbourne.	Unknown	2012-09-18
* \| \|	Dualisation modified so that global arrays are not dualised, and group-shared	Unknown	2012-09-18
\| * \|	Merge	Nadia Polikarpova	2012-09-17
\| \|\ \ \| \|/ / \|/\| \|
\| * \|	Allow custom operators on a line	Nadia Polikarpova	2012-09-17
* \| \|	During dualisation,	Unknown	2012-09-17
\| \|/ \|/\|
\| *	Allow several calculation operators (for the whole calculation)	Nadia Polikarpova	2012-09-16
\| *	Allowing calc as hint (without braces)	Nadia Polikarpova	2012-09-16
\| *	Renamed terms into lines (according to the proposal), fixed some contracts	Nadia Polikarpova	2012-09-16
* \|	Added creation of source variable pre- and post- conditions.	Egor Kyshtymov	2012-09-16
\| *	Error reporting for calculation steps	Nadia Polikarpova	2012-09-14