Update artifact DOI

CertiKOS · Nov 22, 2024 · e0120af · e0120af
1 parent d67e95a
commit e0120af
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/compcertoe/references.bib b/compcertoe/references.bib
@@ -682,8 +682,8 @@ @software{compcertoe-artifact
   month        = oct,
   year         = 2024,
   publisher    = {Zenodo},
-  doi          = {10.5281/zenodo.13947954},
-  url          = {https://doi.org/10.5281/zenodo.13947954}
+  doi          = {10.5281/zenodo.14202535},
+  url          = {https://doi.org/10.5281/zenodo.14202535}
 }
 
 @techreport{compcertoe-tr,

diff --git a/references.bib b/references.bib
@@ -682,8 +682,8 @@ @software{compcertoe-artifact
   month        = oct,
   year         = 2024,
   publisher    = {Zenodo},
-  doi          = {10.5281/zenodo.13947954},
-  url          = {https://doi.org/10.5281/zenodo.13947954}
+  doi          = {10.5281/zenodo.14202535},
+  url          = {https://doi.org/10.5281/zenodo.14202535}
 }
 
 @techreport{compcertoe-tr,