Update proofs for `nerv-self-test` branch - Githubissues

GaloisInc / HARDENS

Repository for the HARDENS project

Apache License 2.0

17 stars 1 forks source link

Update proofs for `nerv-self-test` branch #103

Closed abakst closed 2 years ago

abakst commented 2 years ago

Some small tweaks:

Rearrange some extern declarations
Fix a compiler warning
Fix include paths for frama-c
Add some loop annotations to repair some specs.