debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	value attribute "\n" to "\\n"	qadeer	2012-03-01
*	adding attribute for string literals	qadeer	2012-02-27
*	added :first attribute to the first line directive corresponding to a source ...	qadeer	2012-02-13
*	Union is now based on axioms	qadeer	2012-02-07
*	fixed bug in model parsing	qadeer	2012-02-06
*	Merge	qadeer	2012-02-06
\|\
* \|	added inlining support for all implementations given the attribute {:inline 1}	qadeer	2012-02-06
\| *	Automated merge with https://hg01.codeplex.com/boogie	Mike Barnett	2012-02-05
\|/\|
\| *	Separated the concepts of "boxing" (i.e., CLR boxing of a value type) from	Mike Barnett	2012-02-05
* \|	added a dummy sourceLine attribute for delegate dispatch	qadeer	2012-01-31
* \|	added another project	qadeer	2012-01-30
\| *	Automated merge with https://hg01.codeplex.com/boogie	Mike Barnett	2012-01-26
\| \|\
\| \| *	Separate out the concepts of boxing	Mike Barnett	2012-01-26
* \| \|	added another method that just throws an exception	qadeer	2012-01-24
\|/ /
* /	an optimization in dynamic dispatch	qadeer	2012-01-23
\|/
*	Mark the procedure translated from the module's entry point	Mike Barnett	2012-01-15
*	Make a copy of a struct value being passed to a method	Mike Barnett	2012-01-10
*	Fix call to struct copy ctor.	Mike Barnett	2012-01-10
*	Fixed struct copy constructor implementation.	Mike Barnett	2012-01-10
*	Change the copy constructor for struct types so that it returns the copy	Mike Barnett	2012-01-09
*	Copy structs that are passed by value as method call arguments.	Mike Barnett	2012-01-04
*	For now, just ignore "address of" nodes and translate the expression of which	Mike Barnett	2012-01-03
*	new axioms for subtyping	qadeer	2011-12-31
*	modeling multiset using generalized array theory	qadeer	2011-12-30
*	made delegate a datatype	qadeer	2011-12-30
*	problem fixed after CCI update	qadeer	2011-12-30
*	fixed problems with datatypes	qadeer	2011-12-29
*	Merge	qadeer	2011-12-28
\|\
* \|	deleted some commented code	qadeer	2011-12-28
\| *	Add instrumentation for branches.	Mike Barnett	2011-12-28
\|/
*	refactored AssertionInjector so that it works directly on bpl files as well	qadeer	2011-12-26
*	bug fix in houdini inlineDepth	qadeer	2011-12-06
*	Fixed bug when getting last source context in a method body.	Mike Barnett	2011-12-06
*	Refactored translator so it can be called programmatically and return the	Mike Barnett	2011-11-21
*	BCT: Initialize Boogie's command-line options object correctly before using	Mike Barnett	2011-11-21
*	commented calls to GC.Collect()	qadeer	2011-11-18
*	Translate AddressOf expressions correctly.	Mike Barnett	2011-11-16
*	Load all assemblies before doing anything else so that the unification for	Mike Barnett	2011-11-16
*	For some reason, these didn't get into the last commit.	Mike Barnett	2011-11-14
*	Trying to get the generics translation correct...	Mike Barnett	2011-11-14
*	moved the addition of selectors and testers to program.Resolve	qadeer	2011-11-11
*	Many, many bug fixes related to generics and some other random problems.	Mike Barnett	2011-11-10
*	change in model parsing with datatype values	qadeer	2011-11-07
*	Don't wipe out existing attributes when adding {:extern}	Mike Barnett	2011-11-01
*	Major changes to the translator traversers because they now are based on the	Mike Barnett	2011-10-31
*	Fixed the generation of names for datatype functions to use the API for	Mike Barnett	2011-10-31
*	Don't let /s be specified for stub files. (But keep the old code in case we	Mike Barnett	2011-10-23
*	Fixed two bugs related to structs: now a struct that is declared without an	Mike Barnett	2011-09-01
*	more string mangling	qadeer	2011-08-31
*	delegates/events implemented as multisets rather than linked lists	qadeer	2011-08-30