|
Last change
on this file since 2075 was
454,
checked in by sacerdot, 10 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 | |
|---|
| 5 | module StringMap: Map.S with type key = string |
|---|
| 6 | |
|---|
| 7 | val compute : ASMInterpret.labelled_memory -> int StringMap.t |
|---|
Note: See
TracBrowser
for help on using the repository browser.
