Changeset 2116


Ignore:
Timestamp:
Jun 27, 2012, 11:46:36 AM (5 years ago)
Author:
sacerdot
Message:

load_code_memory will be moved into Fetch.ma in the next commit.
This is a bit weird: we could split a Load.ma file from Fetch.ma.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/compiler.ma

    r2019 r2116  
    6262
    6363include "common/StructuredTraces.ma".
     64include "ASM/Fetch.ma". (* For load_code_memory only *)
    6465
    6566definition in_clight_program : costlabel → Prop ≝ λ_.True.
Note: See TracChangeset for help on using the changeset viewer.