Ignore:
Timestamp:
Feb 23, 2013, 1:16:55 AM (7 years ago)
Author:
sacerdot
Message:

Extracted code for the whole compiler.
The space cost model is not there yet.

I have fixed by hand the few extraction problems
(i.e. composed coercions not extracted and type
definitions with wrong syntax).

I have also changed all axioms to be implemented
so that they do not fail at initialization time.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/aSMCostsSplit.mli

    r2649 r2717  
    1515open Interpret
    1616
    17 open BitVectorTrie
    18 
    1917open Fetch
    2018
     
    2220
    2321open LabelledObjects
     22
     23open BitVectorTrie
     24
     25open Exp
    2426
    2527open Arithmetic
Note: See TracChangeset for help on using the changeset viewer.