debian-boogie - Debian packaging for Boogie

	Commit message (Collapse)	Author	Age
*	Fixedpoint VC catch up with recent changes	Ken McMillan	2013-11-11
\|
*	changes to support a configured errorLimit	Pantazis Deligiannis	2013-09-30
\|
*	Fixed several build errors in the 'Checked' configuration.	wuestholz	2013-08-05
\|
*	Resolved some issues with data races.	wuestholz	2013-07-23
\|
*	Worked on the parallelization.	wuestholz	2013-07-12
\|
*	Worked on the parallelization.	wuestholz	2013-07-11
\|
*	Worked on the parallelization.	wuestholz	2013-07-10
\|
*	Worked on the parallelization.	wuestholz	2013-07-08
\|
*	Worked on the parallelization.	wuestholz	2013-07-05
\|
*	Worked on the parallelization.	wuestholz	2013-07-02
\|
*	Worked on the parallelization.	wuestholz	2013-07-01
\|
*	Did some refactoring in the execution engine and worked on the parallelization.	wuestholz	2013-07-01
\|
*	Did some refactoring in the execution engine and worked on the parallelization.	wuestholz	2013-06-25
\|
*	Did some refactoring in the execution engine and worked on the parallelization.	wuestholz	2013-06-21
\|
*	Fixes for duality under corral	Ken McMillan	2013-06-14
\|
*	Working on fixedpoint backend	Ken McMillan	2013-05-20
\|
*	Adding fixedpoint engine backend	Ken McMillan	2013-05-07
\|
*	Removed old comments about "BASEMOVE" and other constructor calls, where the ↵	Unknown	2013-01-07
\| \| \| \|	conversion from Spec# into C# moved a constructor call
*	extended Evaluate to handle more types	Unknown	2012-12-28
\|
*	Added expression evaluation API	Unknown	2012-12-27
\|
*	Made error trace generation (without labels) more general for stratified	Unknown	2012-07-04
\| \| \| \|	inlining
*	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
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	Should not affect function of other provers. There is an option added in Check.cs to allow creation of a Checker with a user-specified ProverContext. Also, some extension of z3api prover context to support conversion of Z3 formulas back to VCExpr. Finally, some experimental code, not enabled, to allow conversion of loops to recursion with "head recursion" rather than "tail recursion" (i.e., recursive call before loop body rather than after).
* \|	moved class Macro to Absy	qadeer	2012-06-04
\| \| \| \| \| \| \| \| \| \|	cleanup up DefineMacro Changed SI to use macros for reach info
* \|	clean up in stratified inlining	qadeer	2012-04-29
\| \|
* \|	eliminated class ErrorModel	qadeer	2012-04-28
\| \|
* \|	various changes for using unsat cores in Houdini	qadeer	2012-04-17
\| \|
* \|	deleted the option UseUnsatCoreForInlining	qadeer	2012-04-02
\| \| \| \| \| \| \| \| \| \|	Split ApiChecker.CheckAssumptions into two different methods, one which computes the unsatCore and one which does not Further edits to the MaxSat code
* \|	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
\|/ /
* \|	Cleaned up code by getting rid of ApiProverInterface.	Unknown	2012-02-29
\| \|
* \|	Introduce ApiProverInterface.CheckOutcomeCore() for stratified inlining; ↵	Michal Moskal	2012-02-28
\| \| \| \| \| \| \| \|	simplify push/pop handling
* \|	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
\|/
*	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
*	Dafny: fixed bad Code Contracts	Rustan Leino	2011-11-16
\|
*	Eliminated unused argument in the constructor for Checker	qadeer	2011-11-16
\|
*	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: internal clean-up, removed BvHandling type, everything now behaves ↵	Rustan Leino	2011-10-27
\| \| \| \|	as if the old /bv:z were used
*	Boogie: Eliminated the /bv option. Only native bitvectors are supported now. ↵	Rustan Leino	2011-10-27
\| \| \| \|	The :forceBvZ3Native, :forceBvInt, and :bvint attributes were also eliminated.
*	Added a push+pop+unsat-core interface to SMTLib (for stratified inlining only)	Unknown	2011-10-19
\|
*	Options.PostParse() is called by Parse(), so set command-line-derived ↵	Michal Moskal	2011-08-30
\| \| \| \|	options before calling Parse()
*	Add a string for an uninterpreted value in errModel	Unknown	2011-06-06
\|
*	Bug fix with model generation.	akashlal	2011-03-21
\|
*	Renamed NonNullElements to NonNullDictionaryAndValues because the keys to ↵	mikebarnett	2011-03-10
\| \| \| \| \| \|	dictionaries are non-null, which is enforced by the implementation of Dictionary. Added class constraints to all of the generic NonNull and NonNullElements methods so only non-value types will be checked.
*	Updated PrepareBoogieZip.bat to include BVD and smt2	rustanleino	2011-03-10
\| \| \| \|	Ignore duplicated else functions in models