debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
...
\| \| *	Made invariant of class 'CommandLineOptions' robust by changing the design	0biha	2014-12-24
\| \| *	Backed out changeset: 4103d2e9c2ef	0biha	2014-12-24
\| \| *	Scanner generation with Coco	0biha	2014-12-24
\| \| *	Made invariant of class 'CommandLineOptions' robust by changing the design	0biha	2014-12-23
\| \| *	Made invariant of class 'CommandLineOptions' robust by changing the design	0biha	2014-12-23
\| \| *	Made invariant of class 'CommandLineOptions' robust by	0biha	2014-12-23
\| \| *	Made invariant of class 'CommandLineOptionEngine' robust by	0biha	2014-12-23
\| \| *	Made invariant of class 'Scanner' robust by changing the design (replaced pub...	0biha	2014-12-23
\| \| *	Made invariant of class 'ProcedureSummaryEntry' robust by changing the design	0biha	2014-12-23
\| \| *	Made invariant of class 'HavocCmd' robust by changing the design (replaced pu...	0biha	2014-12-19
\| \| *	Made 2 invariants of type 'StateCmd' robust by changing the design	0biha	2014-12-19
\| \| *	Made 2 invariants of type 'AssignCmd' robust by	0biha	2014-12-19
\| \| *	Made invariant of class 'CommandLineOptionEngine' robust by changing the desi...	0biha	2014-12-19
\| \| *	Made invariant of class 'Ensures' robust by changing the design (replaced pub...	0biha	2014-12-19
\| \|/
\| *	Added an annotation, :split_here, for predicate statements.	Bryan Parno	2014-12-16
* \|	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
\|/
*	Reverted a change to CreateTempVariable for FixedPointVC only.	Ken McMillan	2014-12-08
*	Optimized the VC generation for assumption variables.	wuestholz	2014-12-07
*	Added todos.	wuestholz	2014-11-26
*	Fixed issue with resolution of function calls.	wuestholz	2014-11-26
*	Fix FunctionCall.Resolve() so that when the function is resolved the type bec...	Dan Liew	2014-11-25
*	Fix bug in FunctionCall that caused the ExprTypeChecking.FunctionCall()	Dan Liew	2014-11-25
*	Worked on the verification result caching (extracted functions).	wuestholz	2014-11-25
*	Fixed issues in the verification result caching (old expressions).	wuestholz	2014-11-24
*	Worked on the verification result caching.	wuestholz	2014-11-23
*	Fixed issue in the verification result caching.	wuestholz	2014-11-10
*	Worked on the verification result caching.	wuestholz	2014-11-10
*	Made it never include the statement checksum when printing assert statements.	wuestholz	2014-11-16
*	renamed :phase to :layer	qadeer	2014-11-14
*	Minor refactoring	wuestholz	2014-11-05
*	Let attributes live on during inlining	akashlal	2014-11-05
*	Worked on the verification result caching.	wuestholz	2014-11-05
*	Made it produce more trace output for the verification result caching.	wuestholz	2014-11-02
*	Fixed an issue (reported by Akash Lal).	wuestholz	2014-10-30
*	Fixed minor issue (reported by Alex Summers).	wuestholz	2014-10-28
*	Worked on the verification result caching.	wuestholz	2014-10-19
*	Worked on the verification result caching.	wuestholz	2014-10-19
*	Did some refactoring.	wuestholz	2014-10-18
*	Made it produce more trace output for the verification result caching.	wuestholz	2014-10-18
*	Worked on the verification result caching.	wuestholz	2014-10-17