Search results

Feature request: transition between states due to timeout

Status: Open.

#1308 In AdaCore/RecordFlux;

· mgrojo opened on Jan 11, 2025

Processing/iterating a sequence in a session

Status: Open.

#1302 In AdaCore/RecordFlux;

· NickFoubert opened on Sep 4, 2024

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

bug

Status: Open.

#1297 In AdaCore/RecordFlux;

· mgrojo opened on Jun 1, 2024

Bug when comparing opaque values

bug

Status: Open.

#1294 In AdaCore/RecordFlux;

· NickFoubert opened on Dec 5, 2023

Problems trying to specify HDLC

Status: Open.

#1288 In AdaCore/RecordFlux;

· ThyMYthOS opened on Apr 8, 2023

Refactoring of expressions

modelRelated to model package (e.g., model verification)Related to model package (e.g., model verification)

refactoring

Status: Open.

#1287 In AdaCore/RecordFlux;

· jklmnn opened on Jan 13, 2023

C code generator

generatorRelated to generator package (SPARK code generation)Related to generator package (SPARK code generation)

Status: Open.

#1286 In AdaCore/RecordFlux;

· jklmnn opened on Jan 11, 2023

Scalar types represented by complex structure

generatorRelated to generator package (SPARK code generation)Related to generator package (SPARK code generation)

modelRelated to model package (e.g., model verification)Related to model package (e.g., model verification)

specificationRelated to specification package (e.g., specification parsing)Related to specification package (e.g., specification parsing)

Status: Open.

#1254 In AdaCore/RecordFlux;

· treiher opened on Nov 10, 2022

Shorter syntax for integer types covering entire value range

architectural decisionDiscussion of design decisionDiscussion of design decision

specificationRelated to specification package (e.g., specification parsing)Related to specification package (e.g., specification parsing)

Status: Open.

#1250 In AdaCore/RecordFlux;

· treiher opened on Nov 8, 2022

Include expression type into expression comparison

bug

modelRelated to model package (e.g., model verification)Related to model package (e.g., model verification)

refactoring

smallEffort of one person-day or lessEffort of one person-day or less

Status: Open.

#1236 In AdaCore/RecordFlux;

· jklmnn opened on Oct 25, 2022

Use statically determined field locations in SPARK code

generatorRelated to generator package (SPARK code generation)Related to generator package (SPARK code generation)

Status: Open.

#1229 In AdaCore/RecordFlux;

· treiher opened on Oct 11, 2022

Statically determine field locations in message model

modelRelated to model package (e.g., model verification)Related to model package (e.g., model verification)

Status: Open.

#1228 In AdaCore/RecordFlux;

· treiher opened on Oct 11, 2022