-
Notifications
You must be signed in to change notification settings - Fork 7
Issues: AdaCore/RecordFlux
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
KeyError: 'data'
converting IANA Constrained RESTful Environments (CoRE) Parameters
bug
#1297
opened Jun 1, 2024 by
mgrojo
Refactoring of expressions
model
Related to model package (e.g., model verification)
refactoring
#1287
opened Jan 13, 2023 by
jklmnn
C code generator
generator
Related to generator package (SPARK code generation)
#1286
opened Jan 11, 2023 by
jklmnn
2 tasks
Scalar types represented by complex structure
generator
Related to generator package (SPARK code generation)
model
Related to model package (e.g., model verification)
specification
Related to specification package (e.g., specification parsing)
#1254
opened Nov 10, 2022 by
treiher
Shorter syntax for integer types covering entire value range
architectural decision
Discussion of design decision
specification
Related to specification package (e.g., specification parsing)
#1250
opened Nov 8, 2022 by
treiher
Include expression type into expression comparison
bug
model
Related to model package (e.g., model verification)
refactoring
small
Effort of one person-day or less
#1236
opened Oct 25, 2022 by
jklmnn
Use statically determined field locations in SPARK code
generator
Related to generator package (SPARK code generation)
#1229
opened Oct 11, 2022 by
treiher
Statically determine field locations in message model
model
Related to model package (e.g., model verification)
#1228
opened Oct 11, 2022 by
treiher
Move check for illegal redefinition of built-in types into model
refactoring
small
Effort of one person-day or less
#1208
opened Oct 4, 2022 by
treiher
Code optimization options
architectural decision
Discussion of design decision
#1171
opened Aug 31, 2022 by
jklmnn
Empty opaque value in function call detected as list comprehension
bug
specification
Related to specification package (e.g., specification parsing)
#1146
opened Aug 19, 2022 by
jklmnn
Delta message aggregate with assignment from 'Opaque generates invalid code
bug
generator
Related to generator package (SPARK code generation)
#1141
opened Aug 18, 2022 by
jklmnn
Prevent unnecessary checks in session states
architectural decision
Discussion of design decision
generator
Related to generator package (SPARK code generation)
#1131
opened Aug 9, 2022 by
treiher
Invalid code generation for global enum with Always_Valid => True
bug
generator
Related to generator package (SPARK code generation)
#1123
opened Jul 27, 2022 by
jklmnn
Refactor checking of properties in session generator
generator
Related to generator package (SPARK code generation)
refactoring
#1122
opened Jul 27, 2022 by
treiher
Check field conditions when creating or modifying messages
generator
Related to generator package (SPARK code generation)
#1121
opened Jul 27, 2022 by
treiher
Initialization of opaque fields with unknown size
architectural decision
Discussion of design decision
specification
Related to specification package (e.g., specification parsing)
#1084
opened Jun 23, 2022 by
jklmnn
Deactivation of style checks
architectural decision
Discussion of design decision
specification
Related to specification package (e.g., specification parsing)
#1079
opened Jun 20, 2022 by
treiher
Comments on generated session slots
generator
Related to generator package (SPARK code generation)
small
Effort of one person-day or less
#1078
opened Jun 20, 2022 by
jklmnn
Previous Next
ProTip!
Type g i on any issue or pull request to go back to the issue listing page.