source: src/BACKEND_BROKEN_FILES @ 2689

Last change on this file since 2689 was 2661, checked in by sacerdot, 8 years ago

stacksize "repaired" by "considering" tailcalls
Some daemons added here and there since many are already in place.

File size: 796 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
6
7LIN/joint_LTL_LIN_semantics.ma:   parametri
8  LIN/LIN_semantics.ma
9  LTL/LTL_semantics.ma
10LIN/LINToASM.ma:                  FCOND rotto, deve fare cose diverse ora?
11
12ERTL/liveness.ma:                 FCOND rotto
13 ERTL/Interference.ma
14  ERTL/ERTLToLTL.ma
15
16RTL/RTL_semantics.ma:             parametri
17RTL/RTLToERTL.ma:                 parametri (??)
18
19RTLabs/RTLabsToRTL.ma             prova rotta (Ferruccio?) ci sta lavorando Paolo
20
21ASM/AssemblyProofSplit.ma         working, just veeery slow
22 ASM/AssemblyProofSplitSplit.ma
23
24========================================================
25
26ERTLptr/ERTLtoERTLptrOK.ma:       ci sta lavorando mauro
Note: See TracBrowser for help on using the repository browser.