source: src/BACKEND_BROKEN_FILES @ 2711

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

...

File size: 992 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
11RTL/RTL_semantics.ma:             parametri
12
13ASM/PolicyFront.ma:               nuove istruzioni
14  ASM/PolicyStep.ma:              nuove istruzioni
15    ASM/Policy.ma:                nuove istruzioni
16ASM/AssemblyProofSplitSplit.ma:   nuove istruzioni
17  ASM/AssemblyProofSpli.ma:       nuove istruzioni
18    ASM/AssemblyProof.ma:         nuove istruzioni
19      ASM/StatusProofSplit.ma     nuove istruzioni
20ASM/Test.ma:                      nuove istruzioni
21
22ASM/AssemblyProofSplit.ma         working, just veeery slow
23 ASM/AssemblyProofSplitSplit.ma
24
25========================================================
26
27ERTLptr/ERTLtoERTLptrOK.ma:       ci sta lavorando mauro
Note: See TracBrowser for help on using the repository browser.