debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Chalice build succeeded, 1 test(s) failed	CodeplexBot	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
\| *	Chalice: Added list reversal example, along with variants with extra unfold/f...	Unknown	2012-05-21
\| *	Merge	Unknown	2012-05-18
\| \|\ \| \|/ \|/\|
\| *	Dafny: more correct checking of co-inductive productivity	Unknown	2012-05-18
* \|	Fix for addressof expressions.	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
\| * \|	Jennisys: changed the module for reading from Dafny model files so that it works	Unknown	2012-05-06
\| * \|	Merge	Unknown	2012-05-06
\| \|\ \
\| * \| \|	Jennisys:	Unknown	2012-05-06
\| \| * \|	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
\| \| * \|	Boogie build succeeded	CodeplexBot	2012-05-01
\| \|/ / \|/\| \|
* \| \|	log file fix	qadeer	2012-04-30
* \| \|	Update to match the new model printing format	Michal Moskal	2012-04-30
* \| \|	UseLabels=false when stratified inline is on	qadeer	2012-04-29
* \| \|	Merge	qadeer	2012-04-29
\|\\| \|
* \| \|	clean up in stratified inlining	qadeer	2012-04-29
\| * \|	Boogie build succeeded, 1 test(s) failed	CodeplexBot	2012-04-29
\|/ /
* \|	eliminated class ErrorModel	qadeer	2012-04-28
* \|	removed proccopybounding code	qadeer	2012-04-28
* \|	eliminated LazyInliningInfo	qadeer	2012-04-28
* \|	removed the lazy inline test directory	qadeer	2012-04-28
* \|	Merge	qadeer	2012-04-28
\|\ \
* \| \|	removed lazy inlining	qadeer	2012-04-28
\| * \|	Boogie build succeeded	CodeplexBot	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
\| * \|	Dafny: added resolution tests cases for inductive datatypes	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