debian-boogie - Debian packaging for Boogie

	Commit message (Collapse)	Author	Age
*	Fixed crash in ModelParser when Z3 returns an operator that is a list.	Ken McMillan	2014-02-21
\|
*	Fix Boogie so it compiled with mono. Patch by Dan Liew.	Ally Donaldson	2014-01-14
\|
*	added the QED build configuration	qadeer	2013-12-02
\|
*	Fixed several build errors in the 'Checked' configuration.	wuestholz	2013-08-05
\|
*	Whitespace fix	Ally Donaldson	2013-07-22
\|
*	refactoring	Pantazis Deligiannis	2013-07-22
\|
*	refactoring and fixes in the SMTLIB2 parser	Pantazis Deligiannis	2013-07-19
\|
*	code cleanup and refactoring	Pantazis Deligiannis	2013-07-11
\|
*	code cleanup & refactoring	Pantazis Deligiannis	2013-07-11
\|
*	fixed another bug when parsing nested arrays under CVC4	Pantazis Deligiannis	2013-07-10
\|
*	fix a bug when parsing nested arrays under CVC4	Pantazis Deligiannis	2013-07-10
\|
*	the cvc4 parser can now parse nested array expressions	Pantazis Deligiannis	2013-07-10
\|
*	added specific command line options to enable the SMTLIB2 output model ↵	Pantazis Deligiannis	2013-07-09
\| \| \| \|	parser for Z3. Use /proverOpt:SMTLIB2_MODEL=true
*	fixed the CVC4 SMTLIB array parsing to work under the latest CVC4 model ↵	pantazis	2013-06-13
\| \| \| \|	representation changes
*	merged more CVC4 and Z3 SMTLIB2 parsing methods ... results into a more ↵	pantazis	2013-06-13
\| \| \| \|	compact parser
*	simplified SMTLIB2 parser by merging some parsing methods for the CVC4 and ↵	pantazis	2013-06-12
\| \| \| \|	Z3 sub-parsers
*	fix on parser for bit vectors	pantazis	2013-06-12
\|
*	cleaning up some unused code	pantazis	2013-06-12
\|
*	Z3 new parser takes now a new option for pp-bv-literals	pantazis	2013-06-12
\|
*	small update in options	pantazis	2013-06-12
\|
*	naive SMTLIB2 Parser	pantazis	2013-06-12
\|
*	CVC4 Parser	pantazis	2013-06-12
\|
*	fixed bug in model printing	Unknown	2013-03-11
\| \| \| \|	reverted a previous erroneous fix I had made in model parsing
*	updated the model parsing (probably caused by some change in Z3's output)	Unknown	2013-03-07
\|
*	bug fix in model printing	Unknown	2013-01-04
\|
*	Model: sort variables by name	Peter Collingbourne	2012-06-26
\| \| \| \|	This makes the model file much easier to read.
*	Dafny/Boogie/BVD: made Dafny plug-in for BVD work again	Rustan Leino	2012-06-08
\|
*	fixed a problem in model parsing	Unknown	2012-02-08
\| \| \| \|	(_ BitVec n) is substituted with bvn
*	fixed bug in model parsing	qadeer	2012-02-06
\| \| \| \|	converted a bunch of definitions to be inlined
*	a bug fix in model parsing	qadeer	2011-11-30
\|
*	fixed a bug in model parsing	qadeer	2011-11-28
\|
*	fixed another bug in model parser related to datatype values	qadeer	2011-11-14
\| \| \| \|	cleaned up the code related to v1model
*	some refactoring suggested by Michal	qadeer	2011-11-07
\|
*	change in model parsing with datatype values	qadeer	2011-11-07
\|
*	Performance improvements in BVD	Michal Moskal	2011-10-19
\|
*	Added some extra functionality to Model code for corral	Unknown	2011-09-13
\|
*	Another test checkin	Michal Moskal	2011-07-12
\|
*	ported all the counterexample code to Michal's new Model class; the goal is ↵	Unknown	2011-06-27
\| \| \| \|	to eliminate the class ErrorModel from the codebase.
*	Dafny: compile quantifiers	rustanleino	2011-03-26
\| \| \| \| \| \|	Dafny: allow {:induction} attribute to take an explicit list of bound variables on which to apply induction Dafny: split expressions when proving function postconditions Boogie and BVD: updated copyright year ranges
*	Re-enabled quantifier checking in the Checked configuration.	mikebarnett	2011-03-16
\|
*	Turn off quantifier checking in the runtime checking.	mikebarnett	2011-03-14
\|
*	Added a new solution configuration, Checked, that builds the Checked ↵	mikebarnett	2011-03-07
\| \| \| \|	configuration of each project. Turned on runtime checking and reference assembly generation for all of the projects, but only in the Checked configuration.
*	Handle as-array[...] model elements	MichalMoskal	2011-02-23
\|
*	Parse else-> clauses in the model	MichalMoskal	2011-02-23
\| \| \| \|	Disable MODEL_PARTIAL in SMTLib
*	Set Id of Elements.	MichalMoskal	2011-02-21
\| \| \| \|	Add some explanation at the beginning of the file.
*	Accomodate for recent changes in Z3 V2 model format	MichalMoskal	2011-02-18
\|
*	Add information about field being volatile	MichalMoskal	2010-12-14
\|
*	Add Func.OptEval function and some docs	MichalMoskal	2010-12-14
\|
*	Fix typo	MichalMoskal	2010-12-10
\|
*	Add ToString() overrides to help in debugging	MichalMoskal	2010-12-10
\|