issues
search
AdaCore
/
RecordFlux
Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
Apache License 2.0
104
stars
6
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Issue 1137: Add checking of config file format for feature tests
#1139
treiher
closed
2 years ago
0
Fix broken check on list comprehensions with head attribute
#1138
jklmnn
closed
2 years ago
0
Check format of config files for feature tests
#1137
treiher
closed
2 years ago
0
Issue 1135: Add timeout of one hour for each Python test case
#1136
treiher
closed
2 years ago
0
Nightly tests sometimes exceed maximum execution time
#1135
treiher
closed
1 year ago
4
Issue 1120, 1133: Optimize consecutive message field assignments and fix several bugs
#1134
treiher
closed
2 years ago
0
Assignments to message fields with invalid field name
#1133
treiher
closed
2 years ago
0
Invalid handling of buffers of sequence copies
#1132
treiher
closed
2 years ago
0
Prevent unnecessary checks in session states
#1131
treiher
opened
2 years ago
1
Non-null state accepted as final state
#1130
treiher
closed
2 years ago
3
Issue 880: Fix documentation code block checking
#1129
senier
closed
2 years ago
1
Issue 1115: Optimize sequence comprehension 'Head
#1128
jklmnn
closed
2 years ago
1
Remove testing with ada-runtime
#1127
jklmnn
closed
2 years ago
0
RFLX.RFLX_Types.Operators package
#1126
jklmnn
closed
2 years ago
3
Issue 1124: Fix use of unintended FSF GNAT version in CI
#1125
treiher
closed
2 years ago
0
Runtime compatibility check fails in CI
#1124
treiher
closed
2 years ago
0
Invalid code generation for global enum with Always_Valid => True
#1123
jklmnn
opened
2 years ago
0
Refactor checking of properties in session generator
#1122
treiher
opened
2 years ago
0
Check field conditions when creating or modifying messages
#1121
treiher
opened
2 years ago
0
Optimize consecutive message field assignments
#1120
treiher
closed
2 years ago
0
Issue 1002: Add possiblity to generate HTML documentation using Sphinx
#1119
treiher
closed
2 years ago
0
Adapt requirements script to reStructuredText format
#1118
treiher
closed
2 years ago
1
Support newer GNAT versions
#1117
jklmnn
closed
2 years ago
1
Support new versions of GNAT
#1116
jklmnn
closed
2 years ago
0
Optimize sequence comprehension 'Head
#1115
jklmnn
closed
2 years ago
1
Optimize messages if only fields are used
#1114
jklmnn
closed
2 years ago
4
Issue 908: Improve binary size (part 7)
#1113
treiher
closed
2 years ago
0
Issue 908: Improve binary size (part 6)
#1112
treiher
closed
2 years ago
0
Issue 1107: Add checking of minimum required versions
#1111
treiher
closed
2 years ago
0
Assigning a multiplication of 'Size to a variable generates uncompilable code
#1110
jklmnn
closed
2 years ago
1
Unnamed boolean arguments not found by `pylint` plugin
#1109
treiher
closed
2 years ago
0
Issue 400: Improve graph generation
#1108
senier
closed
2 years ago
0
Source distribution broken
#1107
senier
closed
2 years ago
12
Issue 691: Preparations
#1106
treiher
closed
2 years ago
0
Issue 1104: Fix missing type check for arguments of parameterized messages
#1105
treiher
closed
2 years ago
0
Regression in enum resolving in pyrflx
#1104
jklmnn
closed
2 years ago
0
Change format of references to issues
#1103
treiher
closed
2 years ago
0
Add postcondition to setter procedures about Field_First
#1102
kanigsson
closed
2 years ago
1
Difficult proofs with setter functions for opaque fields
#1101
kanigsson
closed
2 years ago
0
Issue 903: Deduplication of generated code in tests
#1100
treiher
closed
2 years ago
0
Issue 1003: Determine package version based on SCM metadata
#1099
treiher
closed
2 years ago
1
Issue #1092: add testcase
#1098
kanigsson
closed
2 years ago
0
Issue 907: Case expressions
#1097
senier
closed
2 years ago
0
Issue 1095: enrich postcondition of Set_Scalar
#1096
kanigsson
closed
2 years ago
0
Parameterized messages lead to unprovable VCs
#1095
kanigsson
closed
2 years ago
0
Update development tools and fix edge tests
#1094
treiher
closed
2 years ago
0
Add loop invariant to loop of Verify_Message
#1093
kanigsson
closed
2 years ago
3
Missing Loop Invariant in Verify_Message
#1092
kanigsson
closed
2 years ago
0
Issue 995: Fix unprovable VC for available space
#1091
kanigsson
closed
2 years ago
0
Fix and simplify message proofs
#1090
senier
closed
10 months ago
1
Previous
Next