Changeset 2196 for src

Timestamp:

Jul 17, 2012, 2:19:23 PM (9 years ago)

Author:

sacerdot

Message:

Speed up using patterns.

File:

• src/ASM/Test.ma (modified) (1 diff)

src/ASM/Test.ma

@@ -1200 +1200 @@
         status_of_pseudo_status M cm (set_arg_1 … cm ps addr b') sigma policy.
   whd in match set_arg_1; normalize nodelta
-  whd in match map_bit_address_mode_using_internal_pseudo_address_map_set_1; normalize nodelta
-  whd in match map_bit_address_mode_using_internal_pseudo_address_map_set_2; normalize nodelta
+  whd in ⊢ (? → ? → ? → ? → ??(λx.? → ? → ? → ? → ? → ? → ? → %?????? → %?????? → ?));
+  normalize nodelta
   @(let m ≝ pseudo_assembly_program in
     λcm.