update

SMT-COMP · May 28, 2024 · 4d5c7eb · 4d5c7eb
1 parent 84805c0
commit 4d5c7eb
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/submissions/yices2.json b/submissions/yices2.json
@@ -14,11 +14,11 @@
         "Stéphane Graham-Lengrand <[email protected]>"
     ],
     "archive": {
-        "url": "TBA",
-        "h": { "sha256": "TBA" }
+        "url": "https://ahmed-irfan.github.io/smtcomp2024/yices2-smtcomp-2024.zip",
+        "h": { "sha256": "aae0e6880ff4601bffae5254f44e073db5f76dec0a7f23d7d4eec36fd01de6a3" }
     },
     "website": "https://yices.csl.sri.com",
-    "system_description": "TBA",
+    "system_description": "https://ahmed-irfan.github.io/smtcomp2024/yices2-smtcomp-2024.pdf",
     "solver_type": "Standalone",
     "participations": [
         {