Skip to content

Actions: viperproject/SecurityProtocolImplementations

Actions

Verification of the NSL case study in C

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
verifast-nsl.yml
8 workflow runs
8 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

WIP: modifies Dockerfile to create a multi-architecture image Verification of the NSL case study in C #15: Commit dc1d679 pushed by ArquintL
December 8, 2023 09:29 27s arm-docker-image
arm-docker-image
December 8, 2023 09:29 27s
fixes README Verification of the NSL case study in C #14: Commit 8a07c63 pushed by ArquintL
December 8, 2023 09:19 48s main
main
December 8, 2023 09:19 48s
Updates README Verification of the NSL case study in C #13: Commit bfe5d47 pushed by ArquintL
December 7, 2023 17:15 32s main
main
December 7, 2023 17:15 32s
Create CITATION.bib Verification of the NSL case study in C #12: Commit ba78d20 pushed by ArquintL
December 7, 2023 15:28 35s main
main
December 7, 2023 15:28 35s
Updates README Verification of the NSL case study in C #11: Commit 647edd2 pushed by ArquintL
December 7, 2023 15:27 35s main
main
December 7, 2023 15:27 35s
adds links to published paper and Zenodo Verification of the NSL case study in C #10: Commit 9b683b9 pushed by ArquintL
December 7, 2023 13:58 33s main
main
December 7, 2023 13:58 33s
another try Verification of the NSL case study in C #9: Commit ff2ba14 pushed by ArquintL
November 5, 2023 20:45 35s arm-docker-image
arm-docker-image
November 5, 2023 20:45 35s
builds and uploads a Doker image for M1 macs Verification of the NSL case study in C #8: Commit 2cc1efe pushed by ArquintL
November 5, 2023 19:49 46s arm-docker-image
arm-docker-image
November 5, 2023 19:49 46s