debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
...
\| * \|	Merge	Rustan Leino	2012-03-07
\| \|\ \
\| * \| \|	Dafny: added ghost modules (the meaning is simply that such a module will not...	Rustan Leino	2012-03-07
\| \| * \|	Merge	mschwerhoff	2012-03-07
\| \| \|\ \ \| \| \|/ / \| \|/\| \|
\| \| * \|	Chalice: Modified permission scaling when rd-acquiring/releasing monitors such	mschwerhoff	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: tests for skeletons	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
\| \|/ / / \|/\| \| \|
\| * \| \|	value attribute "\n" to "\\n"	qadeer	2012-03-01
\| * \| \|	Boogie build succeeded	CodeplexBot	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
\| \| * \| \|	Merge	Unknown	2012-02-29
\| \| \|\ \ \
\| \| \| * \| \|	Cleaned up code by getting rid of ApiProverInterface.	Unknown	2012-02-29
\| \|_\|/ / / \|/\| \| \| \|
\| \| * \| \|	Boogie build succeeded	CodeplexBot	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
\| * \|	Merge	qadeer	2012-02-28
\| \|\ \
\| * \| \|	various cleanup regarding /doNotUseLabels	qadeer	2012-02-28
\| \| * \|	Boogie build succeeded	CodeplexBot	2012-02-28
\| \|/ /
\| * \|	one more fix	qadeer	2012-02-27
\| * \|	fixing stratified inlining to deal with new path info	qadeer	2012-02-27
\| \| *	Chalice: Fix chalice.bat to work with paths that contain spaces.	stefanheule	2012-02-27
\| * \|	Merge	qadeer	2012-02-27
\| \|\ \
\| * \| \|	various fixes related to new error traces	qadeer	2012-02-27