debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	make the call to ProcessDataTypeConstructors in the right place	qadeer	2012-03-11
*	Merge	qadeer	2012-03-10
\|\
* \|	houdini cleanup continued	qadeer	2012-03-10
\| *	Dafny: fixed build error	Rustan Leino	2012-03-09
\| *	Merge	Unknown	2012-03-09
\| \|\
\| * \|	Boogie: map the given filename stdin.bpl to standard input	Unknown	2012-03-09
\|/ /
\| *	Dafny: fixed compilation problem with names in _default module	Rustan Leino	2012-03-08
\|/
*	Dafny: added ghost modules (the meaning is simply that such a module will not...	Rustan Leino	2012-03-07
*	Dafny: added experimental feature {:autocontracts} to de-clutter idiomatic sp...	Unknown	2012-03-05
*	Race checking assertions are now added as invariants and pre/post conditions ...	Unknown	2012-03-05
*	Support for __all and __at_most_one annotations	Unknown	2012-03-04
*	Merge	Unknown	2012-03-04
\|\
* \|	More annotation support	Unknown	2012-03-04
\| *	Merge	Unknown	2012-03-02
\| \|\
\| * \|	Dafny: allow more skeleton statements in refinements	Unknown	2012-03-02
\| \| *	small fix for a bug I introduced during the refactoring of InferAndVerify	qadeer	2012-03-02
\| \| *	Merge	qadeer	2012-03-02
\| \| \|\ \| \|_\|/ \|/\| \|
\| \| *	various refactorings related to houdini	qadeer	2012-03-02
* \| \|	Merge	Unknown	2012-03-01
\|\ \ \ \| \| \|/ \| \|/\|
* \| \|	Support for access annotations.	Unknown	2012-03-01
\| \|/ \|/\|
\| *	Dafny: fixed well-formedness checking of LET expressions to allow the RHS to ...	Rustan Leino	2012-02-29
\|/
*	Added missing files.	Unknown	2012-02-29
*	Merge	Unknown	2012-02-29
\|\
* \|	Adding support for annotations written in the OpenCL/CUDA kernels.	Unknown	2012-02-29
\| *	bug fix	qadeer	2012-02-29
\| *	Merge	qadeer	2012-02-29
\| \|\
\| * \|	small changes to z3api to make it compile after the z3 project was ripped out	qadeer	2012-02-29
\| \| *	verbose mode for stratified inlining.	Unknown	2012-02-29
\| \| *	Cleaned up code by getting rid of ApiProverInterface.	Unknown	2012-02-29
\| \|/ \|/\|
* \|	Merge	Unknown	2012-02-28
\|\\|
* \|	Fixed compilation problems in GPUVerify	Unknown	2012-02-28
\| *	removed unneeded projects	qadeer	2012-02-28
\| *	Merge	qadeer	2012-02-28
\| \|\
\| * \|	fix to keep old behavior of OnModel in SI	qadeer	2012-02-28
\| \| *	Simplification to previous checkin	Michal Moskal	2012-02-28
\| \| *	Introduce ApiProverInterface.CheckOutcomeCore() for stratified inlining; simp...	Michal Moskal	2012-02-28
\| \|/
\| *	Merge	qadeer	2012-02-28
\| \|\ \| \|/ \|/\|
\| *	fixed up SI to work with new error trace generation	qadeer	2012-02-28
* \|	Merge	Unknown	2012-02-28
\|\\|
* \|	Added support for invariants in GPUVerify input.	Unknown	2012-02-28
\| *	further fixes	qadeer	2012-02-28
\| *	various cleanup regarding /doNotUseLabels	qadeer	2012-02-28
\| *	one more fix	qadeer	2012-02-27
\| *	fixing stratified inlining to deal with new path info	qadeer	2012-02-27
\| *	various fixes related to new error traces	qadeer	2012-02-27
\| *	Merge	qadeer	2012-02-25
\| \|\
\| * \|	further fixes related to using uninterpreted function for error traces	qadeer	2012-02-25
\| \| *	VCC: fix treatment of arrays	Michal Moskal	2012-02-24
\| \|/
\| *	bug fixes related to using ControlFlowFunction instead of labels	qadeer	2012-02-23
\| *	Merge	qadeer	2012-02-23
\| \|\