Skip to content

Actions: viperproject/SecurityProtocolImplementations

Actions

Verification of Reusable Verification Library in C

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
verifast-library.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 Reusable Verification Library in C #15: Commit dc1d679 pushed by ArquintL
December 8, 2023 09:29 25s arm-docker-image
arm-docker-image
December 8, 2023 09:29 25s
fixes README Verification of Reusable Verification Library in C #14: Commit 8a07c63 pushed by ArquintL
December 8, 2023 09:19 44s main
main
December 8, 2023 09:19 44s
Updates README Verification of Reusable Verification Library in C #13: Commit bfe5d47 pushed by ArquintL
December 7, 2023 17:15 26s main
main
December 7, 2023 17:15 26s
Create CITATION.bib Verification of Reusable Verification Library in C #12: Commit ba78d20 pushed by ArquintL
December 7, 2023 15:28 28s main
main
December 7, 2023 15:28 28s
Updates README Verification of Reusable Verification Library in C #11: Commit 647edd2 pushed by ArquintL
December 7, 2023 15:27 23s main
main
December 7, 2023 15:27 23s
adds links to published paper and Zenodo Verification of Reusable Verification Library in C #10: Commit 9b683b9 pushed by ArquintL
December 7, 2023 13:58 27s main
main
December 7, 2023 13:58 27s
another try Verification of Reusable Verification Library in C #9: Commit ff2ba14 pushed by ArquintL
November 5, 2023 20:45 21s arm-docker-image
arm-docker-image
November 5, 2023 20:45 21s
builds and uploads a Doker image for M1 macs Verification of Reusable Verification Library in C #8: Commit 2cc1efe pushed by ArquintL
November 5, 2023 19:49 23s arm-docker-image
arm-docker-image
November 5, 2023 19:49 23s
increases time limit for artifact CI Verification of Reusable Verification Library in C #7: Commit 7ee1707 pushed by ArquintL
October 25, 2023 07:17 31s main
main
October 25, 2023 07:17 31s
extends README with instructions on how to use the artifact Verification of Reusable Verification Library in C #6: Commit 5a88a94 pushed by ArquintL
October 25, 2023 06:56 34s main
main
October 25, 2023 06:56 34s
extends CI to test artifact Verification of Reusable Verification Library in C #5: Commit 160fd60 pushed by ArquintL
October 25, 2023 06:40 40s main
main
October 25, 2023 06:40 40s
fixes artifact image creation Verification of Reusable Verification Library in C #4: Commit fade50c pushed by ArquintL
October 25, 2023 05:51 31s main
main
October 25, 2023 05:51 31s
adds artifact Docker image Verification of Reusable Verification Library in C #3: Commit 47773a7 pushed by ArquintL
October 25, 2023 05:50 29s main
main
October 25, 2023 05:50 29s
adds papaer artifact Verification of Reusable Verification Library in C #2: Commit bae637c pushed by ArquintL
September 10, 2023 05:53 25s CCS_23
CCS_23
September 10, 2023 05:53 25s
adds papaer artifact Verification of Reusable Verification Library in C #1: Commit bae637c pushed by ArquintL
September 10, 2023 05:27 32s main
main
September 10, 2023 05:27 32s