Search results

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

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

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

refactoring

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

Status: Open.

#1208 In AdaCore/RecordFlux;

· treiher opened on Oct 4, 2022

Refactor unit tests for <code>cli</code> module

refactoring

testing

Status: Open.

#1207 In AdaCore/RecordFlux;

· treiher opened on Sep 29, 2022

Refactor checking of properties in session generator

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

refactoring

Status: Open.

#1122 In AdaCore/RecordFlux;

· treiher opened on Jul 27, 2022

Improve message API

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

refactoring

Status: Open.

#869 In AdaCore/RecordFlux;

· treiher opened on Dec 7, 2021

Enforce <code>Final</code> for module variables

refactoring

Status: Open.

#679 In AdaCore/RecordFlux;

· senier opened on Jun 17, 2021