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
main
RecordFlux/tests/unit/generator
History
Alexander Senier a58fd42833 Implement license header through context items
Ref. eng/recordflux/RecordFlux#1659
2024-12-03 12:48:01 +00:00
..
__init__.py
Add optimizer for generated SPARK code
2024-02-28 09:00:35 +00:00
allocator_test.py
Improve representation of locations
2024-11-04 17:26:51 +00:00
common_test.py
Implement license header through context items
2024-12-03 12:48:01 +00:00
const_test.py
Restructure unit tests
2024-07-03 12:45:41 +03:00
generator_test.py
Use parsed template models for code generation
2024-12-03 12:48:01 +00:00
message_test.py
Restructure unit tests
2024-07-03 12:45:41 +03:00
optimizer_test.py
Add support for project files to code optimizer
2024-08-29 14:43:33 +00:00
parser_test.py
Restructure unit tests
2024-07-03 12:45:41 +03:00
serializer_test.py
Restructure unit tests
2024-07-03 12:45:41 +03:00
state_machine_test.py
Replace prefix parameter by constant prefix
2024-12-03 12:48:01 +00:00
Powered by Gitea Page: 194ms Template: 10ms
English
English
Licenses API