Skip to content

Actions: awslabs/aws-c-common

Actions

Run CBMC proofs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
proof_ci.yaml
1,160 workflow runs
1,160 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'main' into endpoint-override Run CBMC proofs #2105: Commit 055646b pushed by waahm7
February 24, 2025 22:23 18m 30s endpoint-override
endpoint-override
February 24, 2025 22:23 18m 30s
New Get_ENV Functions Run CBMC proofs #2104: Pull request #1141 synchronize by waahm7
February 24, 2025 21:58 22m 3s fix-env-variable-fucntion-2
fix-env-variable-fucntion-2
February 24, 2025 21:58 22m 3s
Merge branch 'main' into fix-env-variable-fucntion-2 Run CBMC proofs #2103: Commit df47f62 pushed by waahm7
February 24, 2025 21:58 18m 37s fix-env-variable-fucntion-2
fix-env-variable-fucntion-2
February 24, 2025 21:58 18m 37s
Support sanitizer for C++ projects Run CBMC proofs #2102: Pull request #1190 synchronize by sfod
February 24, 2025 17:20 25m 28s support-cxx-sanitizer
support-cxx-sanitizer
February 24, 2025 17:20 25m 28s
Merge branch 'main' into support-cxx-sanitizer Run CBMC proofs #2101: Commit a44818e pushed by sfod
February 24, 2025 17:20 22m 7s support-cxx-sanitizer
support-cxx-sanitizer
February 24, 2025 17:20 22m 7s
aws_base64_compute_encoded_len() is now exact, doesn't add 1 extra fo… Run CBMC proofs #2100: Commit 9fd58f9 pushed by DmitriyMusatkin
February 21, 2025 22:41 21m 21s main
main
February 21, 2025 22:41 21m 21s
Support sanitizer for C++ projects Run CBMC proofs #2099: Pull request #1190 synchronize by sfod
February 21, 2025 19:04 21m 11s support-cxx-sanitizer
support-cxx-sanitizer
February 21, 2025 19:04 21m 11s
Add message that sanitizer check failed Run CBMC proofs #2098: Commit 2b5ed5e pushed by sfod
February 21, 2025 19:04 21m 39s support-cxx-sanitizer
support-cxx-sanitizer
February 21, 2025 19:04 21m 39s
Support sanitizer for C++ projects Run CBMC proofs #2097: Pull request #1190 opened by sfod
February 21, 2025 19:04 18m 9s support-cxx-sanitizer
support-cxx-sanitizer
February 21, 2025 19:04 18m 9s
Support sanitizer for C++ projects Run CBMC proofs #2096: Commit c7ad18c pushed by sfod
February 21, 2025 18:38 20m 54s support-cxx-sanitizer
support-cxx-sanitizer
February 21, 2025 18:38 20m 54s
Use sleep-aware monotonic clock if available Run CBMC proofs #2095: Pull request #1189 opened by bretambrose
February 18, 2025 17:37 20m 40s BootClock
BootClock
February 18, 2025 17:37 20m 40s
Use sleep-aware monotonic clock if available Run CBMC proofs #2094: Commit bb9ac7b pushed by bretambrose
February 18, 2025 17:36 20m 53s BootClock
BootClock
February 18, 2025 17:36 20m 53s
aws_base64_compute_encoded_len() is now exact, doesn't add 1 extra for null-terminator Run CBMC proofs #2093: Pull request #1188 synchronize by graebm
February 15, 2025 00:07 23m 46s knock-it-off-with-this-null-terminator-nonsense
knock-it-off-with-this-null-terminator-nonsense
February 15, 2025 00:07 23m 46s
found some more places assuming null terminator Run CBMC proofs #2092: Commit f1676e8 pushed by graebm
February 15, 2025 00:07 21m 38s knock-it-off-with-this-null-terminator-nonsense
knock-it-off-with-this-null-terminator-nonsense
February 15, 2025 00:07 21m 38s
aws_base64_compute_encoded_len() is now exact, doesn't add 1 extra for null-terminator Run CBMC proofs #2091: Pull request #1188 opened by graebm
February 14, 2025 20:54 18m 8s knock-it-off-with-this-null-terminator-nonsense
knock-it-off-with-this-null-terminator-nonsense
February 14, 2025 20:54 18m 8s
put back weird if-statement to fix windows tests. now I know why it w… Run CBMC proofs #2090: Commit 6f10b1d pushed by graebm
February 14, 2025 20:27 18m 4s knock-it-off-with-this-null-terminator-nonsense
knock-it-off-with-this-null-terminator-nonsense
February 14, 2025 20:27 18m 4s
actually, I was wrong about the old code overestimating. Bring a lot … Run CBMC proofs #2089: Commit cd6344c pushed by graebm
February 14, 2025 20:03 20m 49s knock-it-off-with-this-null-terminator-nonsense
knock-it-off-with-this-null-terminator-nonsense
February 14, 2025 20:03 20m 49s
while we're at it, make aws_hex_compute_decoded_len() return the exac… Run CBMC proofs #2088: Commit 6cb68ab pushed by graebm
February 14, 2025 06:54 18m 27s knock-it-off-with-this-null-terminator-nonsense
knock-it-off-with-this-null-terminator-nonsense
February 14, 2025 06:54 18m 27s
- aws_base64_compute_encoded_len() is now exact, instead of overestim… Run CBMC proofs #2087: Commit b6487ee pushed by graebm
February 14, 2025 06:21 20m 0s knock-it-off-with-this-null-terminator-nonsense
knock-it-off-with-this-null-terminator-nonsense
February 14, 2025 06:21 20m 0s
knock it off with this null-terminator nonsense Run CBMC proofs #2086: Commit e4b1f93 pushed by graebm
February 13, 2025 23:39 19m 31s knock-it-off-with-this-null-terminator-nonsense
knock-it-off-with-this-null-terminator-nonsense
February 13, 2025 23:39 19m 31s
improve test Run CBMC proofs #2085: Commit 79b4714 pushed by waahm7
February 13, 2025 17:28 19m 39s endpoint-override
endpoint-override
February 13, 2025 17:28 19m 39s
Merge branch 'main' into fix-env-variable-fucntion-2 Run CBMC proofs #2084: Commit 1d15439 pushed by waahm7
February 12, 2025 22:33 22m 8s endpoint-override
endpoint-override
February 12, 2025 22:33 22m 8s
New Get_ENV Functions Run CBMC proofs #2083: Pull request #1141 synchronize by waahm7
February 12, 2025 22:24 23m 48s fix-env-variable-fucntion-2
fix-env-variable-fucntion-2
February 12, 2025 22:24 23m 48s
Merge branch 'main' into fix-env-variable-fucntion-2 Run CBMC proofs #2082: Commit 1d15439 pushed by waahm7
February 12, 2025 22:24 19m 11s fix-env-variable-fucntion-2
fix-env-variable-fucntion-2
February 12, 2025 22:24 19m 11s
Make aws_byte_cursor_from_string NULL tolerant (#1187) Run CBMC proofs #2081: Commit 6401c83 pushed by waahm7
February 12, 2025 17:01 18m 26s main
main
February 12, 2025 17:01 18m 26s