c_cpp/aws-c-common
SHA256
8
0
Fork 0
forked from pool/aws-c-common
Code Pull Requests Activity

Accepting request 696898 from home:glaubitz:branches:devel:libraries:c_c++

Browse Source 
- Update to version 0.3.6
  + Faster CBMC stubs for memset and memcpy (#300)
    * new memset and memcpy functions that are often
      faster for CBMC to analyze
    * PR comments addressed

OBS-URL: https://build.opensuse.org/request/show/696898
OBS-URL: https://build.opensuse.org/package/show/devel:libraries:c_c++/aws-c-common?expand=0&rev=3
This commit is contained in:
Adam Majer
2019-04-24 14:24:30 +00:00
committed by Git OBS Bridge
parent d739a13367
commit 6b98564d08
4 changed files with 13 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
aws-c-common.changes
View File

@@ -1,3 +1,12 @@
-------------------------------------------------------------------
Mon Apr 22 21:11:11 UTC 2019 - John Paul Adrian Glaubitz <adrian.glaubitz@suse.com>
- Update to version 0.3.6
+ Faster CBMC stubs for memset and memcpy (#300)
* new memset and memcpy functions that are often
faster for CBMC to analyze
* PR comments addressed
-------------------------------------------------------------------
Wed Apr 10 11:48:21 UTC 2019 - John Paul Adrian Glaubitz <adrian.glaubitz@suse.com>