- Timestamp:
- Jun 10, 2011, 3:25:09 AM (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/ASM/AssemblyProof.ma
r933 r934 1948 1948 @(list_addressing_mode_tags_elim_prop … arg1) whd try % -arg1; normalize nodelta; [1,2,3: #ARG] 1949 1949 [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 ] 1950 1952 #EQ >EQ -EQ; normalize nodelta; >(eq_bv_to_eq … H2b) -newppc'; 1953 [5: % 1954 | 1955 1951 1956 XXX 1952 1957 >set_code_memory_set_flags >set_program_counter_set_flags >program_counter_set_flags %
Note: See TracChangeset
for help on using the changeset viewer.