Tobias Reiher d13da982a2 Remove useless with clauses and use clauses ...

Ref. eng/recordflux/RecordFlux#1864

2026-01-07 15:41:21 +01:00

..

generated

Add implicit elements in named aggregates as alternative to box notation

2024-12-10 16:42:37 +01:00

Makefile

Rename Session to State Machine

2024-09-11 08:50:18 +00:00

rflx-builtin_types_tests.adb

Pass bytes array directly instead of pointer type

2024-01-26 01:45:15 +00:00

rflx-builtin_types_tests.ads

…

rflx-custom_types_tests.adb

Improve binary size by using common integer in message contexts

2022-03-25 10:15:59 +01:00

rflx-custom_types_tests.ads

…

rflx-derivation_tests.adb

Remove useless with clauses and use clauses

2026-01-07 15:41:21 +01:00

rflx-derivation_tests.ads

…

rflx-enumeration_tests.adb

Remove useless with clauses and use clauses

2026-01-07 15:41:21 +01:00

rflx-enumeration_tests.ads

…

rflx-ethernet_tests.adb

Remove useless with clauses and use clauses

2026-01-07 15:41:21 +01:00

rflx-ethernet_tests.ads

…

rflx-expression_tests.adb

Remove useless with clauses and use clauses

2026-01-07 15:41:21 +01:00

rflx-expression_tests.ads

…

rflx-fixed_size_tests.adb

Remove useless with clauses and use clauses

2026-01-07 15:41:21 +01:00

rflx-fixed_size_tests.ads

…

rflx-in_ethernet_tests.adb

Remove useless with clauses and use clauses

2026-01-07 15:41:21 +01:00

rflx-in_ethernet_tests.ads

…

rflx-in_ipv4_tests.adb

Remove useless with clauses and use clauses

2026-01-07 15:41:21 +01:00

rflx-in_ipv4_tests.ads

…

rflx-in_tlv_tests.adb

Remove useless with clauses and use clauses

2026-01-07 15:41:21 +01:00

rflx-in_tlv_tests.ads

…

rflx-ipv4_tests.adb

Remove useless with clauses and use clauses

2026-01-07 15:41:21 +01:00

rflx-ipv4_tests.ads

…

rflx-sequence_tests.adb

Remove useless with clauses and use clauses

2026-01-07 15:41:21 +01:00

rflx-sequence_tests.ads

…

rflx-tlv_tests.adb

Remove useless with clauses and use clauses

2026-01-07 15:41:21 +01:00

rflx-tlv_tests.ads

…

spark-assertions.adb

…

spark-assertions.ads

Various changes to SPARK annotations for Always_Terminates

2023-08-29 11:28:37 +02:00

spark-file_io.adb

…

spark-file_io.ads

…

spark.ads

…

test_builtin_types.adb

…

test_custom_types.adb

…

test_derivation.adb

…

test_enumeration.adb

…

test_ethernet.adb

…

test_expression.adb

…

test_fixed_size.adb

…

test_in_ethernet.adb

…

test_in_ipv4.adb

…

test_in_tlv.adb

…

test_ipv4.adb

…

test_sequence.adb

…

test_tlv.adb

…

test.adb

…

test.gpr

Remove last occurrence of cvc4

2023-12-05 00:04:53 +00:00