Skip to content

Actions: apetcher-amazon/aws-lc-verification

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
32 workflow runs
32 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Updating submodules file CI #188: Commit 4adcecb pushed by apetcher-amazon
May 16, 2024 11:24 1d 17h 19m 38s master
master
May 16, 2024 11:24 1d 17h 19m 38s
Merge branch 'master' into master CI #187: Commit 4d0a203 pushed by apetcher-amazon
May 14, 2024 16:31 1d 6h 50m 9s master
master
May 14, 2024 16:31 1d 6h 50m 9s
Merge remote-tracking branch 'upstream/master' CI #186: Commit 587ed44 pushed by apetcher-amazon
May 14, 2024 15:00 1d 8h 21m 9s master
master
May 14, 2024 15:00 1d 8h 21m 9s
Fixing the "points_to" definition for the EC methods struct. CI #185: Commit c92aa1a pushed by apetcher-amazon
May 14, 2024 14:40 1d 8h 41m 34s master
master
May 14, 2024 14:40 1d 8h 41m 34s
Fixing P-384 constant validation proof scripts CI #184: Commit f569cb1 pushed by apetcher-amazon
May 8, 2024 19:14 1d 0h 47m 53s master
master
May 8, 2024 19:14 1d 0h 47m 53s
Updating ECDSA specs. CI #183: Commit 350908d pushed by apetcher-amazon
May 8, 2024 17:49 1d 0h 54m 31s master
master
May 8, 2024 17:49 1d 0h 54m 31s
Updating proof for new P-384 code with common point doubling function. CI #182: Commit dee351a pushed by apetcher-amazon
May 8, 2024 14:38 1d 4h 5m 17s master
master
May 8, 2024 14:38 1d 4h 5m 17s
Adding CITATION file (#142) CI #181: Commit ebe9626 pushed by apetcher-amazon
May 7, 2024 14:11 1d 4h 32m 0s master
master
May 7, 2024 14:11 1d 4h 32m 0s
Removing message from CITATION file. CI #180: Commit 277f16e pushed by apetcher-amazon
April 23, 2024 15:49 1d 2h 54m 12s master
master
April 23, 2024 15:49 1d 2h 54m 12s
Adding author to CITATION file. CI #179: Commit c296d07 pushed by apetcher-amazon
April 23, 2024 15:46 1d 2h 57m 27s master
master
April 23, 2024 15:46 1d 2h 57m 27s
Adding CITATION file. CI #178: Commit 89277ae pushed by apetcher-amazon
April 23, 2024 15:37 1d 3h 6m 25s master
master
April 23, 2024 15:37 1d 3h 6m 25s
Improvements to formal verification of P-384 (#141) CI #177: Commit fbcf31b pushed by apetcher-amazon
April 23, 2024 15:25 1d 3h 17m 44s master
master
April 23, 2024 15:25 1d 3h 17m 44s
Upading src submodule CI #176: Commit 72c8dc6 pushed by apetcher-amazon
April 22, 2024 17:44 1d 0h 59m 23s p384_validate_2
p384_validate_2
April 22, 2024 17:44 1d 0h 59m 23s
Some documentation and organization improvements. CI #175: Commit 0225789 pushed by apetcher-amazon
April 18, 2024 15:55 1d 8h 50m 2s p384_validate_2
p384_validate_2
April 18, 2024 15:55 1d 8h 50m 2s
Adding a top-level comment to one of the Coq files. CI #174: Commit b5bb507 pushed by apetcher-amazon
April 10, 2024 13:20 1d 5h 23m 19s p384_validate_2
p384_validate_2
April 10, 2024 13:20 1d 5h 23m 19s
Fixing a Cryptol->Coq extraction issue. CI #173: Commit d9cb16d pushed by apetcher-amazon
April 9, 2024 16:22 1d 2h 29m 9s p384_validate_2
p384_validate_2
April 9, 2024 16:22 1d 2h 29m 9s
Fix to Coq Dockerfile. CI #172: Commit 691274b pushed by apetcher-amazon
April 8, 2024 16:44 1d 1h 59m 34s p384_validate_2
p384_validate_2
April 8, 2024 16:44 1d 1h 59m 34s
Improvement to README CI #171: Commit 65d26d0 pushed by apetcher-amazon
April 8, 2024 16:02 1d 2h 40m 43s p384_validate_2
p384_validate_2
April 8, 2024 16:02 1d 2h 40m 43s
Moving ECDH derive spec to its own file. CI #170: Commit 57dec43 pushed by apetcher-amazon
April 8, 2024 15:13 1d 3h 30m 34s p384_validate_2
p384_validate_2
April 8, 2024 15:13 1d 3h 30m 34s
Added SAW proof for top-level constant validation function. CI #169: Commit f5dad26 pushed by apetcher-amazon
April 8, 2024 12:57 1d 5h 45m 57s p384_validate_2
p384_validate_2
April 8, 2024 12:57 1d 5h 45m 57s
Added test for hard-coded Montgomery "1" element, and removed an extra CI #168: Commit 3515ff4 pushed by apetcher-amazon
April 1, 2024 16:40 6d 20h 18m 38s p384_validate_2
p384_validate_2
April 1, 2024 16:40 6d 20h 18m 38s
Fixing a couple of bugs CI #167: Commit df4d524 pushed by apetcher-amazon
March 29, 2024 15:18 1d 3h 25m 30s p384_validate_2
p384_validate_2
March 29, 2024 15:18 1d 3h 25m 30s
Merge remote-tracking branch 'upstream/master' into p384_validate_2 CI #166: Commit c1150bb pushed by apetcher-amazon
March 29, 2024 13:27 1d 5h 15m 47s p384_validate_2
p384_validate_2
March 29, 2024 13:27 1d 5h 15m 47s
Cleaning up proof a bit. CI #165: Commit 31fff76 pushed by apetcher-amazon
March 28, 2024 17:29 1d 1h 14m 21s p384_validate_2
p384_validate_2
March 28, 2024 17:29 1d 1h 14m 21s
Updating documentation CI #164: Commit 7630c6b pushed by apetcher-amazon
March 27, 2024 17:05 1d 1h 38m 3s p384_validate_2
p384_validate_2
March 27, 2024 17:05 1d 1h 38m 3s