He seems active on github in this repo: https://github.com/diffblue/cbmc/commits?author=kroening …
Hmm... what's the recommended procedure for reporting a bug in cbmc? Should I just mail Daniel Kroening directly? There does not seem to be a link to an issue tracker or mailing list on the cbmc website..
-
-
-
Thanks! I now realize that some of the download links on the cbmc website go to files from this github repo. I wonder why there is no proper "github repo here" link on the website.
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.