Changeset 756 for src/ERTL/Build.ma


Ignore:
Timestamp:
Apr 15, 2011, 5:47:32 PM (9 years ago)
Author:
mulligan
Message:

Made a start on RTL. Renaming in ERTL and below to move closer to Brian's naming convention and datatypes.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ERTL/Build.ma

    r733 r756  
    1 include "ERTL/ERTL.ma".
    21
    3 definition build ≝
    4   λint_fun: ERTLInternalFunction.
    5     let liveafter ≝ analyze int_fun in
    6     let graph ≝ create
    72
Note: See TracChangeset for help on using the changeset viewer.