Changeset 1924 for src/ASM/ASMCosts.ma


Ignore:
Timestamp:
May 8, 2012, 6:04:21 PM (8 years ago)
Author:
mulligan
Message:

Added comment

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ASM/ASMCosts.ma

    r1921 r1924  
    44include "ASM/Interpret.ma".
    55include "common/StructuredTraces.ma".
     6
     7(* XXX: alternative approach:
     8 * R : Word → Prop
     9 * TPS ≝ |R|
     10 * GP : ∀a. R(a) → R(next(a))
     11 *)
    612
    713let rec fetch_program_counter_n
Note: See TracChangeset for help on using the changeset viewer.