Skip to content

Actions: GaloisInc/VERSE-OpenSUT

Actions

Code Verification CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
proofs.yml
390 workflow runs
390 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fixup! CI Code Verification CI #390: Commit 0708ae7 pushed by peterohanley
January 8, 2025 19:17 13m 6s gus/xmss
gus/xmss
January 8, 2025 19:17 13m 6s
CI Code Verification CI #389: Commit c87a307 pushed by peterohanley
January 8, 2025 04:53 12m 22s gus/xmss
gus/xmss
January 8, 2025 04:53 12m 22s
Added timestamps of creating XMSS specs Code Verification CI #388: Commit b298b6f pushed by peterohanley
January 8, 2025 04:40 12m 10s gus/xmss
gus/xmss
January 8, 2025 04:40 12m 10s
Merge pull request #147 from GaloisInc/gus-reword Code Verification CI #387: Commit 598854e pushed by podhrmic
January 8, 2025 04:33 26m 15s main
main
January 8, 2025 04:33 26m 15s
address review comments Code Verification CI #386: Commit 27745a4 pushed by peterohanley
January 8, 2025 03:45 25m 14s gus-reword
gus-reword
January 8, 2025 03:45 25m 14s
mkm: initial work verifying policy.c Code Verification CI #385: Commit c8c7d93 pushed by septract
January 7, 2025 22:31 11m 33s 139-feature-verify-test-mkm-module
139-feature-verify-test-mkm-module
January 7, 2025 22:31 11m 33s
mkm: use default in definitions (depends on cerberus PR #814) Code Verification CI #384: Commit a55fcb5 pushed by septract
January 5, 2025 19:38 11m 29s 139-feature-verify-test-mkm-module
139-feature-verify-test-mkm-module
January 5, 2025 19:38 11m 29s
mkm: match Rust Option type naming Code Verification CI #383: Commit aa65423 pushed by septract
January 3, 2025 23:29 11m 28s 139-feature-verify-test-mkm-module
139-feature-verify-test-mkm-module
January 3, 2025 23:29 11m 28s
mkm: test script now needs legacy --with-static-hack flag Code Verification CI #382: Commit 59e7337 pushed by septract
January 3, 2025 02:29 10m 59s 139-feature-verify-test-mkm-module
139-feature-verify-test-mkm-module
January 3, 2025 02:29 10m 59s
mkm: fix test demo pauses, support can-fail malloc in cn test flow Code Verification CI #381: Commit c44975b pushed by septract
January 3, 2025 01:23 12m 20s 139-feature-verify-test-mkm-module
139-feature-verify-test-mkm-module
January 3, 2025 01:23 12m 20s
mkm: integrated possibly-failing malloc() Code Verification CI #380: Commit 8466469 pushed by septract
January 1, 2025 01:16 10m 58s 139-feature-verify-test-mkm-module
139-feature-verify-test-mkm-module
January 1, 2025 01:16 10m 58s
mkm: made testing work with malloc / free fns, various cleanup Code Verification CI #379: Commit e0f081f pushed by septract
December 31, 2024 23:36 11m 57s 139-feature-verify-test-mkm-module
139-feature-verify-test-mkm-module
December 31, 2024 23:36 11m 57s
mkm: minor proof tidy up Code Verification CI #378: Commit adb30eb pushed by septract
December 31, 2024 01:40 12m 20s 139-feature-verify-test-mkm-module
139-feature-verify-test-mkm-module
December 31, 2024 01:40 12m 20s
mkm: make cn test work for most of the mkm fns Code Verification CI #377: Commit c520554 pushed by septract
December 31, 2024 01:23 11m 19s 139-feature-verify-test-mkm-module
139-feature-verify-test-mkm-module
December 31, 2024 01:23 11m 19s
use hendwritten mutex specs Code Verification CI #376: Commit bcd5df1 pushed by peterohanley
December 31, 2024 00:39 8m 41s gus/mps-specs-2
gus/mps-specs-2
December 31, 2024 00:39 8m 41s
mkm: minor proof cleanup Code Verification CI #375: Commit 6a59c43 pushed by septract
December 28, 2024 01:27 10m 38s 139-feature-verify-test-mkm-module
139-feature-verify-test-mkm-module
December 28, 2024 01:27 10m 38s
mkm: Add test script for cn test, modify other files to make it work Code Verification CI #374: Commit b50dd49 pushed by septract
December 28, 2024 00:37 11m 7s 139-feature-verify-test-mkm-module
139-feature-verify-test-mkm-module
December 28, 2024 00:37 11m 7s
mkm: add script to split files, make client.h and others work with it Code Verification CI #373: Commit 6fa262f pushed by septract
December 27, 2024 20:22 11m 14s 139-feature-verify-test-mkm-module
139-feature-verify-test-mkm-module
December 27, 2024 20:22 11m 14s
mkm: clean up proof Code Verification CI #372: Commit faaa2ef pushed by septract
December 27, 2024 01:26 11m 22s 139-feature-verify-test-mkm-module
139-feature-verify-test-mkm-module
December 27, 2024 01:26 11m 22s
mkm: guard CN-specific ghost code with a macro Code Verification CI #371: Commit b7c4a19 pushed by septract
December 21, 2024 01:51 10m 51s 139-feature-verify-test-mkm-module
139-feature-verify-test-mkm-module
December 21, 2024 01:51 10m 51s
mkm: add state machine to client_event spec Code Verification CI #370: Commit 093dd29 pushed by septract
December 21, 2024 01:43 10m 54s 139-feature-verify-test-mkm-module
139-feature-verify-test-mkm-module
December 21, 2024 01:43 10m 54s
Remove old test file client-reduced.c Code Verification CI #369: Commit c7f87d3 pushed by septract
December 21, 2024 01:15 10m 51s 139-feature-verify-test-mkm-module
139-feature-verify-test-mkm-module
December 21, 2024 01:15 10m 51s
mkm: handle array slices properly in read/write Code Verification CI #368: Commit f2cb2d9 pushed by septract
December 21, 2024 01:14 10m 49s 139-feature-verify-test-mkm-module
139-feature-verify-test-mkm-module
December 21, 2024 01:14 10m 49s
mkm: add pluggable IO modules for client.c testing Code Verification CI #367: Commit b3bff4a pushed by spernsteiner
December 21, 2024 00:44 10m 40s 98-mkm-io-testing
98-mkm-io-testing
December 21, 2024 00:44 10m 40s
Use array predicates to clarify array utils Code Verification CI #366: Commit 7bc3ebe pushed by peterohanley
December 20, 2024 23:38 24m 52s gus-reword
gus-reword
December 20, 2024 23:38 24m 52s