Rename base solver for Bitwuzla-MachBV. (#197)

martinjonas · Martin Jonáš · web-flow · commit a1d750938154 · 2025-07-02T09:39:52.000+02:00
Co-authored-by: Martin Jonáš &lt;martin.jonas@mail.muni.cz&gt;
diff --git a/submissions/Bitwuzla-MachBV-at-SMT-COMP-2025-base.json b/submissions/Bitwuzla-MachBV-at-SMT-COMP-2025-base.json
@@ -1,5 +1,5 @@
 {
-    "name": "Bitwuzla-0-7-0",
+    "name": "Bitwuzla-MachBV-base",
     "archive": {
         "url": "https://zenodo.org/records/15752452/files/Bitwuzla-0-7-0.zip",
         "h": {"sha256": "a85ffea4009c096be3bf627c720fed903bbff1ae3655ac1bd169519ae4403c00"}

Original file line number	Diff line number	Diff line change
`@@ -1,5 +1,5 @@`
`1`	`1`	`{`
`2`		`- "name": "Bitwuzla-0-7-0",`
	`2`	`+ "name": "Bitwuzla-MachBV-base",`
`3`	`3`	`"archive": {`
`4`	`4`	`"url": "https://zenodo.org/records/15752452/files/Bitwuzla-0-7-0.zip",`
`5`	`5`	`"h": {"sha256": "a85ffea4009c096be3bf627c720fed903bbff1ae3655ac1bd169519ae4403c00"}`