Changeset 2664 for src/ASM/ASMCosts.ma
- Timestamp:
- Feb 14, 2013, 12:01:13 AM (7 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/ASM/ASMCosts.ma
r2656 r2664 638 638 #trace_ends_flag_refl #start_status_refl #final_status_refl #the_trace_refl 639 639 destruct @⊥ 640 |4: (* XXX *) 641 cases daemon 640 |4: 641 #status_pre_fun_call #status_start_fun_call #status_final #execute_assm 642 #classifier_assm 643 @⊥ normalize in classifier_assm; 644 cases (classify_instruction ?) in classifier_assm; normalize nodelta 645 try (#_ #abs) try #abs destruct 642 646 |5: 643 647 #end_flag #status_pre_fun_call #status_start_fun_call #status_after_fun_call
Note: See TracChangeset
for help on using the changeset viewer.