Logo
Explore Help
Sign In
ada/RecordFlux
0
0
Fork 0
You've already forked RecordFlux
mirror of https://github.com/AdaCore/RecordFlux.git synced 2026-02-12 13:01:56 -08:00
Code Issues Packages Projects Releases Wiki Activity
Files
devel
RecordFlux/tools
History
Corentin Machu 5ae569e41d Add rust attribute order check tool
Ref. eng/recordflux/RecordFlux#1678
2024-06-19 10:43:21 +02:00
..
__init__.py
Remove unnecessary special handling of large fields
2021-01-04 13:31:12 +01:00
benchmark.py
Simplify benchmark tool
2024-05-30 17:15:21 +02:00
check_doc.py
Update Python code to use new error messages
2024-05-24 16:04:52 +02:00
check_grammar.py
Update Python code to use new error messages
2024-05-24 16:04:52 +02:00
check_requirements.py
Adapt code to ruff's T20 rules
2023-08-15 11:28:49 +02:00
check_rust_attributes.py
Add rust attribute order check tool
2024-06-19 10:43:21 +02:00
check_unit_test_file_coverage.py
Allow ignoring subdirectories in unit test file coverage check
2024-06-06 15:36:23 +00:00
extract_packets.py
Update devutils
2024-03-22 16:18:23 +01:00
fuzz_driver.py
Update Python code to use new error messages
2024-05-24 16:04:52 +02:00
generate_spark_test_code.py
Improve testing of code generator
2024-04-12 19:15:55 +02:00
generate_spark_test_runner.py
Adapt code to ruff's T20 rules
2023-08-15 11:28:49 +02:00
gnatprove
Ensure non-zero exit code for GNATprove in case of checks, warnings or errors
2022-11-30 10:42:37 +01:00
pre-commit
Add pre-commit and pre-push hook
2022-06-22 16:00:13 +02:00
pre-push
Add pre-commit and pre-push hook
2022-06-22 16:00:13 +02:00
rflxlexer.py
Update Python code to use new error messages
2024-05-24 16:04:52 +02:00
Powered by Gitea Page: 877ms Template: 33ms
English
English
Licenses API