source: src/BACKEND_BROKEN_FILES @ 2708

Last change on this file since 2708 was 2705, checked in by sacerdot, 8 years ago

More progress in ASM towards implementing the new pseudoinstructions.

File size: 718 bytes
Line 
1Directory esaminate: joint, RTLabs, RTL, ERTLptr, LTL, LIN, ASM
2
3joint/linearise.ma:               prova rotta ci sta lavorando Paolo
4  joint/lineariseProof.ma
5  LTL/LTLToLIN.ma                 ma funziona una volta riparato linearise.ma
6
7LIN/joint_LTL_LIN_semantics.ma:   parametri
8  LIN/LIN_semantics.ma
9  LTL/LTL_semantics.ma
10
11LIN/LINToASM.ma:                  FCOND rotto, deve fare cose diverse ora?
12
13RTL/RTL_semantics.ma:             parametri
14
15ASM/*                             rotto, nuove istruzioni
16
17ASM/AssemblyProofSplit.ma         working, just veeery slow
18 ASM/AssemblyProofSplitSplit.ma
19
20========================================================
21
22ERTLptr/ERTLtoERTLptrOK.ma:       ci sta lavorando mauro
Note: See TracBrowser for help on using the repository browser.