Update STP-Parti-Bitwuzla-at-SMT-COMP-2025.json

zmylinxi99 · web-flow · commit d0333ffab283 · 2025-06-11T17:25:39.000+08:00
diff --git a/submissions/STP-Parti-Bitwuzla-at-SMT-COMP-2025.json b/submissions/STP-Parti-Bitwuzla-at-SMT-COMP-2025.json
@@ -8,7 +8,7 @@
     ],
     "contacts": ["Mengyu Zhao <zhaomy@ios.ac.cn>"],
     "archive": {
-        "url": "TBD"
+        "url": "https://github.com/shaowei-cai-group/STP-Parti-Bitwuzla-at-SMT-COMP-2025"
     },
     "website": "https://github.com/shaowei-cai-group/STP-Parti-Bitwuzla-at-SMT-COMP-2025",
     "system_description": "https://github.com/shaowei-cai-group/STP-Parti-Bitwuzla-at-SMT-COMP-2025/blob/master/STP_Parti_Bitwuzla_at_SMT_COMP_2025.pdf",
@@ -18,7 +18,8 @@
     "participations": [
         {
             "tracks": ["Parallel"],
-            "logics": ["QF_BV"]
+            "logics": ["QF_BV"],
+            "aws_repository": "https://github.com/shaowei-cai-group/STP-Parti-Bitwuzla-at-SMT-COMP-2025"
         }
     ]
 }

Original file line number	Diff line number	Diff line change
`@@ -8,7 +8,7 @@`
`8`	`8`	`],`
`9`	`9`	`"contacts": ["Mengyu Zhao <zhaomy@ios.ac.cn>"],`
`10`	`10`	`"archive": {`
`11`		`- "url": "TBD"`
	`11`	`+ "url": "https://github.com/shaowei-cai-group/STP-Parti-Bitwuzla-at-SMT-COMP-2025"`
`12`	`12`	`},`
`13`	`13`	`"website": "https://github.com/shaowei-cai-group/STP-Parti-Bitwuzla-at-SMT-COMP-2025",`
`14`	`14`	`"system_description": "https://github.com/shaowei-cai-group/STP-Parti-Bitwuzla-at-SMT-COMP-2025/blob/master/STP_Parti_Bitwuzla_at_SMT_COMP_2025.pdf",`
`@@ -18,7 +18,8 @@`
`18`	`18`	`"participations": [`
`19`	`19`	`{`
`20`	`20`	`"tracks": ["Parallel"],`
`21`		`- "logics": ["QF_BV"]`
	`21`	`+ "logics": ["QF_BV"],`
	`22`	`+ "aws_repository": "https://github.com/shaowei-cai-group/STP-Parti-Bitwuzla-at-SMT-COMP-2025"`
`22`	`23`	`}`
`23`	`24`	`]`
`24`	`25`	`}`