Ignore:
Timestamp:
Aug 30, 2011, 6:55:12 PM (10 years ago)
Author:
campbell
Message:

Merge trunk into branch.

Location:
Deliverables/D3.3/id-lookup-branch
Files:
2 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D3.3/id-lookup-branch

  • Deliverables/D3.3/id-lookup-branch/Cminor/syntax.ma

    r1104 r1153  
    151151}.
    152152
    153 definition Cminor_program ≝ program (fundef internal_function) unit.
     153(* We define two closely related versions of Cminor, the first with the original
     154   initialisation data for global variables, and the second where the code is
     155   responsible for initialisation and we only give the size of each variable. *)
     156
     157definition Cminor_program ≝ program (fundef internal_function) (list init_data).
     158
     159definition Cminor_noinit_program ≝ program (fundef internal_function) nat.
Note: See TracChangeset for help on using the changeset viewer.