debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Merge	qadeer	2012-05-25
\|\
* \|	new stratified inlining (initial prototype)	qadeer	2012-05-25
\| *	Merge	Unknown	2012-05-25
\| \|\
\| * \|	Adding an option for deterministicExtractLoops, that uses an alternate way to...	Unknown	2012-05-25
\| \| *	GPUVerify: declarations of barrier, work-item constants no longer required; G...	Peter Collingbourne	2012-05-25
\| \| *	GPUVerify: add reference to Graph project	Peter Collingbourne	2012-05-25
\| \| *	GPUVerify: add a MakeDual for unstructured blocks	Peter Collingbourne	2012-05-25
\| \| *	GPUVerify: factor out the Cmd dualiser	Peter Collingbourne	2012-05-24
\| \| *	GPUVerify: add block predicator	Peter Collingbourne	2012-05-25
\| \| *	GPUVerify: add an /unstructured command line option	Peter Collingbourne	2012-05-25
\| \|/ \|/\|
* \|	Merge	qadeer	2012-05-24
\|\\|
* \|	more refactoring in stratified inlining	qadeer	2012-05-24
\| *	Boogie: document /typeEncoding:m	Peter Collingbourne	2012-05-22
\| *	Fix DomRelation.DominatedBy for the case where the dominator is the source	Peter Collingbourne	2012-05-22
\|/
*	Merge	qadeer	2012-05-21
\|\
* \|	small fix	qadeer	2012-05-21
* \|	starting the implementation of the new stratified inlining API	qadeer	2012-05-21
\| *	Merge	Unknown	2012-05-18
\| \|\ \| \|/ \|/\|
\| *	Dafny: more correct checking of co-inductive productivity	Unknown	2012-05-18
* \|	shutting down the prover used for doing houdini	qadeer	2012-05-10
* \|	Merge	qadeer	2012-05-10
\|\ \
* \| \|	some other cleanups	qadeer	2012-05-10
\| * \|	Z3: do not assert that the ProgramFiles environment variable is set	Peter Collingbourne	2012-05-02
\| * \|	Boogie: handle absolute paths on *nix correctly	Peter Collingbourne	2012-05-02
\| * \|	Get Boogie and GPUVerify to compile and run with Mono	Peter Collingbourne	2012-05-02
\| * \|	Slightly better management of outermost Push-Pop and FlushAxioms	Unknown	2012-05-02
\|/ /
* \|	z3 process is killed now	qadeer	2012-05-01
* \|	Merge	qadeer	2012-05-01
\|\ \
* \| \|	added counterexample generation based on labels back to stratified inlining	qadeer	2012-05-01
\| \| *	Dafny: improve printing of inductive datatypes	Unknown	2012-05-01
\| \|/
\| *	Merge	Rustan Leino	2012-05-01
\| \|\ \| \|/ \|/\|
\| *	Dafny: print inductive datatypes	Rustan Leino	2012-05-01
\| *	Dafny: added support for co-recursive calls	Rustan Leino	2012-05-01
* \|	log file fix	qadeer	2012-04-30
* \|	UseLabels=false when stratified inline is on	qadeer	2012-04-29
* \|	clean up in stratified inlining	qadeer	2012-04-29
\|/
*	eliminated class ErrorModel	qadeer	2012-04-28
*	removed proccopybounding code	qadeer	2012-04-28
*	eliminated LazyInliningInfo	qadeer	2012-04-28
*	removed lazy inlining	qadeer	2012-04-28
*	Merge	qadeer	2012-04-27
\|\
* \|	unsat core for houdini	qadeer	2012-04-27
\| *	Dafny: fixed unsoundness having to do with a function depending on the alloca...	Unknown	2012-04-27
\| *	Merge	Unknown	2012-04-26
\| \|\ \| \|/ \|/\|
\| *	Dafny: fixed bug that had omitted the computation of .DefaultCtor for some in...	Unknown	2012-04-26
\| *	Dafny: compile co-inductive datatypes	Unknown	2012-04-26
\| *	Dafny: rudimentary translation into Boogie of co-inductive datatypes	Unknown	2012-04-25
\| *	Dafny: fixed resolution bug for inductive datatypes (previous check did not h...	Unknown	2012-04-25
* \|	Merge	Unknown	2012-04-24
\|\\|
* \|	Started refactoring invariant generation rules.	Unknown	2012-04-24