source: src/BACKEND_BROKEN_FILES @ 2656

Last change on this file since 2656 was 2656, checked in by sacerdot, 7 years ago

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

File size: 906 bytes
Line 
1Directory esaminate: joint, RTLabs, RTL, ERTLptr, LTL, LIN, ASM
2
3joint/linearise.ma:               prova rotta
4  joint/lineariseProof.ma
5  LTL/LTLToLIN.ma
6joint/stacksize.ma:               mancano tailcall
7
8LIN/joint_LTL_LIN_semantics.ma:   parametri
9  LIN/LIN_semantics.ma
10  LTL/LTL_semantics.ma
11LIN/LINToASM.ma:                  FCOND rotto, deve fare cose diverse ora?
12
13ERTL/liveness.ma:                 FCOND rotto
14 ERTL/Interference.ma
15  ERTL/ERTLToLTL.ma
16
17RTL/RTL_semantics.ma:             parametri
18RTL/RTLTailcall.ma                FCOND rotto, cosa fare con sto codice?
19 RTL/RTLToERTL.ma
20
21RTLabs/RTLabsToRTL.ma             prova rotta (Ferruccio?) ci sta lavorando Paolo
22
23ASM/AssemblyProofSplit.ma
24 ASM/AssemblyProofSplitSplit.ma
25ASM/CostProofs.ma                 mancano tailcall
26
27========================================================
28
29ERTLptr/ERTLtoERTLptrOK.ma:       ci sta lavorando mauro
Note: See TracBrowser for help on using the repository browser.