debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
...
\| \| * \|	fixed a small problem in the precondition for FreeLinear	Shaz Qadeer	2016-01-10
\| \| * \|	added Free code	Shaz Qadeer	2016-01-08
\| \| \| *	Added several test cases and some basic documentation for fp usage	Checkmate50	2016-01-04
\| \| * \|	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
\| \| \| \|/ /
\| \| \| \| *	Special fp types (such as infinity and NaN are now translated by boogie	Checkmate50	2015-11-29
\| \| * \| \|	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
\| \| \| * \|	Use EndCurly token for the ReturnCmd when creating unifiedExit	qunyanm	2015-11-16
\| \| \| * \|	Use EndCurly token for the ReturnCmd when creating unifiedExit	qunyanm	2015-11-16
\| \| * \| \|	Add a test.	Valentin Wüstholz	2015-11-16
\| \| \|/ /
\| \| * \|	Add a test.	Valentin Wüstholz	2015-11-16
\| \| * \|	Add support for identifying unnecessary assumes.	Valentin Wüstholz	2015-11-16
\| \| * \|	Merge pull request #22 from delcypher/proc_flag_fix	Dan Liew	2015-11-02
\| \| \|\ \
\| \| \| * \|	Document the new behaviour of the ``-proc:`` command line option	Dan Liew	2015-10-31
\| \| \| * \|	Added test cases for the new asterisk wildcard behaviour of the	Dan Liew	2015-10-31
\| \| \| * \|	Added wild card matching for /proc flag	Shaobo	2015-10-31
\| \| \|/ /
\| \| * \|	Add support for annotating implementations with k-ind. depth.	Valentin Wüstholz	2015-10-29
\| \| * \|	fix for deterministicExtractLoops for nested loops	Shuvendu Lahiri	2015-10-27
\| \| * \|	fixed	Shaz Qadeer	2015-10-26
\| \| * \|	Bug fix for deterministExtractLoops for Shaobo's example	Shuvendu Lahiri	2015-10-26
\| \| * \|	bug fix in the type checking of calls to atomic procedures	Shaz Qadeer	2015-10-16
\| \|/ /
\| \| *	Floating point constants given as integers are now translated correctly	Checkmate50	2015-10-14
\| \| *	Modified translation so that z3 runs with type checking for simple binary ope...	Checkmate50	2015-10-14
\| * \|	bug fix	Shaz Qadeer	2015-10-09
\| * \|	removed an extraneous warning	Shaz Qadeer	2015-10-08
\| * \|	Merge branch 'master' of https://github.com/boogie-org/boogie	Shaz Qadeer	2015-10-01
\| \|\ \