source: src/BACKEND_BROKEN_FILES @ 2646

Last change on this file since 2646 was 2645, checked in by sacerdot, 8 years ago
  1. some broken back-end files repaires, several still to go
  2. the string datatype has been refined into three different data types: string (for backend comments); identifierTag; ErrorMessage?
  3. all axioms of type String have been turned into constructors of one of the three datatypes. In this way we do not have axioms to be implemented in the extracted files
File size: 950 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
27ASM/Policy.ma                     zzzzzzzz
28
29========================================================
30
31ERTLptr/ERTLtoERTLptrOK.ma:       ci sta lavorando mauro
Note: See TracBrowser for help on using the repository browser.