Merged
Conversation
- Add trudag as the first job to the publish_documentation workflow (uploads the trudag report as an artifact) - Adjusted the original eclipse publication workflow to download the trudag report before building the documentation
- The cpp test reference in the trudag report is rendered with some mkdocs specific formatting that is now removed by the cleaning script
The statements in well-formed-json were overlapping. To remove the over- lap, we reworked the statements and condensed them into eight distinct.
- created no-json-faults as specificications for WFJ-01, WFJ-04, WFJ-05. - added this to trustable graph
- Add No-JSON-Faults (NJF-08) about accepting numbers - Added this below WFJ-03
- additional node increases flexibility w.r.t. additional statements - added reference to tests
Reference unit-class-parser for NJF-06.4.1 and NJF-06.4.3
- add references of type cpp_test to NJF-05.1, NJF-05.2, NJF-05.3, NJF-05.7.1 - fix reference for NJF-06.4.1 and NJF-06.4.2
Removed "does accept" to not confuse with "does not accept".
…ils' into extend_trustable_graph_JK
- added testsuite references - formated testsuite references with "proper" whitespace
Previously, the changes to the documentation were written to TSF/docs/trustable_graph.rst. This was not part of the trudag artifact, so removed for documentation generation. As a fix, it is now moved to TSF/docs/generated, which is stored in the artifact.
The names of the partial graph did coincide with the names of the historical plots of the trustable score for the items.
Erikhu1
approved these changes
Sep 15, 2025
Erikhu1
pushed a commit
that referenced
this pull request
Nov 14, 2025
* fix naming issue The names of the partial graph did coincide with the names of the historical plots of the trustable score for the items. * add even more unique naming * remove accidental duplication * remove another accidental duplication --------- Co-authored-by: Nils Eberhardt <nils.eberhardt@d-fine.com>
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
4 participants
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
The names of the partial graphs were not cleverly chosen, so that the linkage is broken.