search

AdaCore / RecordFlux

Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
Apache License 2.0
107 stars 7 forks source link

Use statically determined field locations in SPARK code #1229

Open treiher opened 2 years ago

treiher commented 2 years ago

Objectives

Depends on #1228