Skip to content
Merged
Changes from all commits
Commits
Show all changes
266 commits
Select commit Hold shift + click to select a range
6ca88c1
Add trudag to publication workflow
NilsEb Jul 23, 2025
edc9ef9
Update readme
NilsEb Jul 25, 2025
a8136e9
Correct structural characters
NilsEb Jul 25, 2025
d56cc01
Add virtual environment to devcontainer
NilsEb Jul 25, 2025
db83d3c
Add basic cpp-test reference
NilsEb Jul 25, 2025
315cbcf
Add cpp test reference for trudag and tests
NilsEb Jul 28, 2025
be84135
Add workflow for cpp-reference tests
NilsEb Jul 28, 2025
b8f8eb8
Add test for tab removal in cpp test reference
NilsEb Jul 28, 2025
7162560
Adjust trudag cleaning script
NilsEb Jul 28, 2025
853124c
Add title for cpp test reference
NilsEb Jul 29, 2025
2d0dc71
Change cpp test reference title
NilsEb Jul 29, 2025
65c1536
Reworked well-formed-json
Jonas-Kirchhoff Jul 29, 2025
02c623d
Added no-json-faults
Jonas-Kirchhoff Jul 29, 2025
bf34e3d
Remove old WFJ files
NilsEb Jul 29, 2025
9c8ac72
Add NJF-08 (accepting numbers)
NilsEb Jul 29, 2025
acd9b25
Add NJF-07 (accepting/rejecting strings)
NilsEb Jul 29, 2025
695efe7
Add NJF-12 (UTF-8 data)
NilsEb Jul 29, 2025
bf6e362
Add NJF-13
NilsEb Jul 29, 2025
dd268c3
Add NJF-9,10,11
NilsEb Jul 29, 2025
9fd786e
Restructured no-json-faults
Jonas-Kirchhoff Jul 30, 2025
682e41f
added more no-json-faults
Jonas-Kirchhoff Jul 30, 2025
3833677
Add references
Jonas-Kirchhoff Jul 30, 2025
e900614
Add references
Jonas-Kirchhoff Jul 30, 2025
53ca29c
Changed formulations
Jonas-Kirchhoff Jul 30, 2025
396bbcc
Add program for generating testsuite references
Jonas-Kirchhoff Jul 31, 2025
946d0de
Remove error if wrong line is entered
Jonas-Kirchhoff Jul 31, 2025
107480c
Merge remote-tracking branch 'remotes/origin/extend_trustable_graph_n…
Jonas-Kirchhoff Aug 1, 2025
0a09838
Add testsuite references
Jonas-Kirchhoff Aug 1, 2025
54a5326
added test to NJF-06.2
Jonas-Kirchhoff Aug 1, 2025
bd242f8
Rework indentation for fetch_json.cpp
Jonas-Kirchhoff Aug 1, 2025
46f834c
Add tests in /tests/s-core to ctest
Jonas-Kirchhoff Aug 1, 2025
8e7f008
Add trudag references.
Jonas-Kirchhoff Aug 4, 2025
db660cb
Add unit-arrays.cpp
Jonas-Kirchhoff Aug 4, 2025
abc9c64
test utf-16-surrogate-acceptance
Jonas-Kirchhoff Aug 4, 2025
83370f3
Add statement and reference for utf-16 surrogates
Jonas-Kirchhoff Aug 4, 2025
b0ab62c
add no-parsing-faults
Jonas-Kirchhoff Aug 5, 2025
b0ed3df
add tests for no-json-faults
Jonas-Kirchhoff Aug 5, 2025
80cb59f
link PJD-03 => NPF-03
Jonas-Kirchhoff Aug 5, 2025
fda048a
rebase PJD-02
Jonas-Kirchhoff Aug 5, 2025
1e6fefe
add unit-tests
Jonas-Kirchhoff Aug 6, 2025
7ada3c4
add unit-tests
Jonas-Kirchhoff Aug 6, 2025
1171426
add tool for replacing colons with semi-colons in trustable graph
Jonas-Kirchhoff Aug 6, 2025
896e378
replace colons by semi-colons
Jonas-Kirchhoff Aug 6, 2025
b9b793d
replace colons by semicolons
Jonas-Kirchhoff Aug 7, 2025
379f3ad
adapt scripts
Jonas-Kirchhoff Aug 7, 2025
4a55f2f
add no-parsing-fault-statements on numbers
Jonas-Kirchhoff Aug 7, 2025
0e1d65f
adapt reference tests
Jonas-Kirchhoff Aug 7, 2025
31b3baf
add references
Jonas-Kirchhoff Aug 7, 2025
80b2476
add tests
Jonas-Kirchhoff Aug 7, 2025
64eb6cd
add comments
Jonas-Kirchhoff Aug 7, 2025
a763a06
adapt folder structure to main
Jonas-Kirchhoff Aug 7, 2025
2ecbb27
fix paths in references
Jonas-Kirchhoff Aug 7, 2025
dfea914
rename function
Jonas-Kirchhoff Aug 7, 2025
e8203b7
correct wrong path
Jonas-Kirchhoff Aug 7, 2025
b7196b6
fix typos
Jonas-Kirchhoff Aug 7, 2025
5ecbf1b
fix typos
Jonas-Kirchhoff Aug 7, 2025
cf0cce3
fix typo
Jonas-Kirchhoff Aug 7, 2025
9f054e9
fix typo
Jonas-Kirchhoff Aug 7, 2025
b5a5c59
fix typo
Jonas-Kirchhoff Aug 7, 2025
39a58b2
fix mistake
Jonas-Kirchhoff Aug 7, 2025
209f3f7
fix typo
Jonas-Kirchhoff Aug 7, 2025
4f5ca9d
add exception
Jonas-Kirchhoff Aug 7, 2025
9e19b83
refine JLS-24
Jonas-Kirchhoff Aug 7, 2025
d8e68ba
add test references
Jonas-Kirchhoff Aug 8, 2025
1370e47
Add references for WFJ-08
Jonas-Kirchhoff Aug 8, 2025
b0342d9
debug tests
Jonas-Kirchhoff Aug 8, 2025
bf20ad4
Merge branch 'main' into extend_trustable_graph_JK
Jonas-Kirchhoff Aug 8, 2025
c787528
adapt unit-class_parser-core path
Jonas-Kirchhoff Aug 8, 2025
6a52f51
fix test_case class parser to class parser - core
Jonas-Kirchhoff Aug 8, 2025
052b9fa
fix parser_helper
Jonas-Kirchhoff Aug 8, 2025
521a1db
Fix unit-strings.cpp
Jonas-Kirchhoff Aug 8, 2025
9875eca
add newline to eof unit-literals.cpp
Jonas-Kirchhoff Aug 8, 2025
e642b58
add newline to eof of unittests
Jonas-Kirchhoff Aug 8, 2025
6843ad7
adapt parser_helper so that no warnings are thrown
Jonas-Kirchhoff Aug 8, 2025
799104d
force string to eat utf-8 byte-order-mark
Jonas-Kirchhoff Aug 8, 2025
4aaec34
force string to eat utf-32 byte-order-mark
Jonas-Kirchhoff Aug 8, 2025
1d32de7
adapt path of references
Jonas-Kirchhoff Aug 8, 2025
b8802ce
change string to Rstring
Jonas-Kirchhoff Aug 8, 2025
58d9e2a
adapt README for custom references
Jonas-Kirchhoff Aug 11, 2025
89bf172
repair report.rst
Jonas-Kirchhoff Aug 11, 2025
27bc6df
Fix typo
Jonas-Kirchhoff Aug 11, 2025
4183f80
Suppress misc.highlighting_failure
Jonas-Kirchhoff Aug 11, 2025
013335e
adapt statement
Jonas-Kirchhoff Aug 11, 2025
f50c8d0
add missing full stops
Jonas-Kirchhoff Aug 11, 2025
a5b6964
Fix stress-test
Jonas-Kirchhoff Aug 11, 2025
f715a46
fix Fix of unit-arrays.cpp
Jonas-Kirchhoff Aug 11, 2025
ba8d7ce
add parse test
Jonas-Kirchhoff Aug 11, 2025
639d396
add parser_helper
Jonas-Kirchhoff Aug 11, 2025
e8b8fbf
fix type in parser_helper
Jonas-Kirchhoff Aug 11, 2025
eaff502
Fix parser_helper again.
Jonas-Kirchhoff Aug 11, 2025
8ccd7dc
rework unit-strings.cpp
Jonas-Kirchhoff Aug 11, 2025
7dafe2d
clean Unicode;unescaped unicode
Jonas-Kirchhoff Aug 11, 2025
1c757ab
minor fix for fetch_json
Jonas-Kirchhoff Aug 11, 2025
f868ba7
change default path to unit-testsuites.cpp
Jonas-Kirchhoff Aug 11, 2025
75ce6bf
improve error handling
Jonas-Kirchhoff Aug 11, 2025
668fcc8
add SME scores for no-json-faults
Jonas-Kirchhoff Aug 12, 2025
11298ff
fix BOM tests
Jonas-Kirchhoff Aug 12, 2025
1116fd6
tweak BOM test
Jonas-Kirchhoff Aug 12, 2025
b37b701
adapt scores for number parsing
Jonas-Kirchhoff Aug 13, 2025
6e38847
add SME scores for no-parsing-faults
Jonas-Kirchhoff Aug 13, 2025
e44fb68
add max und min double
Jonas-Kirchhoff Aug 13, 2025
45203da
add improper UTF-16 surrogate pairs
Jonas-Kirchhoff Aug 13, 2025
fb3254e
adapt NJF-scores
Jonas-Kirchhoff Aug 13, 2025
b108780
add scores for throw-ill-formed-json
Jonas-Kirchhoff Aug 13, 2025
0bed7d8
add score for fuzz-testing
Jonas-Kirchhoff Aug 13, 2025
dbd4b3f
first draft of FunctionReference
Jonas-Kirchhoff Aug 13, 2025
44cf3a6
add custom FunctionReference
Jonas-Kirchhoff Aug 14, 2025
c1bb034
rename variables
Jonas-Kirchhoff Aug 14, 2025
8850eed
add test for correct unicode
Jonas-Kirchhoff Aug 14, 2025
7c0a50e
add completeness-and-error-freeness AOU
Jonas-Kirchhoff Aug 14, 2025
d3ea4e1
add assumption of static input
Jonas-Kirchhoff Aug 15, 2025
61d0670
add assumption of error-free hardware
Jonas-Kirchhoff Aug 15, 2025
f686136
Adapt AOU on faults
Jonas-Kirchhoff Aug 15, 2025
7f1843f
save AOU-26
Jonas-Kirchhoff Aug 15, 2025
2422884
add references to functions
Jonas-Kirchhoff Aug 15, 2025
18d202e
debug FunctionReference
Jonas-Kirchhoff Aug 15, 2025
07fa32c
adapt SME scores
Jonas-Kirchhoff Aug 15, 2025
6b8869c
adapt SME-scores for NPF
Jonas-Kirchhoff Aug 18, 2025
da5458f
adapt SME-scores for TIJ
Jonas-Kirchhoff Aug 18, 2025
a1190db
change location of function references
Jonas-Kirchhoff Aug 18, 2025
942a52b
actually save NPF-03.3
Jonas-Kirchhoff Aug 18, 2025
39745d1
introduce errors for testing purposes
Jonas-Kirchhoff Aug 18, 2025
67ff5cc
Merge remote-tracking branch 'origin/main' into add_SME_scores
Jonas-Kirchhoff Aug 18, 2025
51fef2a
fix duplication
Jonas-Kirchhoff Aug 18, 2025
49e2cde
remove super-many failures
Jonas-Kirchhoff Aug 18, 2025
300c4fb
fix duplication
Jonas-Kirchhoff Aug 18, 2025
a95b422
clean up function_references
Jonas-Kirchhoff Aug 18, 2025
2878a36
remove intentional failure
Jonas-Kirchhoff Aug 18, 2025
5663bf7
Merge remote-tracking branch 'origin/main' into add_SME_scores
Jonas-Kirchhoff Aug 18, 2025
51ca92b
remove duplication
Jonas-Kirchhoff Aug 18, 2025
62b5e96
adapt WebReference
Jonas-Kirchhoff Aug 18, 2025
68c4d5e
add website-validator
Jonas-Kirchhoff Aug 18, 2025
0a4c8aa
add validator for JLS-02
Jonas-Kirchhoff Aug 18, 2025
c70f68f
add website reference for JLS-04
Jonas-Kirchhoff Aug 18, 2025
6f8e4c7
remove un-necessary reference
Jonas-Kirchhoff Aug 19, 2025
a9bab82
propose validator for time-varying websites
Jonas-Kirchhoff Aug 19, 2025
2ce534e
Remove update_checker
Jonas-Kirchhoff Aug 19, 2025
4c42798
add time-varying website references
Jonas-Kirchhoff Aug 19, 2025
923b1d8
add AOU on changes
Jonas-Kirchhoff Aug 19, 2025
99addb6
extend documentation of references and validators
Jonas-Kirchhoff Aug 19, 2025
64f2754
add WebContentReference
Jonas-Kirchhoff Aug 19, 2025
300d78d
add references
Jonas-Kirchhoff Aug 19, 2025
2517fef
add forgotten quotation marks
Jonas-Kirchhoff Aug 19, 2025
f4ec3bd
add forgotten encoding
Jonas-Kirchhoff Aug 19, 2025
98f446e
add scoring in case of error
Jonas-Kirchhoff Aug 19, 2025
fa9332f
add reference
Jonas-Kirchhoff Aug 19, 2025
1230430
Merge remote-tracking branch 'origin/main' into add_SME_scores
Jonas-Kirchhoff Aug 19, 2025
badb8a2
fix mystery typo
Jonas-Kirchhoff Aug 19, 2025
4a59f70
adapt string-unit-test for valgrind
Jonas-Kirchhoff Aug 19, 2025
cb86a3a
Fix most stupid mistake
Jonas-Kirchhoff Aug 19, 2025
580b743
add conversion seconds to microseconds
Jonas-Kirchhoff Aug 20, 2025
01e7536
fix typo
Jonas-Kirchhoff Aug 20, 2025
337009f
remove un-necessary doubling
Jonas-Kirchhoff Aug 20, 2025
866f1d3
remove un-necessary duplicates
Jonas-Kirchhoff Aug 20, 2025
784753e
Merge remote-tracking branch 'origin/main' into add_SME_scores
Jonas-Kirchhoff Aug 20, 2025
6b510ae
fix issue with context nodes
Jonas-Kirchhoff Aug 21, 2025
b6c14f6
setup proof-of-concept data store interface
Jonas-Kirchhoff Aug 21, 2025
7d3869f
add temporary TSF-folder to gitignore
Jonas-Kirchhoff Aug 21, 2025
3aa6913
Merge branch 'add_SME_scores' into add_trudag_data_store
Jonas-Kirchhoff Aug 21, 2025
2f69fa8
save .dotstop.dot
Jonas-Kirchhoff Aug 25, 2025
94e1cd1
minor changes on trustable graph
Jonas-Kirchhoff Aug 25, 2025
b6623f5
add data_store as do-nothing
Jonas-Kirchhoff Aug 25, 2025
cf64773
add forgotten brackets
Jonas-Kirchhoff Aug 26, 2025
4601923
add data storage interface
Jonas-Kirchhoff Aug 26, 2025
57a81c9
remove un-necessary scripts
Jonas-Kirchhoff Aug 26, 2025
4557634
Merge remote-tracking branch 'origin/main' into add_trudag_data_store
Jonas-Kirchhoff Aug 26, 2025
b77cfdb
fix database paths
Jonas-Kirchhoff Aug 26, 2025
68cbced
add getter for historical data
Jonas-Kirchhoff Aug 26, 2025
3ee8319
generate persistent storage if it does not exist
Jonas-Kirchhoff Aug 26, 2025
52e0a6c
remove un-necessary import
Jonas-Kirchhoff Aug 26, 2025
d6afd20
add primitive JLS-references
Jonas-Kirchhoff Aug 26, 2025
eea67ca
remove un-necessary script
Jonas-Kirchhoff Aug 26, 2025
233754f
remove debug prints
Jonas-Kirchhoff Aug 27, 2025
07ee402
add pull
Jonas-Kirchhoff Aug 27, 2025
62ad06d
add missing reference to validator
Jonas-Kirchhoff Aug 27, 2025
2acfd5a
add validator
Jonas-Kirchhoff Aug 27, 2025
5108a75
fix typo
Jonas-Kirchhoff Aug 27, 2025
fdeda4c
Merge remote-tracking branch 'origin/main' into add_trudag_data_store
Jonas-Kirchhoff Aug 27, 2025
9a7bc0e
adapt library name
Jonas-Kirchhoff Aug 28, 2025
8041ee6
add test data storage possibility
Jonas-Kirchhoff Aug 29, 2025
9d36c8f
Merge remote-tracking branch 'origin' into test_data_storage
Jonas-Kirchhoff Aug 29, 2025
3caf23c
remove key issue
Jonas-Kirchhoff Aug 29, 2025
edfc7fe
adapt commit message & add fail-save for empty commit
Jonas-Kirchhoff Aug 29, 2025
ed59bbf
make skript nicer
Jonas-Kirchhoff Aug 29, 2025
fc91cd1
prepare Ubuntu artifact
Jonas-Kirchhoff Aug 29, 2025
d12dd7b
make Ubuntu artifact
Jonas-Kirchhoff Aug 29, 2025
6e216da
Fix typo
Jonas-Kirchhoff Aug 29, 2025
0288cd3
Fix stupid mistake?
Jonas-Kirchhoff Aug 29, 2025
e84fca5
remove debug message
Jonas-Kirchhoff Aug 29, 2025
548c17d
Merge remote-tracking branch 'origin' into test_data_storage
Jonas-Kirchhoff Aug 29, 2025
a833e9a
tweak permissions
Jonas-Kirchhoff Aug 29, 2025
8b8cae7
so better?
Jonas-Kirchhoff Aug 29, 2025
aefc02a
fix branch naming issue
Jonas-Kirchhoff Aug 29, 2025
545e1a6
Fix branch naming issue try 2
Jonas-Kirchhoff Sep 3, 2025
7dc173a
add missing space
Jonas-Kirchhoff Sep 3, 2025
30aeb3b
add test result data generation
Jonas-Kirchhoff Sep 3, 2025
73c3b75
Fix awfully wrong statement
Jonas-Kirchhoff Sep 3, 2025
2d79a1b
Fix copying mistake
Jonas-Kirchhoff Sep 3, 2025
41c8238
increase limit for test output
Jonas-Kirchhoff Sep 3, 2025
adb7d82
remove comma
Jonas-Kirchhoff Sep 3, 2025
dda320f
Merge remote-tracking branch 'origin/main' into test_data_storage
Jonas-Kirchhoff Sep 3, 2025
44ed200
add data_store_documentation
Jonas-Kirchhoff Sep 3, 2025
8c6f27f
add removal of obsolete data
Jonas-Kirchhoff Sep 3, 2025
88f41a0
increase captured data
Jonas-Kirchhoff Sep 3, 2025
4bd70c6
fix issue
Jonas-Kirchhoff Sep 3, 2025
ff7a07c
Add missing bracket
Jonas-Kirchhoff Sep 3, 2025
408ba3f
add missing spaces
Jonas-Kirchhoff Sep 3, 2025
0c96c0f
Remove AOU-26
Jonas-Kirchhoff Sep 4, 2025
a59081c
Fix non-sense test
Jonas-Kirchhoff Sep 4, 2025
ac297fb
init empty frame
Jonas-Kirchhoff Sep 4, 2025
11862f0
Merge remote-tracking branch 'origin/main' into new_test_validator
Jonas-Kirchhoff Sep 4, 2025
649703d
add test result checker
Jonas-Kirchhoff Sep 5, 2025
0b70cc8
test for skipped tests
Jonas-Kirchhoff Sep 8, 2025
10f7951
add test for non-existent test data
Jonas-Kirchhoff Sep 8, 2025
fab37fa
comment validators
Jonas-Kirchhoff Sep 8, 2025
e234a58
extend documentation
Jonas-Kirchhoff Sep 8, 2025
36374b2
document validator check_test_results()
Jonas-Kirchhoff Sep 8, 2025
9df3902
add version for date
Jonas-Kirchhoff Sep 8, 2025
a5df86e
clarify description
Jonas-Kirchhoff Sep 8, 2025
9955f45
Fix erroneous reference
Jonas-Kirchhoff Sep 9, 2025
5ae0cda
add automatic partial graph generator
Jonas-Kirchhoff Sep 9, 2025
904ee7e
add linking to plots in documentation
Jonas-Kirchhoff Sep 9, 2025
846762c
add linkage to report generator
Jonas-Kirchhoff Sep 9, 2025
4f92c61
revert changes for development purposes
Jonas-Kirchhoff Sep 10, 2025
07833be
Change JLEX into links
Jonas-Kirchhoff Sep 10, 2025
ddce246
reorder documentation
Jonas-Kirchhoff Sep 10, 2025
5a6ee8b
rework plotting
Jonas-Kirchhoff Sep 10, 2025
8121f80
adapt documentation generator to argument
Jonas-Kirchhoff Sep 10, 2025
2385e22
change link of top-top-layer node
Jonas-Kirchhoff Sep 10, 2025
55d1517
Merge remote-tracking branch 'origin/main' into new_test_validator
Jonas-Kirchhoff Sep 10, 2025
ee4fc93
Merge branch 'new_test_validator' into revision_1_JK
Jonas-Kirchhoff Sep 10, 2025
9926e0c
pin versions
Jonas-Kirchhoff Sep 10, 2025
f21b7ed
Fix broken grammar
Jonas-Kirchhoff Sep 10, 2025
e2e1991
add missing commata
Jonas-Kirchhoff Sep 10, 2025
64e801e
Merge remote-tracking branch 'origin/main' into revision_1_JK
Jonas-Kirchhoff Sep 10, 2025
9064600
Merge branch 'new_test_validator' into revision_1_JK
Jonas-Kirchhoff Sep 10, 2025
a8a667c
clarify role of input for shell scripts
Jonas-Kirchhoff Sep 10, 2025
6d6acec
change variable name
Jonas-Kirchhoff Sep 10, 2025
1fec33d
Fix missing variables
Jonas-Kirchhoff Sep 11, 2025
8caeb43
update trudag to version 2025.8.5
Jonas-Kirchhoff Sep 11, 2025
afde06b
Merge remote-tracking branch 'origin/main' into revision_1_JK
Jonas-Kirchhoff Sep 11, 2025
5d1a139
remove unused code
Jonas-Kirchhoff Sep 11, 2025
9d3a564
rework partial graph plotting
Jonas-Kirchhoff Sep 12, 2025
e951538
fix naming issue
Jonas-Kirchhoff Sep 15, 2025
17b0f60
add even more unique naming
Jonas-Kirchhoff Sep 15, 2025
e370e1d
Merge remote-tracking branch 'origin/main' into revision_1_JK
Jonas-Kirchhoff Sep 15, 2025
6735959
remove accidental duplication
Jonas-Kirchhoff Sep 15, 2025
bbfa1e8
remove another accidental duplication
Jonas-Kirchhoff Sep 15, 2025
42f4e42
fix paths forever
Jonas-Kirchhoff Sep 15, 2025
18385ba
Merge remote-tracking branch 'origin/main' into revision_1_JK
Jonas-Kirchhoff Sep 15, 2025
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion TSF/scripts/plot_partial_graphs.py
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@ def get_my_url(vertex: str, base_url: str, full_graph: TrustableGraph) -> str:
if vertex in full_graph._graph.leaf_nodes():
return base_url+"/generated/"+full_graph.get_item(vertex).document+".html#"+vertex.lower()
else:
return base_url+"/_images/"+vertex+".svg"
return base_url+"/_images/custom_"+vertex+"_graph.svg"

def get_pydot_graph(vertices: list[str], edges: list[tuple[str,str]]) -> PydotGraph:
graph = "digraph G {"
Expand Down