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/rTLabs_syntax.mli

    r2649 r2717  
    3535open Identifiers
    3636
     37open Exp
     38
    3739open Arithmetic
    3840
     
    6769open AST
    6870
     71open BitVectorTrie
     72
    6973open CostLabel
    7074
     
    96100
    97101open Registers
    98 
    99 open BitVectorTrie
    100102
    101103open Graphs
Note: See TracChangeset for help on using the changeset viewer.