Skip to content

Conversation

@pawelrutkaq
Copy link
Contributor

@pawelrutkaq pawelrutkaq commented Nov 26, 2025

Fulfills: #2020

WIP: Still looking into empty internal modules at the certification part.

@github-actions
Copy link

⚠️ Docs-as-Code version mismatch detected
Please check the CI build logs for details and align the documentation version with the Bazel dependency.

@pawelrutkaq pawelrutkaq force-pushed the pawelrutkaq_libcore branch 3 times, most recently from 9530c28 to 42e6cd2 Compare November 26, 2025 13:28
@github-actions
Copy link

The created documentation from the pull request is available at: docu-html

@pawelrutkaq
Copy link
Contributor Author

before this goes out of draft, I will try to use feroceen compiler to recheck if there are more gaps hidden inside libcore specific modules. Currently our codebase support cargo, so it may be that I will use cargo for that.

Certified libcore
#################

.. tool_req:: Rust libcore
Copy link
Contributor

Choose a reason for hiding this comment

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

Thanks for starting here. Can you add also something here, https://eclipse-score.github.io/score/main/score_tools/index.html, which is more or less the evaluation result to motivate, that we need the qualification here for the different elements

Copy link
Contributor Author

@pawelrutkaq pawelrutkaq Nov 28, 2025

Choose a reason for hiding this comment

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

I would do it in seperate PR once I obtain more info from Feroceen about the compiler itself. The libcore is just the library part. I will also propose to tak eover Feroceen aproach for TCL and all tooling assesment for other tools we need in rust scope

Copy link
Contributor

Choose a reason for hiding this comment

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

Fine for me, thank you

@github-actions
Copy link

This PR is stale because it has been open for 30 days with no activity. It will be closed in 10 days if no further activity occurs. #magic___^_^___line

@github-actions github-actions bot added the Stale label Dec 29, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants