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
...
|
|
|
*
|
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
|
|
*
Added initial support for float addition
Checkmate50
2015-09-17
|
*
|
fixed my earlier to make it nicer
Shaz Qadeer
2015-09-03
|
*
|
fixed a crash when there is no collector
Shaz Qadeer
2015-09-02
|
*
|
Merge branch 'master' of https://github.com/boogie-org/boogie
Rustan Leino
2015-08-28
|
|
\
\
|
*
|
|
Added /verifySnapshots:3, which prints recycled errors messages with the sour...
Rustan Leino
2015-08-28
|
|
|
*
Float type now works correctly for simple variable declaration and comparison.
Dietrich
2015-07-20
|
|
*
|
Merge branch 'master' of https://github.com/boogie-org/boogie
Shuvendu Lahiri
2015-07-20
|
|
|
\
\
|
|
|
*
|
Added another test.
Valentin Wüstholz
2015-07-20
|
|
|
*
|
Merge branch 'master' of https://github.com/boogie-org/boogie
Akash Lal
2015-07-20
|
|
|
|
\
\
|
|
|
*
|
|
Minor additions to VC gen
Akash Lal
2015-07-20
|
|
_
|
/
/
/
|
/
|
|
|
|
|
|
|
*
|
Added more tests.
Valentin Wüstholz
2015-07-20
|
|
_
|
/
/
|
/
|
|
|
|
|
*
|
fix for /deterministicExtractLoops sed in SymDiff
Shuvendu Lahiri
2015-07-19
|
|
/
/
|
/
|
|
|
|
*
Modified internal abstract float representation to allow user-defined mantiss...
Dietrich
2015-07-13
*
|
|
Try to unbreak the tests added in
Dan Liew
2015-06-28
*
|
|
Update URL to boogie-partners to its new location on GitHub.
Dan Liew
2015-06-28
*
|
|
Fix issue #16 reported by @crazykt
Dan Liew
2015-06-28
*
|
|
Add travis file to gitattributes file.
Dan Liew
2015-06-28
*
|
|
Normalise line endings using a .gitattributes file. Unfortunately
Dan Liew
2015-06-28
*
|
|
Remove dead file.
Dan Liew
2015-06-28
*
|
|
removed a stray Console.WriteLine that Ken had earlier checked in by
qadeer
2015-06-25
*
|
|
updated with Serdar's changes
qadeer
2015-06-25
[prev]
[next]