Ignore:
Timestamp:
Feb 26, 2013, 7:37:41 PM (7 years ago)
Author:
garnier
Message:

Commit of current proof state for Clight to Cminor translation.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/Clight/Clight_abstract.ma

    r2677 r2737  
    5050definition ClState ≝ State.
    5151
     52definition ClReturnstate ≝ Returnstate.
     53
     54definition ClCallstate ≝ Callstate.
     55
    5256definition ClKseq ≝ Kseq.
Note: See TracChangeset for help on using the changeset viewer.