debian-boogie - Debian packaging for Boogie

	Commit message (Collapse)	Author	Age
*	Normalise line endings using a .gitattributes file. Unfortunately	Dan Liew	2015-06-28
\| \| \| \| \| \|	this required that this commit globally modify most files. If you want to use git blame to see the real author of a line use the ``-w`` flag so that whitespace changes are ignored.
*	Remove dead method argument	Dan Liew	2014-09-24
\| \| \| \|	Patch by Jeroen Ketema
*	Remove dead code	Dan Liew	2014-09-24
\| \| \| \|	Patch by Jeroen Ketema
*	Whitespace fix	Ally Donaldson	2013-07-22
\|
*	refactoring	Pantazis Deligiannis	2013-07-22
\|
*	code cleanup and refactoring	Pantazis Deligiannis	2013-07-11
\|
*	added specific command line options to enable the SMTLIB2 output model ↵	Pantazis Deligiannis	2013-07-09
\| \| \| \|	parser for Z3. Use /proverOpt:SMTLIB2_MODEL=true
*	naive SMTLIB2 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.
*	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
\|
*	Introduce node categories; sort fields based on that not special characters	MichalMoskal	2010-12-01
\|
*	Improve the generic model viewer	MichalMoskal	2010-11-06
\|
*	Dafny: a partial first crack at a Dafny model-viewer provider, including ↵	rustanleino	2010-11-01
\| \| \| \|	captureState mark-ups in the Boogie code generated from Dafny
*	Implement struct printing	MichalMoskal	2010-10-14
\|
*	Add DisplayNode class with default IDisplayNode implementation. Add ↵	MichalMoskal	2010-10-14
\| \| \| \|	IDisplayNode.State.
*	Put Model.cs in separate assembly. Fix signing/versioning with it.	MichalMoskal	2010-10-12