Ignore:
Timestamp:
Jun 21, 2012, 5:21:02 PM (8 years ago)
Author:
campbell
Message:

Make transform_*program take a more general transformation to make
properties easier to state.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/Clight/SimplifyCasts.ma

    r2074 r2103  
    20102010
    20112011definition simplify_program : clight_program → clight_program ≝
    2012 λp. transform_program … p simplify_fundef.
     2012λp. transform_program … p (λ_.simplify_fundef).
    20132013
    20142014(* Simulation on statement continuations. Stolen from labelSimulation and adapted to our setting. *)
Note: See TracChangeset for help on using the changeset viewer.