Ignore:
Timestamp:
Feb 11, 2013, 6:58:13 PM (8 years ago)
Author:
sacerdot
Message:

Ported to tailcalls (currently nothing is classified as a tailcall).

File:
1 edited

Legend:

Unmodified
Added
Removed

  • src/BACKEND_BROKEN_FILES

    r2645 r2656  
    2525ASM/CostProofs.ma                 mancano tailcall
    2626
    27 ASM/Policy.ma                     zzzzzzzz
    28 
    2927========================================================
    3028
Note: See TracChangeset for help on using the changeset viewer.