debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Merge	Ally Donaldson	2015-01-13
\|\
\| *	Merging changes from wuestholz/BoogieInvariantFixesIIII	wuestholz	2015-01-13
\| \|\
* \| \|	Removed unnecessary stage-related attributes from candidate annotations.	Ally Donaldson	2015-01-10
\| \| *	Made invariant of class 'QKeyValue' robust by:	wuestholz	2015-01-09
\| \|/ \|/\|
\| *	Fixed a null reference problem in class 'Constant'.	0biha	2015-01-08
\| *	Made 2 invariants of class 'DeclWithFormals' robust by changing the design	0biha	2015-01-07
\| *	Rewrote 'globalVariablesCache' invariant fix of class 'Program'	0biha	2015-01-08
\| *	Made invariant of class 'Constant' robust by making list 'Parents' read-only	0biha	2015-01-05
\| *	Made invariant of class 'AtomicRE' robust by changing the design	0biha	2015-01-05
\| *	Made invariant of class 'Program' robust by making the GlobalVariables cache ...	0biha	2014-12-27
\| *	Made invariants of classes 'Requires' and 'Ensures' robust by making 'IPotent...	0biha	2014-12-27
\|/
*	Merging changes from 0biha/BoogieInvariantFixesII	wuestholz	2014-12-27
\|\
\| *	Made invariant of class 'ProcedureSummaryEntry' robust by changing the design	0biha	2014-12-23
\| *	Made invariant of class 'Ensures' robust by changing the design (replaced pub...	0biha	2014-12-19
* \|	Merge	0biha	2014-12-16
\|\\|
\| *	Fixed a precondition.	wuestholz	2014-12-16
* \|	Made 2 invariants of class 'Sequential' robust by changing the design (replac...	0biha	2014-12-15
* \|	Made invariant of class 'Choice' robust by changing the design (replaced publ...	0biha	2014-12-15
* \|	Made 2 invariants of class 'TypepedIdent' robust by changing the design (repl...	0biha	2014-12-15
* \|	Made invariant of class 'Requires' robust by changing the design (replaced pu...	0biha	2014-12-15
* \|	Made invariant of class 'Variable' robust by changing the design (replaced pu...	0biha	2014-12-09
* \|	Made 2 invariants of class 'TypeSynonymDecl' robust by changing the design (r...	0biha	2014-12-09
* \|	Made expression invariant of class 'Axiom' robust by changing the design (rep...	0biha	2014-12-09
* \|	Made invariant of class 'Program' robust by	0biha	2014-12-09
* \|	Made invariant of class 'Absy' robust by changing the design (added getter/se...	0biha	2014-12-09
\|/
*	Optimized the VC generation for assumption variables.	wuestholz	2014-12-07
*	Worked on the verification result caching (extracted functions).	wuestholz	2014-11-25
*	Worked on the verification result caching.	wuestholz	2014-11-23
*	Fixed issue in the verification result caching.	wuestholz	2014-11-10
*	Did some refactoring.	wuestholz	2014-10-18
*	Worked on the verification result caching.	wuestholz	2014-10-17
*	Did some refactoring.	wuestholz	2014-10-16
*	Fix issue in computation of checksums for indented statements.	wuestholz	2014-10-15
*	Fix typos in the name of a property and method used for handling	Dan Liew	2014-10-08
*	Merge	akashlal	2014-09-27
\|\
* \|	Better fix for the duplicator, thanks to wuestholz	akashlal	2014-09-27
\| *	Fixed issue reported by Akash Lal.	wuestholz	2014-09-26
\|/
*	The setter is better this way	akashlal	2014-09-25
*	Lets have a setter for TopLevelDeclarations as well	akashlal	2014-09-25
*	Did more refactoring and addressed several todos.	wuestholz	2014-09-23
*	Did more refactoring.	wuestholz	2014-09-23
*	Did some refactoring.	wuestholz	2014-09-23
*	Fixed an issue in the verification result caching (recycled errors).	wuestholz	2014-09-22
*	fixed various CodeContracts issues.	qadeer	2014-09-18
*	Added the ability to attach arbitary objects to Absy nodes using an	Dan Liew	2014-09-03
*	Minor refactoring	wuestholz	2014-08-03
*	Fix bug where Visitors could not visit Requires or Ensures because	Dan Liew	2014-07-27
*	Fix nasty bug introduced by commit 61a94f409975.	Dan Liew	2014-07-15
*	Refactored how checksums are computed.	wuestholz	2014-07-13
*	Worked on the more advanced verification result caching.	wuestholz	2014-07-09