score-json / nlohmann_json

99%

LAST BUILD ON BRANCH main

branch: SELECT

CHANGE BRANCH

x

Sync Branches

• No branch selected
• LucaFgr-Complete_TT_EXPECTATIONS_CONTEXT_rebased
• LucaFue-Fix_Score_Calculation
• LucaFue_Fix_Publish_Documentation_Bug
• ThomasClausnitzer-add_changes_of_review_comments_to_supporting_tsf_documents
• ThomasClausnitzer-add_closed_issues_for_misbehaviours
• ThomasClausnitzer-add_performance_benchmark_and_analysis
• ThomasClausnitzer-add_references_for_new_tsf_documents
• ThomasClausnitzer-fix_publishing_error_in_repo
• ThomasClausnitzer-fix_skipping_of_push_publication
• ThomasClausnitzer-history_sync_after_pr24
• ThomasClausnitzer-perform_quality_control_on_statements
• ThomasClausnitzer-sync-with-prod
• ThomasClausnitzer-sync_with_prod
• erikhu1-matrix_specification
• erikhu1-resolve_TA_RELEASES_feedback
• halnasri-Fix_CI_data_storage_workflows
• halnasri-Fix_CI_publish_test_data
• halnasri-Resolve_TA-ANALYSIS_Comments
• halnasri-fix_CI
• halnasri-fix_CI_build_documentation
• halnasri-update-files-in-save_historical_data
• main
• sync_with_prod

Build # 25619285456

Build Type

push

github

Committed by web-flow

Commit Message

Thomas clausnitzer sync with prod (#65)

* Make MODULE.bazel versionless

- S-CORE bazel registry accepts versionless module files
- The module name must be prefixed with `score_`.


Signed-off-by: Andrey Babanin <andrey.babanin@bmw.de>

* Add assisting files for closed misbehaviours and runtime analysis (#26)

* Halnasri resolve tt confidence feedback (#21)

* Resolve TT-CHANGES feedback (#115)

* enhaced doc in concept.rst

* enhanced documentation of the scoring

* review comments fixed and Example claculating graph added

* Added AOUs to TA-CONSTRAINTS

* add CI workflow for checking SME reviews (#110)

* add CI workflow for checking SME reviews

* give pull request read permission

* fix indentation

* fix typo

* fix typo

* fix artifact collection trigger

* reformulate JLS-05

* removed AOUs from non-TA-CONSTRAINTS links

* align with current state of working branch

* again

* enhaced doc in concept.rst

* enhanced documentation of the scoring

* review comments fixed and Example claculating graph added

* unfinished commit

* Adapted overall statement formulation

* remove WFJ-12 whitespace

* Added "provided by nlohmann/json" to WFJ-07

* removed "library" from TA-METHODOLOGIES

* Added nlohmann/json to TT-CONSTRUCTION

* fix typo in NPF-01

* fixed score -> score-json in TT-CONFIDENCE

* Clarify reference to nlohmann/json library

Signed-off-by: Luca Füger <luca.fueger@d-fine.com>

* Clarify confidence measurement in nlohmann/json

Signed-off-by: Luca Füger <luca.fueger@d-fine.com>

* Fix typo in TA-FIXES.md regarding repository name

Signed-off-by: Luca Füger <luca.fueger@d-fine.com>

* Clarify reference to nlohmann/json library

Signed-off-by: Luca Füger <luca.fueger@d-fine.com>

* Fix typo in TA-ITERATIONS.md

Signed-off-by: Luca Füger <luca.fueger@d-fine.com>

* Fix typo in TA-ITERATIONS.md

Signed-off-by: Luca Füger <luca.fueger@d-fine.com>

* Clarify reference to nlohmann/json library

Signed-off-by: Luca Füger <luca.fueger@d-fine.... (continued)

Coverage Stats

1989 of 2119 branches covered (93.87%)

6339 of 6391 relevant lines covered (99.19%)

14998575.45 hits per line