RecordFlux
RecordFlux copied to clipboard

Published 20 hours ago •

Reame
Issues

Use statically determined field locations in SPARK code

Open treiher opened this issue 2 years ago • 0 comments

Objectives

Improve provability
Enable #107

Depends on #1228

Oct 11 '22 12:10 treiher