Merged
Conversation
Signed-off-by: Erik Hu <erik.hu@d-fine.com>
halnasri
approved these changes
Nov 24, 2025
Erikhu1
added a commit
that referenced
this pull request
Nov 24, 2025
* update to trudag v2025.10.22 (#4) * update to trudag v2025.10.22 * upgrade pip * upgrade pip in test_publication workflow * pip install requests * TT changes documentation (#7) * answer checklist TT-CHANGES * update TSF/README * add AOU-30 * steps 2-12 * mean of the scores * library -> project * fix typo * additional SMEs * fix comprise typo * nlohmann/json triage process * add JLS-34 to TA_UPDATES context * Reworked the README file for references and validators (#6) * extended TimeVaryingWebReference doc * added validator info to website and project_website reference * Updated readme for all references up to ListOfTestCases * Again reworked the references readme * extended documentation for validators * cosmetic change * cosmetic changes * small fix in TimeVaryingWebReference * Update .dotstop_extensions/README.md Co-authored-by: halnasri <hatem.alnasri@d-fine.com> Signed-off-by: Luca Füger <luca.fueger@d-fine.com> * Added : to expected configuration * Update .dotstop_extensions/README.md Co-authored-by: halnasri <hatem.alnasri@d-fine.com> Signed-off-by: Luca Füger <luca.fueger@d-fine.com> * validator addition * Added combinator trudag remark * added database to README * removed : * Update .dotstop_extensions/README.md Co-authored-by: Erik Hu <erik.hu@d-fine.com> Signed-off-by: Luca Füger <luca.fueger@d-fine.com> --------- Signed-off-by: Luca Füger <luca.fueger@d-fine.com> Co-authored-by: halnasri <hatem.alnasri@d-fine.com> Co-authored-by: Erik Hu <erik.hu@d-fine.com> * link TA-BEHAVIOURS to JLS-27 (#9) * Erikhu1 tt changes documentation (#10) * answer checklist TT-CHANGES * update TSF/README * add AOU-30 * steps 2-12 * mean of the scores * library -> project * fix typo * additional SMEs * fix comprise typo * nlohmann/json triage process * add JLS-34 to TA_UPDATES context * replace XYZ and add disclaimer * update TT_CHANGES context files * update TA_UPDATES context * clean up TA_FIXES context --------- Signed-off-by: Erik Hu <erik.hu@d-fine.com> --------- Signed-off-by: Luca Füger <luca.fueger@d-fine.com> Signed-off-by: Erik Hu <erik.hu@d-fine.com> Co-authored-by: Luca Füger <luca.fueger@d-fine.com> Co-authored-by: halnasri <hatem.alnasri@d-fine.com>
Erikhu1
added a commit
that referenced
this pull request
Dec 2, 2025
* update to trudag v2025.10.22 (#4) * update to trudag v2025.10.22 * upgrade pip * upgrade pip in test_publication workflow * pip install requests * TT changes documentation (#7) * answer checklist TT-CHANGES * update TSF/README * add AOU-30 * steps 2-12 * mean of the scores * library -> project * fix typo * additional SMEs * fix comprise typo * nlohmann/json triage process * add JLS-34 to TA_UPDATES context * Reworked the README file for references and validators (#6) * extended TimeVaryingWebReference doc * added validator info to website and project_website reference * Updated readme for all references up to ListOfTestCases * Again reworked the references readme * extended documentation for validators * cosmetic change * cosmetic changes * small fix in TimeVaryingWebReference * Update .dotstop_extensions/README.md Co-authored-by: halnasri <hatem.alnasri@d-fine.com> Signed-off-by: Luca Füger <luca.fueger@d-fine.com> * Added : to expected configuration * Update .dotstop_extensions/README.md Co-authored-by: halnasri <hatem.alnasri@d-fine.com> Signed-off-by: Luca Füger <luca.fueger@d-fine.com> * validator addition * Added combinator trudag remark * added database to README * removed : * Update .dotstop_extensions/README.md Co-authored-by: Erik Hu <erik.hu@d-fine.com> Signed-off-by: Luca Füger <luca.fueger@d-fine.com> --------- Signed-off-by: Luca Füger <luca.fueger@d-fine.com> Co-authored-by: halnasri <hatem.alnasri@d-fine.com> Co-authored-by: Erik Hu <erik.hu@d-fine.com> * link TA-BEHAVIOURS to JLS-27 (#9) * Erikhu1 tt changes documentation (#10) * answer checklist TT-CHANGES * update TSF/README * add AOU-30 * steps 2-12 * mean of the scores * library -> project * fix typo * additional SMEs * fix comprise typo * nlohmann/json triage process * add JLS-34 to TA_UPDATES context * replace XYZ and add disclaimer * update TT_CHANGES context files * update TA_UPDATES context * clean up TA_FIXES context --------- Signed-off-by: Erik Hu <erik.hu@d-fine.com> --------- Signed-off-by: Luca Füger <luca.fueger@d-fine.com> Signed-off-by: Erik Hu <erik.hu@d-fine.com> Co-authored-by: Luca Füger <luca.fueger@d-fine.com> Co-authored-by: halnasri <hatem.alnasri@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
3 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.
Uh oh!
There was an error while loading. Please reload this page.