debian-boogie - Debian packaging for Boogie

	Commit message (Collapse)	Author	Age
*	Extra debugging output for Houdini	Unknown	2012-08-21
\|
*	Houdini: recognise candidates of the form (p => (q => (... => (e => phi)))) ↵	Peter Collingbourne	2012-08-07
\| \| \| \|	where e existential
*	moved class Macro to Absy	qadeer	2012-06-04
\| \| \| \| \|	cleanup up DefineMacro Changed SI to use macros for reach info
*	changed behavior of InlinedEnsures so that free ensures is skipped unless an ↵	qadeer	2012-06-01
\| \| \| \|	attribute called :assume is there
*	starting the implementation of the new stratified inlining API	qadeer	2012-05-21
\|
*	shutting down the prover used for doing houdini	qadeer	2012-05-10
\|
*	clean up in stratified inlining	qadeer	2012-04-29
\|
*	removed lazy inlining	qadeer	2012-04-28
\|
*	unsat core for houdini	qadeer	2012-04-27
\|
*	various changes for using unsat cores in Houdini	qadeer	2012-04-17
\|
*	houdini cleanup continued	qadeer	2012-03-10
\|
*	various refactorings related to houdini	qadeer	2012-03-02
\|
*	various cleanup regarding /doNotUseLabels	qadeer	2012-02-28
\|
*	further fixes related to using uninterpreted function for error traces	qadeer	2012-02-25
\| \| \| \|	removed Provers.Simplify, Provers.Z3, Provers.TPTP from the solution
*	bug fixes related to using ControlFlowFunction instead of labels	qadeer	2012-02-23
\|
*	slight change to houdini logging	Unknown	2012-02-06
\|
*	added more logging in houdini	Unknown	2012-02-06
\|
*	Use DateTime.UtcNow instead of DateTime.Now	stobies	2012-01-11
\| \| \| \|	see http://blogs.msdn.com/b/kirillosenkov/archive/2012/01/10/datetime-utcnow-is-generally-preferable-to-datetime-now.aspx
*	bug fix in the FreeRequiresVisitor	qadeer	2011-12-22
\|
*	removed some extraneous parameters	qadeer	2011-12-19
\|
*	fixed a completeness problem in houdini with inlining	qadeer	2011-12-18
\|
*	bug fix in houdini inlineDepth	qadeer	2011-12-06
\|
*	more logging	qadeer	2011-12-06
\|
*	further fixes to houdini	qadeer	2011-12-05
\|
*	added more instrumentation to Houdini	qadeer	2011-12-05
\| \| \| \| \|	when vcgen fails, instead of stopping houdini, the failing vc is added to a list of blacklisted vcs fixed bug in the call graph generation when inlining is used
*	added some more statistics to houdini	qadeer	2011-11-24
\| \| \| \|	added a coupe more regressions for houdini+inlineDepth
*	fixed bug in the inlineDepth option for houdini	qadeer	2011-11-23
\| \| \| \|	small clean up in the inlining implementation
*	augmented the worklist with an explicit attached set	qadeer	2011-11-22
\|
*	commented calls to GC.Collect()	qadeer	2011-11-18
\|
*	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
\|
*	simple fix in houdini	qadeer	2011-11-16
\|
*	added houdini to regression	qadeer	2011-10-17
\| \| \| \|	changed houdini so that the initial worklist is created by queueing downstream Sccs first
*	bug fix in houdini	qadeer	2011-09-30
\| \| \| \|	also fixed runtest.bat and Answer
*	updated Houdini so it works with SMTLib	qadeer	2011-09-27
\|
*	fixed houdini so that it is cognizant of inlined procedures	qadeer	2011-09-27
\|
*	Fixed test failures in the "Checked" configuration.	wuestholz	2011-09-19
\|
*	Added build version stamping for Houdini.dll	stobies	2011-09-05
\|
*	fixed the key signing problem with houdini	qadeer	2011-08-05
\| \| \| \|	started adding bct provider
*	further changes for making houdini work	qadeer	2011-08-04
\|
*	cleaned up houdini options	qadeer	2011-08-04
\|
*	full port of houdini project	qadeer	2011-08-04
\|
*	Merge	qadeer	2011-08-03
\|\
* \|	ported Houdini to C#, added Houdini project to the Boogie solution	qadeer	2011-08-03
\|/
*	Sign assemblies	stobies	2009-08-17
\|
*	Initial set of files.	mikebarnett	2009-07-15