Skip to content

bump tooling repo + small fixes#619

Open
hoe-jo wants to merge 9 commits into
mainfrom
joho_bump_tooling_repo
Open

bump tooling repo + small fixes#619
hoe-jo wants to merge 9 commits into
mainfrom
joho_bump_tooling_repo

Conversation

@hoe-jo

@hoe-jo hoe-jo commented Jun 30, 2026

Copy link
Copy Markdown
Contributor
  • Bump Tooling Repo to include new rendering of safety analysis
  • Add Toolchain for Libclang
  • Adapt TRLC Tracing for Guidewords
  • Fix rendering of SafetyAnalysis in Communication Repo
  • Small fixes for Safety Analysis for MW::COM renaming only

if _fta_metamodel_dir
else ""
)
plantuml = f"{_plantuml_path}{_include_flag} -Playout=smetana"
@hoe-jo hoe-jo marked this pull request as draft June 30, 2026 09:41
@hoe-jo hoe-jo force-pushed the joho_bump_tooling_repo branch 4 times, most recently from 3e8f485 to 0f0f264 Compare July 1, 2026 15:26
@hoe-jo hoe-jo marked this pull request as ready for review July 1, 2026 15:40
@hoe-jo hoe-jo force-pushed the joho_bump_tooling_repo branch from 0f0f264 to 4210c36 Compare July 1, 2026 15:40
Comment thread MODULE.bazel
targets = ["linux-aarch64"],
)
use_repo(llvm, "llvm_toolchain")
use_repo(llvm, "llvm_toolchain", "llvm_toolchain_llvm")

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Why do you add here a new name? why do you not just reference it by llvm_toolchain?

Copy link
Copy Markdown
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

llvm_toolchain_llvm is required for libclang, its not included in llvm_toolchain

Comment thread bazel/toolchains/BUILD Outdated
cxx_builtin_include = "@llvm_toolchain_llvm//:cxx_builtin_include",
extra_config_site = "@llvm_toolchain_llvm//:extra_config_site",
libclang = "@llvm_toolchain_llvm//:lib/libclang.so",
visibility = ["//visibility:public"],

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Why public visibility?

Copy link
Copy Markdown
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

fixed

Comment thread bazel/toolchains/BUILD Outdated
name = "score_communication_libclang_toolchain",
toolchain = ":score_communication_libclang",
toolchain_type = "@score_tooling//cpp/libclang:libclang_toolchain_type",
visibility = ["//visibility:public"],

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Why public visibility?

Copy link
Copy Markdown
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

fixed

Comment thread third_party/score_baselibs/BUILD Outdated
maturity = "development",
requirements = [],
tests = [],
visibility = ["//visibility:public"],

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Why public visiblity?

We should make a macro do avoid this copy n paste for external modules.

Copy link
Copy Markdown
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

fixed

@hoe-jo hoe-jo force-pushed the joho_bump_tooling_repo branch from 4210c36 to 81f79b8 Compare July 2, 2026 13:20
@hoe-jo hoe-jo force-pushed the joho_bump_tooling_repo branch from 81f79b8 to 6b50c27 Compare July 2, 2026 14:04
@hoe-jo hoe-jo requested a review from castler July 2, 2026 15:19
@castler castler added this pull request to the merge queue Jul 2, 2026
@github-merge-queue github-merge-queue Bot removed this pull request from the merge queue due to failed status checks Jul 2, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Status: Backlog

Development

Successfully merging this pull request may close these issues.

2 participants