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
15 workflow runs
15 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
increases time limit for artifact CI Verification of the NSL case study in C #7: Commit 7ee1707 pushed by ArquintL
October 25, 2023 07:17 35s main
main
October 25, 2023 07:17 35s
extends README with instructions on how to use the artifact Verification of the NSL case study in C #6: Commit 5a88a94 pushed by ArquintL
October 25, 2023 06:56 45s main
main
October 25, 2023 06:56 45s
extends CI to test artifact Verification of the NSL case study in C #5: Commit 160fd60 pushed by ArquintL
October 25, 2023 06:40 37s main
main
October 25, 2023 06:40 37s
fixes artifact image creation Verification of the NSL case study in C #4: Commit fade50c pushed by ArquintL
October 25, 2023 05:51 30s main
main
October 25, 2023 05:51 30s
adds artifact Docker image Verification of the NSL case study in C #3: Commit 47773a7 pushed by ArquintL
October 25, 2023 05:50 50s main
main
October 25, 2023 05:50 50s
adds papaer artifact Verification of the NSL case study in C #2: Commit bae637c pushed by ArquintL
September 10, 2023 05:53 44s CCS_23
CCS_23
September 10, 2023 05:53 44s
adds papaer artifact Verification of the NSL case study in C #1: Commit bae637c pushed by ArquintL
September 10, 2023 05:27 43s main
main
September 10, 2023 05:27 43s