Skip to content

Revision 1 1 jk#87

Merged
Jonas-Kirchhoff merged 281 commits intomainfrom
revision_1_1_JK
Sep 17, 2025
Merged

Revision 1 1 jk#87
Jonas-Kirchhoff merged 281 commits intomainfrom
revision_1_1_JK

Conversation

@Jonas-Kirchhoff
Copy link

@Jonas-Kirchhoff Jonas-Kirchhoff commented Sep 16, 2025

address changes requested by A. Schemmel and M. Schu, in particular:

  • add more verbose introduction to trustable graph
  • reformulate AOU as requirements
  • add version of nlohmann/json
  • add optional description to function reference
  • combine AOU-10, -11, -12 and -13
  • add a list of tests with test environments

NilsEb and others added 30 commits July 29, 2025 12:15
- 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".
- added testsuite references
- formated testsuite references with "proper" whitespace
- added tests in tests/score/unit-*.cpp for referencing
- added references in NJF
- adapted Nils's references.py to take TEST_CASE("Unicode (1/5)" * doctest::skip())
  into account
- adapted Nils's references.py to clarify error message for section start
  not found
- adapted Nils's test_references.py to these changes
- add detailed statements for parsing as children of PJD
- add links into trustable graph
- there are no acceptance tests for unicode, just parsing tests
- copied parsing tests and replaced parse() by accept()
- added tests for behaviour on duplicate member names
- link PJD-03 => NPF-03 was somehow forgotten before
- fixed presentation for NPF-03.5 in trustable graph
- PJD-02 fits better as child of PJD-03
- adopted reformulation of PJD-02 from main
- adapt references.py
- replace reference: by references:
- add comments to fetch_json.cpp
- adapt make_colons_semi_again.cpp to exclude unwanted replacement
@github-actions github-actions bot added documentation Improvements or additions to documentation L CI labels Sep 16, 2025
@github-actions github-actions bot removed the CI label Sep 16, 2025
@coveralls
Copy link

coveralls commented Sep 16, 2025

Coverage Status

coverage: 99.186%. remained the same
when pulling be4d0db on revision_1_1_JK
into 989f18f on main.

@github-actions github-actions bot removed the L label Sep 17, 2025
@Jonas-Kirchhoff Jonas-Kirchhoff marked this pull request as ready for review September 17, 2025 06:13
@github-actions github-actions bot added the L label Sep 17, 2025
@Jonas-Kirchhoff Jonas-Kirchhoff merged commit 8e88bae into main Sep 17, 2025
82 checks passed
Erikhu1 pushed a commit that referenced this pull request Nov 14, 2025
* Change JLEX into links

* reorder documentation

* rework plotting

* adapt documentation generator to argument

* change link of top-top-layer node

* add more verbose intro for trustable graph

* change order

* Changes to address #73

* reformulate AOU-23 and AOU-24 as requirements
* split AOU-25 in behaviours and misbehaviours of C++-stdlib
* reformulate AOU-27 as requirement
* add which statements are supported by these assumptions of use

* add actual graph

* remove automatic change of trustable graph documentation

* clean up graph

* add version for nlohmann/json to start page of documentation

* addressing #73

renaming entry "Eclipse" to "Eclipse S-CORE Home Page" in documentation

* tweak references

* add description to function references
* remove empty bullet-point from JSONTestsuiteReference

* adapt FunctionReferences

* add descriptions

* formulate AOU as requirements

* formulate AOU as requirement

* add combined AOU

* combine AOUs

* combine similar AOU-10, AOU-11, AOU-12 and AOU-13 into one singular AOU-10_COMBINED
* remove obsolete AOU
* adapt graph

* add descriptions to function_references

* fix typo

* Change overview

* add test-list compilator

* tweak collection of List_of_all_tests.md

* add List_of_all_tests.md
* adapt compile_list_of_tests.py as script instead of expecting console inputs

* rework list of tests as custom reference

* add list of test as reference

* add documentation

* add test-environments to list of tests

* change classmethods to static methods

* add tests

* add some tests

* Fix reintroduced errors in README

* re-add commas

* re-fix version

* remove outcommentation

---------

Co-authored-by: Nils Eberhardt <nils.eberhardt@d-fine.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Improvements or additions to documentation L

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants