debian-boogie - Debian packaging for Boogie

	Commit message (Collapse)	Author	Age
*	Merging complete. Everything looks good crosses fingers	Checkmate50	2016-06-06
\|
*	Remove dead method argument	Dan Liew	2014-09-24
\| \| \| \|	Patch by Jeroen Ketema
*	Fix Boogie so it compiled with mono. Patch by Dan Liew.	Ally Donaldson	2014-01-14
\|
*	Minor Changes in YieldTypeChecker	kuruis	2013-12-19
\|
*	various updates	qadeer	2013-12-09
\|
*	added the QED build configuration	qadeer	2013-12-02
\|
*	Changed BVD to display shortened names if they are unique.	wuestholz	2013-08-05
\|
*	Fixed several build errors in the 'Checked' configuration.	wuestholz	2013-08-05
\|
*	Make it possible to set the font in BVD externally.	wuestholz	2013-07-31
\|
*	Make it possible to look up variables in the Dafny error models.	wuestholz	2013-07-30
\|
*	Fixed issue in the model viewer.	wuestholz	2013-07-29
\|
*	Allow for certain visual elements of the model viewer to be hidden.	wuestholz	2013-07-28
\|
*	Make 'Model' a proper project.	wuestholz	2013-07-26
\|
*	merge	Pantazis Deligiannis	2013-07-22
\|\
\| *	Changed the API to make it possible to set the current state in BVD.	wuestholz	2013-07-21
\| \|
* \|	fix	Pantazis Deligiannis	2013-07-19
\| \|
* \|	merge	Pantazis Deligiannis	2013-07-19
\|\\|
\| *	Split up the model viewer into a library and an application and added some ↵	wuestholz	2013-07-14
\| \| \| \| \| \| \| \|	functionality.
* \|	fix in modelviewer, ParseModels now requires 2 arguments, second should be ↵	Pantazis Deligiannis	2013-07-09
\| \| \| \| \| \| \| \|	an empty string for the default parser
* \|	merged more CVC4 and Z3 SMTLIB2 parsing methods ... results into a more ↵	pantazis	2013-06-13
\| \| \| \| \| \| \| \|	compact parser
* \|	small update in options	pantazis	2013-06-12
\| \|
* \|	CVC4 Parser	pantazis	2013-06-12
\|/
*	Dafny/Boogie/BVD: made Dafny plug-in for BVD work again	Rustan Leino	2012-06-08
\|
*	Switch bvd to MSIL (instead of x86) target architecture	stobies	2012-03-26
\|
*	VCC: fix treatment of arrays	Michal Moskal	2012-02-24
\|
*	VCC: display bitvectors	Michal Moskal	2012-01-28
\|
*	VCC: fixes in function visibility	Michal Moskal	2012-01-28
\|
*	VCC/BVD: what were these null checks all over about?	Michal Moskal	2012-01-17
\|
*	Bring SourceView to front when double-clicking source line	stobies	2011-12-08
\|
*	VCC: Fixes for recent prelude changes	Michal Moskal	2011-12-02
\|
*	BVD: Fix display bug	Michal Moskal	2011-11-15
\|
*	VCC: Further data type improvements	Michal Moskal	2011-11-15
\|
*	VCC: Better display of data type values	Michal Moskal	2011-11-15
\|
*	VCC: Recognize $result	Michal Moskal	2011-11-15
\|
*	VCC: remove _vcc_math_type_ from type names	Michal Moskal	2011-11-09
\|
*	VCC: hide #limited# functions	Michal Moskal	2011-11-09
\|
*	BVD: don't do the "Duplicate entry exception"; uncomment for debugging	Michal Moskal	2011-11-08
\|
*	VCC: show output parameters as roots	Michal Moskal	2011-11-08
\|
*	Merge	Rustan Leino	2011-10-26
\|\
* \|	BVD: fixed two basic but damning problems with the Dafny provider, and ↵	Rustan Leino	2011-10-26
\| \| \| \| \| \| \| \|	elided some temporary variables
\| *	VCC: Detect wrong model files	Michal Moskal	2011-10-26
\| \|
\| *	VCC: improvements in showing arrays, addresses, and embeddings	Michal Moskal	2011-10-24
\|/
*	VCC: support some more _(blob ...) buisness	Michal Moskal	2011-10-19
\|
*	BVD: Default to expert view; Only VCC uses that stuff now, and all VCC users ↵	Michal Moskal	2011-10-19
\| \| \| \|	are clearly experts
*	Performance improvements in BVD	Michal Moskal	2011-10-19
\|
*	VCC: Fix problem with booleans being displayed as maps	Michal Moskal	2011-10-19
\|
*	Link Model.cs in ModelViewer, so that BVD can be updated independtly of the ↵	Michal Moskal	2011-10-03
\| \| \| \|	rest of Boogie
*	VCC: Support _(blob ..) types; fix crash	Michal Moskal	2011-09-28
\|
*	BVD/VCC: Handle reading records/data types from memory	Michal Moskal	2011-09-23
\|
*	Better support for map types	Michal Moskal	2011-09-23
\|