ada/RecordFlux
0
0
Fork 0
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/spark/generated
History
Tobias Reiher 83044b7732 Add implicit elements in named aggregates as alternative to box notation 
Ref. eng/recordflux/RecordFlux#1832
2024-12-10 16:42:37 +01:00
..
rflx-derivation-message.adb
Add implicit elements in named aggregates as alternative to box notation
2024-12-10 16:42:37 +01:00
rflx-derivation-message.ads
Ensure all generated files have a final newline
2024-12-03 12:48:01 +00:00
rflx-derivation.ads
Ensure all generated files have a final newline
2024-12-03 12:48:01 +00:00
rflx-enumeration-message.adb
Add implicit elements in named aggregates as alternative to box notation
2024-12-10 16:42:37 +01:00
rflx-enumeration-message.ads
Ensure all generated files have a final newline
2024-12-03 12:48:01 +00:00
rflx-enumeration.ads
Ensure all generated files have a final newline
2024-12-03 12:48:01 +00:00
rflx-ethernet-frame.adb
Add implicit elements in named aggregates as alternative to box notation
2024-12-10 16:42:37 +01:00
rflx-ethernet-frame.ads
Ensure all generated files have a final newline
2024-12-03 12:48:01 +00:00
rflx-ethernet.ads
Ensure all generated files have a final newline
2024-12-03 12:48:01 +00:00
rflx-expression-message.adb
Add implicit elements in named aggregates as alternative to box notation
2024-12-10 16:42:37 +01:00
rflx-expression-message.ads
Ensure all generated files have a final newline
2024-12-03 12:48:01 +00:00
rflx-expression.ads
Ensure all generated files have a final newline
2024-12-03 12:48:01 +00:00
rflx-fixed_size-simple_message.adb
Add implicit elements in named aggregates as alternative to box notation
2024-12-10 16:42:37 +01:00
rflx-fixed_size-simple_message.ads
Ensure all generated files have a final newline
2024-12-03 12:48:01 +00:00
rflx-fixed_size.ads
Ensure all generated files have a final newline
2024-12-03 12:48:01 +00:00
rflx-icmp-message.adb
Add implicit elements in named aggregates as alternative to box notation
2024-12-10 16:42:37 +01:00
rflx-icmp-message.ads
Ensure all generated files have a final newline
2024-12-03 12:48:01 +00:00
rflx-icmp.ads
Ensure all generated files have a final newline
2024-12-03 12:48:01 +00:00
rflx-in_ethernet-contains.adb
Keep "is" keyword on same line if no aspects are present
2024-12-03 12:48:01 +00:00
rflx-in_ethernet-contains.ads
Ensure all generated files have a final newline
2024-12-03 12:48:01 +00:00
rflx-in_ethernet.ads
Ensure all generated files have a final newline
2024-12-03 12:48:01 +00:00
rflx-in_ipv4-contains.adb
Keep "is" keyword on same line if no aspects are present
2024-12-03 12:48:01 +00:00
rflx-in_ipv4-contains.ads
Ensure all generated files have a final newline
2024-12-03 12:48:01 +00:00
rflx-in_ipv4.ads
Ensure all generated files have a final newline
2024-12-03 12:48:01 +00:00
rflx-in_tlv-contains.ads
Ensure all generated files have a final newline
2024-12-03 12:48:01 +00:00
rflx-in_tlv.ads
Ensure all generated files have a final newline
2024-12-03 12:48:01 +00:00
rflx-ipv4-option.adb
Add implicit elements in named aggregates as alternative to box notation
2024-12-10 16:42:37 +01:00
rflx-ipv4-option.ads
Ensure all generated files have a final newline
2024-12-03 12:48:01 +00:00
rflx-ipv4-options.ads
Ensure all generated files have a final newline
2024-12-03 12:48:01 +00:00
rflx-ipv4-packet.adb
Add implicit elements in named aggregates as alternative to box notation
2024-12-10 16:42:37 +01:00
rflx-ipv4-packet.ads
Ensure all generated files have a final newline
2024-12-03 12:48:01 +00:00
rflx-ipv4.ads
Ensure all generated files have a final newline
2024-12-03 12:48:01 +00:00
rflx-null_msg.ads
Ensure all generated files have a final newline
2024-12-03 12:48:01 +00:00
rflx-rflx_arithmetic.adb
Keep "is" keyword on same line if no aspects are present
2024-12-03 12:48:01 +00:00
rflx-rflx_arithmetic.ads
Ensure all generated files have a final newline
2024-12-03 12:48:01 +00:00
rflx-rflx_builtin_types-conversions.ads
Ensure all generated files have a final newline
2024-12-03 12:48:01 +00:00
rflx-rflx_builtin_types.ads
Ensure all generated files have a final newline
2024-12-03 12:48:01 +00:00
rflx-rflx_generic_types-generic_operations.adb
Keep "is" keyword on same line if no aspects are present
2024-12-03 12:48:01 +00:00
rflx-rflx_generic_types-generic_operations.ads
Ensure all generated files have a final newline
2024-12-03 12:48:01 +00:00
rflx-rflx_generic_types-generic_operators.ads
Ensure all generated files have a final newline
2024-12-03 12:48:01 +00:00
rflx-rflx_generic_types.ads
Ensure all generated files have a final newline
2024-12-03 12:48:01 +00:00
rflx-rflx_message_sequence.adb
Keep "is" keyword on same line if no aspects are present
2024-12-03 12:48:01 +00:00
rflx-rflx_message_sequence.ads
Ensure all generated files have a final newline
2024-12-03 12:48:01 +00:00
rflx-rflx_scalar_sequence.adb
Keep "is" keyword on same line if no aspects are present
2024-12-03 12:48:01 +00:00
rflx-rflx_scalar_sequence.ads
Ensure all generated files have a final newline
2024-12-03 12:48:01 +00:00
rflx-rflx_types-operations.ads
Ensure all generated files have a final newline
2024-12-03 12:48:01 +00:00
rflx-rflx_types-operators.ads
Ensure all generated files have a final newline
2024-12-03 12:48:01 +00:00
rflx-rflx_types.ads
Ensure all generated files have a final newline
2024-12-03 12:48:01 +00:00
rflx-sequence-av_enumeration_vector.ads
Ensure all generated files have a final newline
2024-12-03 12:48:01 +00:00
rflx-sequence-enumeration_vector.ads
Ensure all generated files have a final newline
2024-12-03 12:48:01 +00:00
rflx-sequence-inner_message.adb
Add implicit elements in named aggregates as alternative to box notation
2024-12-10 16:42:37 +01:00
rflx-sequence-inner_message.ads
Ensure all generated files have a final newline
2024-12-03 12:48:01 +00:00
rflx-sequence-inner_messages.ads
Ensure all generated files have a final newline
2024-12-03 12:48:01 +00:00
rflx-sequence-integer_vector.ads
Ensure all generated files have a final newline
2024-12-03 12:48:01 +00:00
rflx-sequence-message.adb
Add implicit elements in named aggregates as alternative to box notation
2024-12-10 16:42:37 +01:00
rflx-sequence-message.ads
Ensure all generated files have a final newline
2024-12-03 12:48:01 +00:00
rflx-sequence-messages_message.adb
Add implicit elements in named aggregates as alternative to box notation
2024-12-10 16:42:37 +01:00
rflx-sequence-messages_message.ads
Ensure all generated files have a final newline
2024-12-03 12:48:01 +00:00
rflx-sequence-sequence_size_defined_by_message_size.adb
Add implicit elements in named aggregates as alternative to box notation
2024-12-10 16:42:37 +01:00
rflx-sequence-sequence_size_defined_by_message_size.ads
Ensure all generated files have a final newline
2024-12-03 12:48:01 +00:00
rflx-sequence.ads
Ensure all generated files have a final newline
2024-12-03 12:48:01 +00:00
rflx-tlv-message.adb
Add implicit elements in named aggregates as alternative to box notation
2024-12-10 16:42:37 +01:00
rflx-tlv-message.ads
Ensure all generated files have a final newline
2024-12-03 12:48:01 +00:00
rflx-tlv.ads
Ensure all generated files have a final newline
2024-12-03 12:48:01 +00:00
rflx-udp-datagram.adb
Add implicit elements in named aggregates as alternative to box notation
2024-12-10 16:42:37 +01:00
rflx-udp-datagram.ads
Ensure all generated files have a final newline
2024-12-03 12:48:01 +00:00
rflx-udp.ads
Ensure all generated files have a final newline
2024-12-03 12:48:01 +00:00
rflx-universal.ads
Ensure all generated files have a final newline
2024-12-03 12:48:01 +00:00
rflx.ads
Keep "is" keyword on same line if no aspects are present
2024-12-03 12:48:01 +00:00