debian-boogie - Debian packaging for Boogie

	Commit message (Collapse)	Author	Age
...
*	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
*	Handle as-array[...] model elements	MichalMoskal	2011-02-23
\|
*	Parse else-> clauses in the model	MichalMoskal	2011-02-23
\| \| \| \|	Disable MODEL_PARTIAL in SMTLib
*	Throw exceptions when push/pop interface is used but not implemented	MichalMoskal	2011-02-23
\| \| \| \|	Complete ErrorModel tables with the final bogus else clause
*	Move model printing to ErrorModel class	MichalMoskal	2011-02-21
\| \| \| \|	Allow construction of ErrorModel instance from Model instance
*	Allow use ErrorModel as a container for Model - make -mv work with SMTLib on Z3	MichalMoskal	2011-02-18
\|
*	Get rid of -smtOutput option. Add /proverOpt:OUTPUT=... to SMT and TPTP ↵	MichalMoskal	2011-02-11
\| \| \| \|	provers. Add handling of help message about /proverOpt.
*	implemented /UseUnsatCoreForInlining option for use in stratified inlining	qadeer	2011-02-06
\|
*	Added CheckAssumptions api interface	akashlal	2010-11-28
\|
*	Some changes to the prover interface to make way for z3-api.	akashlal	2010-11-24
\|
*	ModelViewer:	rustanleino	2010-11-02
\| \| \| \| \| \| \|	* map back values introduced by bool_2_U and int_2_U * map back internal names for select/store to [n] and [n:=], where n is the arity of the map * added /break switch to ModelViewer * display more things (including sequences) in Dafny provider
*	Make the -mv option use the new Model class.	MichalMoskal	2010-10-12
\|
*	Add the new model interface. Untested, doesn't yet include state sequence	MichalMoskal	2010-10-08
\|
*	Get rid of some CCI dependencies in Driver	MichalMoskal	2010-10-07
\|
*	Boogie:	rustanleino	2010-09-23
\| \| \| \| \| \|	* Added /mv flag as the start of a Boogie replacement for /cev * Allow attributes on assume statements * /mv looks for the assume-statement attribute :captureState with a string-literal argument
*	Boogie: Commented out all occurences of repeated inherited contracts - makes ↵	tabarbe	2010-08-27
\| \| \| \|	fewer error messages when compiling with runtime checking on.
*	Boogie: Fixed some doubly-inherited-contract occurrences.	tabarbe	2010-08-20
\|
*	Boogie: Removed and completed a task comment	tabarbe	2010-08-19
\|
*	Fixed a contract	akashlal	2010-08-10
\|
*	More line ending fixups.	MichalMoskal	2010-08-06
\|
*	Boogie: Removed trailing spaces in code	tabarbe	2010-08-04
\|
*	Boogie: VCGeneration port part 1/3: Replacing old source files with ported ↵	tabarbe	2010-07-28
\| \| \| \|	version
*	Boogie\VCGeneration: Renaming sources in preparation for my addition of the ↵	tabarbe	2010-07-28
	ported C# version