Issue #1167: Check for FIXUP commits

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

Closed senier closed 2 years ago

senier commented 2 years ago

Closes #1167

senier commented 2 years ago

Rebased to main and squashed FIXUP commits. @jklmnn Please resolve the conversion when your OK with the result.