debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Update debian/changelog	Benjamin Barenblat	2016-06-05
*	Merge branch 'dfsg_free'	Benjamin Barenblat	2016-06-05
\|\
\| *	Merge branch 'upstream' into dfsg_free	Benjamin Barenblat	2016-06-05
\| \|\
* \| \|	Add gbp.conf	Benjamin Barenblat	2016-04-01
* \| \|	Move release to unstable	Benjamin Barenblat	2016-04-01
* \| \|	Package Boogie programs for experimental	Benjamin Barenblat	2016-04-01
* \| \|	Package Boogie library for experimental	Benjamin Barenblat	2016-04-01
\|/ /
* \|	Make DFSG-clean	Benjamin Barenblat	2016-03-31
\| *	Improve support for identifying unnecessary assumes.	Valentin Wüstholz	2016-03-09
\| *	Add support for weights on soft assumes.	Valentin Wüstholz	2016-03-07
\| *	Improve support for optimization and identifying unnecessary assumes.	Valentin Wüstholz	2016-03-03
\| *	Merge branch 'master' of https://github.com/boogie-org/boogie	Rustan Leino	2016-02-12
\| \|\
\| \| *	Merge pull request #30 from qunyanm/type-parameter-bug-fix	RustanLeino	2016-02-12
\| \| \|\
\| * \| \|	Merge branch 'master' of https://github.com/boogie-org/boogie	Rustan Leino	2016-02-12
\| \|\\| \|
\| * \| \|	(Honestly, I don't know what I'm doing. I'm trying to revert these changes, b...	Rustan Leino	2016-02-12
\| \| * \|	added an example	Shaz Qadeer	2016-02-09
\| \| * \|	another fix	Shaz Qadeer	2016-01-26
\| \| * \|	improved some of the annotations	Shaz Qadeer	2016-01-21
\| \| * \|	some fixes	Shaz Qadeer	2016-01-19
\| \| \| *	Bug fix in determining whether a type parameter is bounded	qunyanm	2016-01-19
\| \| \|/
\| \| *	updated the example to implement the allocation of thread identifiers;	Shaz Qadeer	2016-01-17
\| \| *	fixed a small problem in the precondition for FreeLinear	Shaz Qadeer	2016-01-10
\| \| *	added Free code	Shaz Qadeer	2016-01-08
\| \| *	Minor change	Valentin Wüstholz	2015-12-29
\| \| *	Fix issue with ids for assume-statements.	Valentin Wüstholz	2015-12-28
\| \| *	Improve precision of abstract interpreter for modulo operations.	Valentin Wüstholz	2015-12-28
\| \| *	Enable optimization for more prover queries.	Valentin Wüstholz	2015-12-27
\| \| *	Merge branch 'master' of https://github.com/boogie-org/boogie	qunyanm	2015-12-15
\| \| \|\
\| \| \| *	Remove unused file.	Valentin Wüstholz	2015-12-03
\| \| \| *	Remove unused directory.	Valentin Wüstholz	2015-12-03
\| \| \| *	Remove workaround for older versions of Z3.	Valentin Wüstholz	2015-12-02
\| \| \| *	TravisCI build icon should only show build status for master branch, not	Dan Liew	2015-12-02
\| \| \| *	Merge pull request #24 from boogie-org/dafny-bug-fix	Dan Liew	2015-12-02
\| \| \| \|\
\| \| \| \| *	Use the EndCurly token when creating the ReturnCmd for unifiedExit	qunyanm	2015-12-02
\| \| \| \|/
\| \| \| *	Merge pull request #27 from boogie-org/update_recommended_Z3_version	Valentin Wüstholz	2015-12-01
\| \| \| \|\
\| \| \| \| *	Update test output for Z3 4.4.1.	Valentin Wüstholz	2015-12-01
\| \| \| \| *	Teach TravisCI to use Z3 4.4.1 from repositories that I'm currently	Dan Liew	2015-12-01
\| \| \| \|/
\| \| * \|	Merge remote-tracking branch 'refs/remotes/origin/dafny-bug-fix'	qunyanm	2015-11-25
\| \| \|\ \
\| \| * \ \	Merge remote-tracking branch 'refs/remotes/origin/dafny-bug-fix'	qunyanm	2015-11-25
\| \| \|\ \ \ \| \| \| \|_\|/ \| \| \|/\| \|
\| \| \| \| *	Use the EndCurly token when creating the ReturnCmd for unifiedExit	qunyanm	2015-11-25
\| \| \| \|/
\| \| * \|	Teach the TravisCI build to use the ``travis_retry`` command when	Dan Liew	2015-11-21
\| \| * \|	Add simplified may-unverified analysis and instrumentation.	Valentin Wüstholz	2015-11-20
\| \| * \|	Fix issue with partially-verified assertions.	Valentin Wüstholz	2015-11-19
\| \| * \|	Update test output after Nikolaj's enhancement in Z3.	Valentin Wüstholz	2015-11-19
\| \| * \|	Add a test.	Valentin Wüstholz	2015-11-19
\| \| * \|	Minor changes	Valentin Wüstholz	2015-11-19
\| \| * \|	Improve experimental support for optimization (requires Z3 changeset 5948013b...	Valentin Wüstholz	2015-11-18
\| \| * \|	Add experimental support for optimization (requires Z3 build after changeset ...	Valentin Wüstholz	2015-11-18
\| \| * \|	Fix test output.	Valentin Wüstholz	2015-11-17
\| \| * \|	Fix issue #25.	Valentin Wüstholz	2015-11-17