Issues

• Generated code for FSM has restriction No_Streams but no tagged type

  AdaCore/RecordFlux#1310 · Filter by author mgrojo opened on Aug 18, 2025
  1

• [Bug] rflx generate aborts with a bug box

  bug
  AdaCore/RecordFlux#1309 · Filter by author mgrojo opened on Jun 23, 2025
  2

• Feature request: transition between states due to timeout

  AdaCore/RecordFlux#1308 · Filter by author mgrojo opened on Jan 11, 2025
  3

• Processing/iterating a sequence in a session

  AdaCore/RecordFlux#1302 · Filter by author NickFoubert opened on Sep 4, 2024
  3

• KeyError: 'data' converting IANA Constrained RESTful Environments (CoRE) Parameters

  bug
  AdaCore/RecordFlux#1297 · Filter by author mgrojo opened on Jun 1, 2024
  4

• Bug when comparing opaque values

  bug
  AdaCore/RecordFlux#1294 · Filter by author NickFoubert opened on Dec 5, 2023
  2

• Problems trying to specify HDLC

  AdaCore/RecordFlux#1288 · Filter by author ThyMYthOS opened on Apr 8, 2023
  1

• Refactoring of expressions

  modelrefactoring
  AdaCore/RecordFlux#1287 · Filter by author jklmnn opened on Jan 13, 2023
  4

  

• C code generator

  generator
  AdaCore/RecordFlux#1286 · Filter by author jklmnn opened on Jan 11, 2023
  

• Scalar types represented by complex structure

  generatormodelspecification
  AdaCore/RecordFlux#1254 · Filter by author treiher opened on Nov 10, 2022

• Shorter syntax for integer types covering entire value range

  architectural decisionspecification
  AdaCore/RecordFlux#1250 · Filter by author treiher opened on Nov 8, 2022

• Include expression type into expression comparison

  bugmodelrefactoringsmall
  AdaCore/RecordFlux#1236 · Filter by author jklmnn opened on Oct 25, 2022

• Use statically determined field locations in SPARK code

  generator
  AdaCore/RecordFlux#1229 · Filter by author treiher opened on Oct 11, 2022

• Statically determine field locations in message model

  model
  AdaCore/RecordFlux#1228 · Filter by author treiher opened on Oct 11, 2022

• Move check for illegal redefinition of built-in types into model

  refactoringsmall
  AdaCore/RecordFlux#1208 · Filter by author treiher opened on Oct 4, 2022

• Refactor unit tests for cli module

  refactoringtesting
  AdaCore/RecordFlux#1207 · Filter by author treiher opened on Sep 29, 2022

• Code optimization options

  architectural decision
  AdaCore/RecordFlux#1171 · Filter by author jklmnn opened on Aug 31, 2022

• Create project overview in development guide

  documentation
  AdaCore/RecordFlux#1166 · Filter by author senier opened on Aug 30, 2022

• Empty opaque value in function call detected as list comprehension

  bugspecification
  AdaCore/RecordFlux#1146 · Filter by author jklmnn opened on Aug 19, 2022

• Delta message aggregate with assignment from 'Opaque generates invalid code

  buggenerator
  AdaCore/RecordFlux#1141 · Filter by author jklmnn opened on Aug 18, 2022

• Prevent unnecessary checks in session states

  architectural decisiongenerator
  AdaCore/RecordFlux#1131 · Filter by author treiher opened on Aug 9, 2022
  1

• Invalid code generation for global enum with Always_Valid => True

  buggenerator
  AdaCore/RecordFlux#1123 · Filter by author jklmnn opened on Jul 27, 2022

• Refactor checking of properties in session generator

  generatorrefactoring
  AdaCore/RecordFlux#1122 · Filter by author treiher opened on Jul 27, 2022

• Check field conditions when creating or modifying messages

  generator
  AdaCore/RecordFlux#1121 · Filter by author treiher opened on Jul 27, 2022

• Remove intermediate assertions from example code

  bug
  AdaCore/RecordFlux#1086 · Filter by author kanigsson opened on Jun 27, 2022