rust: add libcore to certification doc#2249
rust: add libcore to certification doc#2249pawelrutkaq wants to merge 1 commit intoeclipse-score:mainfrom
Conversation
|
|
pawelrutkaq
force-pushed
the
pawelrutkaq_libcore
branch
3 times, most recently
from
9530c28 to
42e6cd2
Compare
|
The created documentation from the pull request is available at: docu-html |
pawelrutkaq
force-pushed
the
pawelrutkaq_libcore
branch
from
42e6cd2 to
ad9c087
Compare
|
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. |
pawelrutkaq
force-pushed
the
pawelrutkaq_libcore
branch
from
ad9c087 to
3f41012
Compare
| Certified libcore | ||
| ################# | ||
|
|
||
| .. tool_req:: Rust libcore |
There was a problem hiding this comment.
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
There was a problem hiding this comment.
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
|
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 |
|
@pawelrutkaq can you please update |
|
Yes, soon i will do. |
3 participants
Fulfills: #2020
WIP: Still looking into empty internal modules at the certification part.