2024-06-18-7065d22: #2450: Restore the packaged yosys tests

See if we can run them on debian:sid, the yosys package is still available there.

2024-06-17-3845f81: #2446: ci: update custom runners labels

This MR updates the runner tags so that they are more specific and with the accordance to antmicro/runner@73a7c8f.

2024-03-13-d844d8d: #2357: Introduce a compatibility layer for Yosys::AST::process

This uses a weak symbol which allows us to build and link with Yosys before and after the API change.

Ref: #2300

2024-01-23-fe8f61f: #2278: Build(deps): Bump third_party/surelog from `f687293` to `37ce1bb`

Bumps third_party/surelog from f687293 to 37ce1bb.

Commits

• 37ce1bb Merge pull request #3957 from alainmarcel/alainmarcel-patch-1
• 8f3c92a Multiple generate blocks
• 4a12ee7 Merge pull request #3956 from alainmarcel/alainmarcel-patch-1
• a0db16a comp op return val
• 576839c Merge pull request #3955 from alainmarcel/alainmarcel-patch-1
• fd6e404 test
• f2621ed Merge pull request #3954 from alainmarcel/alainmarcel-patch-1
• 8289058 file and package level const pushing in synth mode
• a2a7f29 Merge pull request #3953 from alainmarcel/alainmarcel-patch-1
• 1b890bf file level param binding
• See full diff in compare view

Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting @dependabot rebase.

---

Dependabot commands and options

You can trigger Dependabot actions by commenting on this PR:

• @dependabot rebase will rebase this PR
• @dependabot recreate will recreate this PR, overwriting any edits that have been made to it
• @dependabot merge will merge this PR after your CI passes on it
• @dependabot squash and merge will squash and merge this PR after your CI passes on it
• @dependabot cancel merge will cancel a previously requested merge and block automerging
• @dependabot reopen will reopen this PR if it is closed
• @dependabot close will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually
• @dependabot show <dependency name> ignore conditions will show all of the ignore conditions of the specified dependency
• @dependabot ignore this major version will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)
• @dependabot ignore this minor version will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)
• @dependabot ignore this dependency will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)

2024-01-19-953a4e6: #2275: file level param binding

file level param binding (#2275)

2024-01-12-bea454b: #2271: implicit decimal param

implicit decimal param (#2271)

2023-12-29-e97602e: #2213: Fix cmake build with external surelog, fix cmake install command

When building against external surelog/yosys:

cmake -DSYNLIG_USE_HOST_SURELOG=ON -DSYNLIG_USE_HOST_CAPNP=ON -DSYNLIG_USE_HOST_GTEST=ON -DSYNLIG_USE_HOST_YOSYS=OFF -DYOSYS_CONFIG=yosys-config -DYOSYS_PATH=/opt/homebrew/Cellar/yosys/0.35/share/yosys/include -DSYNLIG_WITH_TCMALLOC=OFF -DSYNLIG_WITH_ZLIB=ON -B build_shared -DCMAKE_BUILD_TYPE=Release -DCMAKE_CXX_STANDARD=17 -DCMAKE_POSITION_INDEPENDENT_CODE=ON -DCMAKE_CXX_COMPILER_LAUNCHER=/opt/homebrew/bin/ccache -DBUILD_SHARED_LIBS=ON .

Before:

CMake Error at CMakeLists.txt:284 (add_dependencies):
  The dependency target "surelog" of target "synlig" does not exist.


CMake Error at CMakeLists.txt:285 (add_dependencies):
  The dependency target "uhdm" of target "synlig" does not exist.

After: Works.

Similarly for the cmake --install command, before:

CMake Error at build_shared/cmake_install.cmake:41 (file):
  file INSTALL cannot find
  "synlig/build_shared/SynligConfig.cmake":
  No such file or directory.

After: Works.

xref: https://github.com/dau-dev/tools/releases/tag/v0.0.2

2023-12-28-c963ff9: #2239: Bump yosys

Supersedes: #2229

2023-12-27-d34b2b5: #2231: Core dump fix top-level param no default value

Core dump fix top-level param no default value (#2231)

2023-12-27-68b9af9: #2236: Stable rs

Bump Surelog, add signed integer test (#2236)