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
issue_8
RecordFlux/tests/integration
History
Tobias Reiher 1418871f47 Prevent warnings about unused variables 
Ref. #1256
2022-11-30 10:42:37 +01:00
..
messages
Move type operations to separate child package
2022-10-06 15:39:07 +02:00
messages_with_implict_size
Rename Structural_Valid to Well_Formed
2022-11-07 10:47:19 +01:00
messages_with_single_opaque_field
Prevent warnings about unused variables
2022-11-30 10:42:37 +01:00
parameterized_messages
Prevent warnings about unused variables
2022-11-30 10:42:37 +01:00
session_append_unconstrained
Rename Structural_Valid to Well_Formed
2022-11-07 10:47:19 +01:00
session_binding
Rename Structural_Valid to Well_Formed
2022-11-07 10:47:19 +01:00
session_case_expression_aggregate
Remove modular integer types
2022-11-08 12:59:08 +01:00
session_case_expression_numeric
Prevent warnings about unused variables
2022-11-30 10:42:37 +01:00
session_channel_multiplexing
Rename Structural_Valid to Well_Formed
2022-11-07 10:47:19 +01:00
session_channels
Rename Structural_Valid to Well_Formed
2022-11-07 10:47:19 +01:00
session_comprehension_head
Rename Structural_Valid to Well_Formed
2022-11-07 10:47:19 +01:00
session_comprehension_on_message_field
Rename Structural_Valid to Well_Formed
2022-11-07 10:47:19 +01:00
session_comprehension_on_sequence
Rename Structural_Valid to Well_Formed
2022-11-07 10:47:19 +01:00
session_conversion
Rename Structural_Valid to Well_Formed
2022-11-07 10:47:19 +01:00
session_endianness
Prevent warnings about unused variables
2022-11-30 10:42:37 +01:00
session_functions
Prevent warnings about unused variables
2022-11-30 10:42:37 +01:00
session_functions_opaque
Rename Structural_Valid to Well_Formed
2022-11-07 10:47:19 +01:00
session_integration
Rename Structural_Valid to Well_Formed
2022-11-07 10:47:19 +01:00
session_integration_multiple
Move type operations to separate child package
2022-10-06 15:39:07 +02:00
session_message_optimization
Prevent warnings about unused variables
2022-11-30 10:42:37 +01:00
session_minimal
Rename Structural_Valid to Well_Formed
2022-11-07 10:47:19 +01:00
session_reuse_of_message
Rename Structural_Valid to Well_Formed
2022-11-07 10:47:19 +01:00
session_sequence_append
Rename Structural_Valid to Well_Formed
2022-11-07 10:47:19 +01:00
session_sequence_append_head
Prevent warnings about unused variables
2022-11-30 10:42:37 +01:00
session_setting_of_message_fields
Rename Structural_Valid to Well_Formed
2022-11-07 10:47:19 +01:00
session_simple
Rename Structural_Valid to Well_Formed
2022-11-07 10:47:19 +01:00
session_variable_initialization
Remove modular integer types
2022-11-08 12:59:08 +01:00
shared
Prevent warnings about unused variables
2022-11-30 10:42:37 +01:00
__init__.py
Consider types and enumeration literals in sessions
2020-10-09 15:18:52 +02:00
benchmark.py
Replace types deprecated by PEP 585
2022-10-05 17:00:30 +02:00
feature_test.py
Replace types deprecated by PEP 585
2022-10-05 17:00:30 +02:00
pyrflx_test.py
Replace types deprecated by PEP 585
2022-10-05 17:00:30 +02:00
specification_model_generator_test.py
Fix tests that contain statically true conditions
2022-11-24 16:00:05 +01:00
specification_model_test.py
Remove modular integer types
2022-11-08 12:59:08 +01:00
specs_test.py
Change format of references to issues
2022-07-11 15:26:31 +02:00