debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
...
*	Boogie: Fixed a crash due to old expressions in lambda expressions that were ...	wuestholz	2011-12-02
*	Remove invariant that was just wrong	Michal Moskal	2011-11-28
*	Added option of turning off model generation in SI. Can be very expensive som...	akashlal	2011-11-26
*	minor bug fix in SI	akashlal	2011-11-24
*	minor changes to summary computation	akashlal	2011-11-24
*	fixes to summary computation	Unknown	2011-11-22
*	Added lazy summary computation to stratified inlining (not finished yet)	akashlal	2011-11-20
*	Dafny: fixed bad Code Contracts	Rustan Leino	2011-11-16
*	refactoring houdini so that it creates only a single instance of z3	qadeer	2011-11-16
*	Eliminated unused argument in the constructor for Checker	qadeer	2011-11-16
*	Merge	akashlal	2011-11-16
\|\
\| *	Debugging output for stratified inlining. Emit attribute on Ensures while	Unknown	2011-11-16
* \|	Boogie (and Dafny, with effects also on SscBoogie): I refactored CommandLine...	Rustan Leino	2011-11-15
\|/
*	Merge	qadeer	2011-11-07
\|\
* \|	change in model parsing with datatype values	qadeer	2011-11-07
* \|	Boogie: Get rid of {:inline} attributes on axioms	Michal Moskal	2011-10-27
* \|	Boogie: Get rid of {:ignore} feature on axioms	Michal Moskal	2011-10-27
* \|	Boogie: internal clean-up, removed BvHandling type, everything now behaves as...	Rustan Leino	2011-10-27
* \|	Boogie: Eliminated the /bv option. Only native bitvectors are supported now. ...	Rustan Leino	2011-10-27
\| *	various refactorings	qadeer	2011-10-27
\|/
*	Added a push+pop+unsat-core interface to SMTLib (for stratified inlining only)	Unknown	2011-10-19
*	revised implementation of proc copy bounding	qadeer	2011-10-16
*	Bug fix to stratified inlining error trace values	Unknown	2011-09-28
*	Name the constant used in @MV_state function applications - otherwise we get ...	Michal Moskal	2011-09-26
*	fixed bug in data value generation	qadeer	2011-09-13
*	Added some extra functionality to Model code for corral	Unknown	2011-09-13
*	fixes to model value generation for stratified inlining	qadeer	2011-09-12
*	further fixes	qadeer	2011-09-08
*	minor fixes	qadeer	2011-09-07
*	Merge	qadeer	2011-09-07
\|\
\| *	Improvement for ProcCopyBounding	Unknown	2011-09-07
* \|	bug fix	qadeer	2011-09-06
* \|	further fixes	qadeer	2011-09-06
* \|	partial check in regarding getting states working with stratified inlining	qadeer	2011-09-06
\|/
*	Options.PostParse() is called by Parse(), so set command-line-derived options...	Michal Moskal	2011-08-30
*	Bug fix for Proc-Copy-Bounding	Unknown	2011-08-28
*	Procedure Copy Bounding for Stratified Inlinig	Unknown	2011-08-25
*	reverting irreducible handling temporarily	qadeer	2011-08-21
\|\
* \|	added code to handle irreducible graphs	qadeer	2011-08-20
* \|	minor refactoring	qadeer	2011-08-17
* \|	deleted lazyinlining option 2 and 3	qadeer	2011-08-17
* \|	Added "procedure-copy bounding" for lazy inlining	Unknown	2011-08-10
* \|	further changes for making houdini work	qadeer	2011-08-04
\|/
*	ported all the counterexample code to Michal's new Model class; the goal is t...	Unknown	2011-06-27
*	Fixed non-incremental option of stratified inlining	Unknown	2011-06-27
*	FindLeastToVerify: accept multiple procedures	Unknown	2011-06-26
*	Avoid restarting the theorem prover for stratified inlining because it	Unknown	2011-06-25
*	early clearing of live variables and incarnation maps	qadeer	2011-06-24
*	implementation of iterative LetVC	qadeer	2011-06-23
*	Bug fix for trace generation with extractLoop option	Unknown	2011-06-23