debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Merge	qadeer	2014-04-16
\|\
* \|	added variable hiding	qadeer	2014-04-16
\| *	Fixed malformed Contracts section	Rustan Leino	2014-04-15
\| *	disabled quantifier merging, except when no triggers are provided (as discuss...	Unknown	2014-03-03
\|/
*	Added /printFixedPoint option	Ken McMillan	2014-04-14
*	Added option to avoid unrolling irreducible loops	akashlal	2014-04-06
*	Fixed class cast issue with type synonyms	Ally Donaldson	2014-04-01
*	Change class 'LambdaVisitor' to attach checksum to expanded lambda functions.	wuestholz	2014-03-17
*	Fix duplicator so that BVConcatExpr and BVExtractExpr are handled. Patch by ...	Ally Donaldson	2014-03-12
*	Merge	Rustan Leino	2014-02-28
\|\
* \|	Changed all lambda-expression rewriting to be done as a pre-processing step b...	Rustan Leino	2014-02-28
\| *	Added /trustNonInterference option	qadeer	2014-02-28
* \|	Changed return type of VisitLambdaExpr to just Expr	Rustan Leino	2014-02-27
\| *	added /doNotUseParallelism option	qadeer	2014-02-27
\|/
*	Fixed tokens to improve error message produce for type errors in non-inlined ...	Rustan Leino	2014-02-25
*	(Fixed and) strengthened contracts of ReadOnlyVisitor. The postconditions of...	Rustan Leino	2014-02-24
*	added ReadOnlyStandardVisitor	qadeer	2014-02-24
*	Added /trustPhasesDownto option	qadeer	2014-02-24
*	Added /trustPhasesUpto option	qadeer	2014-02-23
*	Added /trustAtomicityTypes option	qadeer	2014-02-22
*	fixed code contracts violations	qadeer	2014-02-11
*	Fixed errors in the use of Code Contracts	Rustan Leino	2014-02-10
*	Fixed bug in handling of break statements	Rustan Leino	2014-02-10
*	bug fix in error trace printing	qadeer	2014-02-05
*	Option for reversing Houdini worklist (for top-down analysis)	akashlal	2014-01-28
*	Added functionality to rename state captures when programs are unrolled.	Ally Donaldson	2014-01-17
*	Integrated support for k-induction, implemented a while ago by Philipp Ruemme...	Ally Donaldson	2014-01-17
*	Fix Boogie so it compiled with mono. Patch by Dan Liew.	Ally Donaldson	2014-01-14
*	extended NormalSubstituter so that it can take in a forold substitution	qadeer	2014-01-10
*	Recursive walking of Exprs doesn't play nice when the depth of the AST is high.	akashlal	2014-01-07
*	Updated year in main copyright message	Rustan Leino	2014-01-03
*	more bug fixes	qadeer	2013-12-24
*	bug fixes in Duplicate.cs and parsing of invariant attributes	qadeer	2013-12-22
*	Merge	qadeer	2013-12-19
\|\
* \|	various updates and tighter integration of QED stuff into mainline	qadeer	2013-12-19
\| *	Fixed another :never_pattern bug related to nested quantifiers	Rustan Leino	2013-12-16
\| *	Merge	Rustan Leino	2013-12-16
\| \|\ \| \|/ \|/\|
\| *	Fixed bug in never_pattern functionality. In the new design, never_pattern d...	Rustan Leino	2013-12-16
* \|	regenerated after updating Parser.frame	qadeer	2013-12-16
* \|	added syntax for par call and ParCallCmd	qadeer	2013-12-16
* \|	Merge	qadeer	2013-12-14
\|\ \
* \| \|	fixed type checking errors in QED stuff	qadeer	2013-12-14
\| \|/ \|/\|
\| *	Resolve a concurrency issue (reported by Alex Summers).	wuestholz	2013-12-12
\|/
*	fixes to type checking code	qadeer	2013-12-11
*	Remove some (redundant) preconditions to avoid 'ccrewrite' errors.	wuestholz	2013-12-11
*	some refactoring of QED stuff	qadeer	2013-12-10
*	removed bitvector analysis from Boogie	qadeer	2013-12-08
*	Merge	qadeer	2013-12-02
\|\
* \|	added the QED build configuration	qadeer	2013-12-02
\| *	Patch by Nathan Chong: iterative version of remove empty blocks algorithm. T...	Ally Donaldson	2013-12-02
\|/