CS 260r 2017 L12: Verdi (3/6)
The Figure 10 sequence numbering transformer depends on “int” (
). Would it be possible to use CompCert’s “int32” or “int64” instead? How would the proof need to change?
Never submit passwords through Google Forms.
This form was created inside of Google Apps for Harvard.
Terms of Service