Ignore:
Timestamp:
Jun 10, 2011, 3:25:09 AM (9 years ago)
Author:
sacerdot
Message:

...

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ASM/AssemblyProof.ma

    r933 r934  
    19481948       @(list_addressing_mode_tags_elim_prop … arg1) whd try % -arg1; normalize nodelta; [1,2,3: #ARG]
    19491949       [1,2,3,4: cases (half_add ???) #carry #result
     1950       | cases (half_add ???) #carry #bl normalize nodelta;
     1951         cases (full_add ????) #carry' #bu normalize nodelta ]
    19501952        #EQ >EQ -EQ; normalize nodelta; >(eq_bv_to_eq … H2b) -newppc';
     1953        [5: %
     1954        |
     1955
    19511956        XXX
    19521957       >set_code_memory_set_flags >set_program_counter_set_flags >program_counter_set_flags %
Note: See TracChangeset for help on using the changeset viewer.