[nix] bring formal environment up-to-date

dv/formal/buildspec.py

@@ -98,14 +98,8 @@ def add_btypes(self):
         with open("build/ibexspec.sv", "r") as f:
             c = f.read()
         c = c.replace(
-            "sail_reached_unreachable = 1;",
-            "begin sail_reached_unreachable = 1; sail_reached_unreachable_loc = `__LINE__; end"
-        ).replace(
             "sail_reached_unreachable = 0;",
             "begin sail_reached_unreachable = 0; sail_reached_unreachable_loc = -1; end"
-        ).replace(
-            "bit sail_reached_unreachable;",
-            "bit sail_reached_unreachable;\n\tlogic [31:0] sail_reached_unreachable_loc;"
         )
         with open("build/ibexspec.sv", "w") as f:
             f.write(c)

dv/formal/pyproject.toml

@@ -2,25 +2,23 @@
 # Licensed under the Apache License, Version 2.0, see LICENSE for details.
 # SPDX-License-Identifier: Apache-2.0
 
-[tool.poetry]
+[project]
 name = "ibex"
 version = "0.0.0"
 description = "Ibex"
-authors = []
-license = "Apache 2.0"
-readme = "README.md"
+requires-python = ">= 3.10"
 
-[tool.poetry.dependencies]
-python = "^3.10"
-packaging = "23.1"
-anytree = "2.8.0"
-hjson = "3.1.0"
-mako = "1.1.6"
-pyyaml = "6.0"
-wheel = "0.41.2"
-edalize = { git = "https://github.com/lowRISC/edalize.git", tag = "v0.4.0"}
-fusesoc = { git = "https://github.com/lowRISC/fusesoc.git", tag = "ot-0.4" }
+dependencies = [
+  "packaging == 24.2",
+  "anytree == 2.8.0",
+  "hjson == 3.1.0",
+  "mako == 1.1.6",
+  "pyyaml == 6.0",
+  "edalize @ git+https://github.com/lowRISC/[email protected]",
+  "fusesoc @ git+https://github.com/lowRISC/[email protected]",
+]
+
+[tool.setuptools]
+# This is actually not a python project, we just use pyproject.toml to manage dependencies.
+py-modules = []
 
-[build-system]
-requires = ["poetry-core"]
-build-backend = "poetry.core.masonry.api"