debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
...
*	Use DateTime.UtcNow instead of DateTime.Now	stobies	2012-01-11
*	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 as...	Rustan Leino	2011-10-27
*	Boogie: Eliminated the /bv option. Only native bitvectors are supported now. ...	Rustan Leino	2011-10-27
*	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 options...	Michal Moskal	2011-08-30
*	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 dic...	mikebarnett	2011-03-10
*	Updated PrepareBoogieZip.bat to include BVD and smt2	rustanleino	2011-03-10
*	Handle as-array[...] model elements	MichalMoskal	2011-02-23
*	Parse else-> clauses in the model	MichalMoskal	2011-02-23
*	Throw exceptions when push/pop interface is used but not implemented	MichalMoskal	2011-02-23
*	Move model printing to ErrorModel class	MichalMoskal	2011-02-21
*	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 prove...	MichalMoskal	2011-02-11
*	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
*	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
*	Boogie: Commented out all occurences of repeated inherited contracts - makes ...	tabarbe	2010-08-27
*	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 ve...	tabarbe	2010-07-28
*	Boogie\VCGeneration: Renaming sources in preparation for my addition of the p...	tabarbe	2010-07-28