debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	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
\| \|\
\| * \|	using model instead of labels	Unknown	2012-02-23
\| \| *	added floating point keywords to reserved SMTwords list	qadeer	2012-02-20
\| \|/
\| *	Merge	Rustan Leino	2012-02-19
\| \|\
\| * \|	Dafny: make sure assume->assert transformation gives rise to a check	Rustan Leino	2012-02-19
\| \| *	verbose mode	akashlal	2012-02-19
\| \|/
\| *	Dafny: added syntactic support for ...'s in statements, and started implement...	Unknown	2012-02-18
\| *	Dafny: allow signatures to be omitted on refining functions/methods	Unknown	2012-02-16
\| *	Merge	Rustan Leino	2012-02-16
\| \|\
\| * \|	Dafny: allow various forms of leaving off type arguments in declarations	Rustan Leino	2012-02-16
\| * \|	Dafny: re-ran parser generator to use latest .frame files	Rustan Leino	2012-02-16
\| * \|	Dafny: re-ran parser generator to use latest .frame files	Rustan Leino	2012-02-16
\| * \|	Dafny: fixed a couple of compiler bugs	Rustan Leino	2012-02-16
\|/ /
\| *	minor fix in tracing	qadeer	2012-02-14
\|/
*	Small fix to previous commit.	paulthomson	2012-02-13
*	Allow any file extension, but give warning if it is not .gbpl	paulthomson	2012-02-10
*	Fix: Check for duplicate special constants (with attributes).	paulthomson	2012-02-09
*	Merge	qadeer	2012-02-09
\|\
* \|	minor bug in printing z3 path when running with /trace	qadeer	2012-02-09
\| *	fixed a problem in model parsing	Unknown	2012-02-08
\|/
*	Merge	qadeer	2012-02-08
\|\