Skip to content

Move EvaSuite to SPICE#445

Merged
mjaehn merged 8 commits into
mainfrom
remove_evasuite
Jun 24, 2026
Merged

Move EvaSuite to SPICE#445
mjaehn merged 8 commits into
mainfrom
remove_evasuite

Conversation

@mjaehn

@mjaehn mjaehn commented Jun 24, 2026

Copy link
Copy Markdown
Contributor

EvaSuite should not be listed as official tool supported by C2SM because:

  • it is not tested / supported
  • even though it is a standalone, it is closely tied to SPICE

Hence, we move it under the SPICE section.

@github-actions

github-actions Bot commented Jun 24, 2026

Copy link
Copy Markdown
Contributor
PR Preview Action v1.8.1
Preview removed because the pull request was closed.
2026-06-24 08:49 UTC

@mjaehn mjaehn merged commit 1c9354a into main Jun 24, 2026
4 checks passed
@mjaehn mjaehn deleted the remove_evasuite branch June 24, 2026 08:48
@mjaehn mjaehn mentioned this pull request Jun 24, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant