Search results

Improve performance by reimplementation

architectural decisionDiscussion of design decisionDiscussion of design decision

topicLarge feature/changeLarge feature/change

Status: Open.

#1000 In AdaCore/RecordFlux;

· treiher opened on Apr 27, 2022

Implement simulator

architectural decisionDiscussion of design decisionDiscussion of design decision

simulatorRelated to simulator package (Python API)Related to simulator package (Python API)

topicLarge feature/changeLarge feature/change

Status: Open.

#873 In AdaCore/RecordFlux;

· senier opened on Dec 9, 2021

Improve error messages

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)

topicLarge feature/changeLarge feature/change

Status: Open.

#774 In AdaCore/RecordFlux;

· treiher opened on Sep 20, 2021

Traceability of generated code

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

topicLarge feature/changeLarge feature/change

Status: Open.

#671 In AdaCore/RecordFlux;

· treiher opened on May 27, 2021

GPR integration

topicLarge feature/changeLarge feature/change

Status: Open.

#640 In AdaCore/RecordFlux;

· treiher opened on Apr 8, 2021

Graphical representation of messages and sessions

topicLarge feature/changeLarge feature/change

Status: Open.

#637 In AdaCore/RecordFlux;

· treiher opened on Apr 1, 2021

Automatic code formatting

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

topicLarge feature/changeLarge feature/change

Status: Open.

#636 In AdaCore/RecordFlux;

· treiher opened on Apr 1, 2021

IDE

topicLarge feature/changeLarge feature/change

Status: Open.

#635 In AdaCore/RecordFlux;

· treiher opened on Apr 1, 2021

Enhanced verification of session model

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

topicLarge feature/changeLarge feature/change

Status: Open.

#634 In AdaCore/RecordFlux;

· treiher opened on Apr 1, 2021

Verification of session model

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

topicLarge feature/changeLarge feature/change

Status: Open.

#633 In AdaCore/RecordFlux;

· treiher opened on Apr 1, 2021

C binding

topicLarge feature/changeLarge feature/change

Status: Open.

#632 In AdaCore/RecordFlux;

· treiher opened on Apr 1, 2021

Hierarchical state machine for protocol sessions

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)

topicLarge feature/changeLarge feature/change

Status: Open.

#567 In AdaCore/RecordFlux;

· treiher opened on Feb 2, 2021