Skip to content
Permalink

Comparing changes

Choose two branches to see what’s changed or to start a new pull request. If you need to, you can also or learn more about diff comparisons.

Open a pull request

Create a new pull request by comparing changes across two branches. If you need to, you can also . Learn more about diff comparisons here.
base repository: amaranth-lang/amaranth
Failed to load repositories. Confirm that selected base ref is valid, then try again.
Loading
base: 0e18429fb755
Choose a base ref
...
head repository: amaranth-lang/amaranth
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: 875579ea50fd
Choose a head ref
  • 1 commit
  • 1 file changed
  • 1 contributor

Commits on Apr 22, 2020

  1. back.verilog: make Yosys version check compatible with Verific.

    @hofstee
    hofstee authored Apr 22, 2020
    Copy the full SHA
    875579e View commit details
Showing with 2 additions and 1 deletion.
  1. +2 −1 nmigen/back/verilog.py
3 changes: 2 additions & 1 deletion nmigen/back/verilog.py
View file
Original file line number Diff line number Diff line change
@@ -16,7 +16,8 @@ class YosysError(Exception):
def _yosys_version():
yosys_path = require_tool("yosys")
version = subprocess.check_output([yosys_path, "-V"], encoding="utf-8")
m = re.match(r"^Yosys ([\d.]+)(?:\+(\d+))?", version)
# If Yosys is built with Verific, then Verific license information is printed first.
m = re.search(r"^Yosys ([\d.]+)(?:\+(\d+))?", version, flags=re.M)
tag, offset = m[1], m[2] or 0
return tuple(map(int, tag.split("."))), offset