source: Deliverables/D4.1/ASMCosts.mli @ 796

Last change on this file since 796 was 454, checked in by sacerdot, 9 years ago

CSC + Nicolas + Dominic:

1) back-porting of changes by Nicolas from the compiler
2) new file ASMCosts to compute the cost of labels
3) several changes here and there to implement 2)

File size: 212 bytes
Line 
1
2(** This module defines the cost increment associated to each cost
3    label of a [ASM] program. *)
4
5module StringMap: Map.S with type key = string
6
7val compute : ASMInterpret.labelled_memory -> int StringMap.t
Note: See TracBrowser for help on using the repository browser.