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
24-sustained
RecordFlux/tools
History
Alexander Senier a79edc25c3 Use lankit parser for syntax highlighting
Fixes eng/recordflux/RecordFlux#1290
2023-09-05 13:15:56 +00:00
..
__init__.py
Remove unnecessary special handling of large fields
2021-01-04 13:31:12 +01:00
benchmark.py
Adapt code to ruff's T20 rules
2023-08-15 11:28:49 +02:00
check_dependencies.py
Adapt code to ruff's T20 rules
2023-08-15 11:28:49 +02:00
check_doc.py
Use lankit parser for syntax highlighting
2023-09-05 13:15:56 +00:00
check_requirements.py
Adapt code to ruff's T20 rules
2023-08-15 11:28:49 +02:00
extract_packets.py
Adapt code to ruff's T20 rules
2023-08-15 11:28:49 +02:00
generate_spark_test_code.py
Fix test code generation
2023-09-04 18:25:31 +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
Use lankit parser for syntax highlighting
2023-09-05 13:15:56 +00:00
Powered by Gitea Page: 209ms Template: 15ms
English
English
Licenses API