debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Adding fixedpoint engine backend	Ken McMillan	2013-05-07
*	added support for linear sets without useArrayTheory (but there is some incom...	Unknown	2013-03-07
*	fixed datatype bug reported by Chris	Unknown	2013-03-05
*	Parse integers returned by Z3 into BigNum	akashlal	2013-01-29
*	Use the new ProverInterface's Evaluate method in stratified inlinig	Unknown	2013-01-03
*	bug fix	Unknown	2012-12-28
*	extended Evaluate to handle more types	Unknown	2012-12-28
*	Added expression evaluation API	Unknown	2012-12-27
*	Bug fix for ExplainHoudini. Made it robust under timeouts.	Unknown	2012-12-20
*	Incorporated contribution 3667, which fixes bug in /z3exe flag (http://boogie...	Rustan Leino	2012-11-20
*	Fix for parsing error in MAXSAT computation in ProverInterface::CheckAssumpti...	Unknown	2012-10-08
*	bunch of refactorings	Unknown	2012-10-03
*	Boogie: added type 'real' with overloaded arithmetic operations plus real div...	boehmes	2012-09-27
*	Removed AIFramework from Boogie -- use native trivial or native interval-base...	boehmes	2012-09-27
*	Removed abandoned Isabelle prover backend	boehmes	2012-09-27
*	Implement support for alternative SMT solvers -- CVC3 and CVC4	Peter Collingbourne	2012-09-06
*	Made error trace generation (without labels) more general for stratified	Unknown	2012-07-04
*	Trying to merge with recent changes, failing.	Ken McMillan	2012-06-05
\|\
\| *	Some changes to support expanded use of z3api.	Ken McMillan	2012-06-05
* \|	moved class Macro to Absy	qadeer	2012-06-04
* \|	Z3: do not assert that the ProgramFiles environment variable is set	Peter Collingbourne	2012-05-02
* \|	Get Boogie and GPUVerify to compile and run with Mono	Peter Collingbourne	2012-05-02
* \|	clean up in stratified inlining	qadeer	2012-04-29
* \|	eliminated class ErrorModel	qadeer	2012-04-28
* \|	removed proccopybounding code	qadeer	2012-04-28
* \|	removed lazy inlining	qadeer	2012-04-28
* \|	various changes for using unsat cores in Houdini	qadeer	2012-04-17
* \|	small fix	qadeer	2012-04-04
* \|	added nonUniformUnfolding option	qadeer	2012-04-03
* \|	deleted the option UseUnsatCoreForInlining	qadeer	2012-04-02
* \|	Merge	qadeer	2012-04-01
\|\ \
\| * \|	bug fix for previous refactoring	Unknown	2012-04-02
* \| \|	Merge	qadeer	2012-04-01
\|\\| \|
* \| \|	partial work on non-uniform loop unrolling	qadeer	2012-04-01
\| * \|	Refactored CheckAssumptions API	Unknown	2012-04-02
\|/ /
* \|	more type checking for datatypes	qadeer	2012-03-18
* \|	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
\| * \|	Cleaned up code by getting rid of ApiProverInterface.	Unknown	2012-02-29
\|/ /
* \|	Simplification to previous checkin	Michal Moskal	2012-02-28
* \|	Introduce ApiProverInterface.CheckOutcomeCore() for stratified inlining; simp...	Michal Moskal	2012-02-28
* \|	fixed up SI to work with new error trace generation	qadeer	2012-02-28
* \|	various fixes related to new error traces	qadeer	2012-02-27
* \|	further fixes related to using uninterpreted function for error traces	qadeer	2012-02-25
* \|	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
\|/
*	minor fix in tracing	qadeer	2012-02-14