Skip to content

Actions: GaloisInc/VERSE-OpenSUT

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
903 workflow runs
903 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
mkm: add state machine to client_event spec Component Build & Test CI #395: Commit 093dd29 pushed by septract
December 21, 2024 01:43 9m 52s 139-feature-verify-test-mkm-module
139-feature-verify-test-mkm-module
December 21, 2024 01:43 9m 52s
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
Remove old test file client-reduced.c Component Build & Test CI #394: Commit c7f87d3 pushed by septract
December 21, 2024 01:15 9m 43s 139-feature-verify-test-mkm-module
139-feature-verify-test-mkm-module
December 21, 2024 01:15 9m 43s
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: handle array slices properly in read/write Component Build & Test CI #393: Commit f2cb2d9 pushed by septract
December 21, 2024 01:14 11m 1s 139-feature-verify-test-mkm-module
139-feature-verify-test-mkm-module
December 21, 2024 01:14 11m 1s
mkm: add pluggable IO modules for client.c testing Component Build & Test CI #392: Commit b3bff4a pushed by spernsteiner
December 21, 2024 00:44 9m 34s 98-mkm-io-testing
98-mkm-io-testing
December 21, 2024 00:44 9m 34s
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 Component Build & Test CI #391: Commit 7bc3ebe pushed by peterohanley
December 20, 2024 23:38 9m 44s gus-reword
gus-reword
December 20, 2024 23:38 9m 44s
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
simple example of failable malloc Code Verification CI #365: Commit d75f762 pushed by peterohanley
December 20, 2024 22:58 13m 8s 139-gus
139-gus
December 20, 2024 22:58 13m 8s
simple example of failable malloc Component Build & Test CI #390: Commit d75f762 pushed by peterohanley
December 20, 2024 22:58 9m 57s 139-gus
139-gus
December 20, 2024 22:58 9m 57s
simple example of failable malloc Component Build & Test CI #389: Commit 01a3904 pushed by peterohanley
December 20, 2024 22:47 9m 51s 139-gus
139-gus
December 20, 2024 22:47 9m 51s
simple example of failable malloc Code Verification CI #364: Commit 01a3904 pushed by peterohanley
December 20, 2024 22:47 10m 42s 139-gus
139-gus
December 20, 2024 22:47 10m 42s
use shared opensut CN definitions Code Verification CI #363: Commit 055581e pushed by peterohanley
December 20, 2024 22:46 11m 24s 139-gus
139-gus
December 20, 2024 22:46 11m 24s
use shared opensut CN definitions Component Build & Test CI #388: Commit 055581e pushed by peterohanley
December 20, 2024 22:46 10m 19s 139-gus
139-gus
December 20, 2024 22:46 10m 19s
mkm: make proof use CN standard predicates Code Verification CI #362: Commit 4f4b81e pushed by septract
December 20, 2024 02:01 10m 51s 139-feature-verify-test-mkm-module
139-feature-verify-test-mkm-module
December 20, 2024 02:01 10m 51s
mkm: make proof use CN standard predicates Component Build & Test CI #387: Commit 4f4b81e pushed by septract
December 20, 2024 02:01 10m 15s 139-feature-verify-test-mkm-module
139-feature-verify-test-mkm-module
December 20, 2024 02:01 10m 15s
mkm: Prove memory safety for remaining fns Code Verification CI #361: Commit de0ba91 pushed by septract
December 20, 2024 01:19 11m 18s 139-feature-verify-test-mkm-module
139-feature-verify-test-mkm-module
December 20, 2024 01:19 11m 18s
mkm: Prove memory safety for remaining fns Component Build & Test CI #386: Commit de0ba91 pushed by septract
December 20, 2024 01:19 9m 39s 139-feature-verify-test-mkm-module
139-feature-verify-test-mkm-module
December 20, 2024 01:19 9m 39s
Migrate CN memory safety specs into client.c Code Verification CI #360: Commit 405d646 pushed by septract
December 19, 2024 02:00 11m 41s 139-feature-verify-test-mkm-module
139-feature-verify-test-mkm-module
December 19, 2024 02:00 11m 41s
Migrate CN memory safety specs into client.c Component Build & Test CI #385: Commit 405d646 pushed by septract
December 19, 2024 02:00 9m 51s 139-feature-verify-test-mkm-module
139-feature-verify-test-mkm-module
December 19, 2024 02:00 9m 51s
add client-reduced, update cn_stubs Code Verification CI #359: Commit 218a2f2 pushed by septract
December 18, 2024 22:42 11m 59s 139-feature-verify-test-mkm-module
139-feature-verify-test-mkm-module
December 18, 2024 22:42 11m 59s
add client-reduced, update cn_stubs Component Build & Test CI #384: Commit 218a2f2 pushed by septract
December 18, 2024 22:42 10m 24s 139-feature-verify-test-mkm-module
139-feature-verify-test-mkm-module
December 18, 2024 22:42 10m 24s