Changeset 2196


Ignore:
Timestamp:
Jul 17, 2012, 2:19:23 PM (5 years ago)
Author:
sacerdot
Message:

Speed up using patterns.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ASM/Test.ma

    r2187 r2196  
    12001200        status_of_pseudo_status M cm (set_arg_1 … cm ps addr b') sigma policy.
    12011201  whd in match set_arg_1; normalize nodelta
    1202   whd in match map_bit_address_mode_using_internal_pseudo_address_map_set_1; normalize nodelta
    1203   whd in match map_bit_address_mode_using_internal_pseudo_address_map_set_2; normalize nodelta
     1202  whd in ⊢ (? → ? → ? → ? → ??(λx.? → ? → ? → ? → ? → ? → ? → %?????? → %?????? → ?));
     1203  normalize nodelta
    12041204  @(let m ≝ pseudo_assembly_program in
    12051205    λcm.
Note: See TracChangeset for help on using the changeset viewer.