Ignore:
Timestamp:
Feb 22, 2013, 2:12:24 PM (8 years ago)
Author:
sacerdot
Message:
  1. exponential function dropped in favour of standard library
  2. fixpoint computation and graph colouring abstracted in the back-end, axiomatized in the compiler
  3. minor speedups in Policy.ma
File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ERTLptr/liveness.ma

    r2693 r2700  
    279279
    280280definition analyse_liveness ≝
    281   λglobals.
    282   λint_fun.
    283     the_fixpoint ? (liveafter globals int_fun).
     281  λthe_fixpoint: fixpoint_computer. λglobals,int_fun.
     282   the_fixpoint ? (liveafter globals int_fun).
    284283
    285284definition vertex ≝ register + Register.
Note: See TracChangeset for help on using the changeset viewer.