index
:
debian-boogie
dfsg_free
master
Debian packaging for Boogie
summary
refs
log
tree
commit
diff
log msg
author
committer
range
Commit message (
Expand
)
Author
Age
...
|
|
|
*
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
|
|
\
|
*
|
added a fix to check all layers: created layer of actions or layers in
Shaz Qadeer
2015-10-01
|
|
*
Improve output for diagnosing timeouts.
Valentin Wüstholz
2015-10-01
|
|
/
|
*
another fix requested by Chris
Shaz Qadeer
2015-10-01
|
*
Improve output for diagnosing timeouts.
Valentin Wüstholz
2015-09-30
|
*
update
Shaz Qadeer
2015-09-28
|
*
cleaned up some names
Shaz Qadeer
2015-09-28
|
*
a bug fix
Shaz Qadeer
2015-09-27
|
*
fixed a small bug
Shaz Qadeer
2015-09-27
|
*
removed a warning
Shaz Qadeer
2015-09-26
|
*
added introduced and ghost local variables
Shaz Qadeer
2015-09-25
*
|
Modified BigFloat to avoid evaluating the floating point value before sending...
Checkmate50
2015-09-23
[prev]
[next]