Skip to content

Add error codes for file read/write/open failures

Pre-release
Pre-release
Compare
Choose a tag to compare
@graebm graebm released this 26 Sep 23:06
· 100 commits to main since this release
v0.9.4
4c0a9f5
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode.

What's Changed

  • Authorize requests to GitHub API in Run CBMC proofs workflow by @adpaco-aws in #1057
  • reflexive vs symmetric in hash_table.h doc by @jmklix in #1056
  • Add error codes for file read/write/open failures by @graebm in #1061

New Contributors

Full Changelog: v0.9.3...v0.9.4

Contributors

jmklix, graebm, and adpaco-aws
Assets 2
Loading