Ignore:
Timestamp:
Aug 31, 2011, 12:15:39 PM (9 years ago)
Author:
campbell
Message:

Update pretty printers and examples.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/Clight/test/factorial.c.ma

    r978 r1157  
    22include "common/Animation.ma".
    33
    4 definition myprog := mk_program clight_fundef type
     4definition myprog := mk_program clight_fundef ((list init_data) × type)
    55  [〈ident_of_nat 0 (* get_input *), CL_External (ident_of_nat 0) Tnil (Tint I32 Signed  )〉;
    66  〈ident_of_nat 1 (* main *), CL_Internal (
     
    4141example exec: finishes_with (repr I32 120) ? (exec_up_to clight_fullexec myprog 1000 [EVint I32 (repr ? 5)]).
    4242normalize  (* you can examine the result here *)
    43 @refl qed.
     43@refl
     44qed.
Note: See TracChangeset for help on using the changeset viewer.