source: src/BACKEND_BROKEN_FILES @ 2782

Last change on this file since 2782 was 2754, checked in by sacerdot, 7 years ago
  1. WARNING: I commented out one of James's function used in compiler.ma because it was undefined (partial commit). To be restored.
  2. The type of labelled_object_code programs now has a symbol table, used to generate the intensional events function call/return.
File size: 713 bytes
Line 
1Directory esaminate: joint, RTLabs, RTL, ERTLptr, LTL, LIN, ASM
2
3joint/lineariseProof.ma           da riparare
4
5LIN/joint_LTL_LIN_semantics.ma:   parametri
6  LIN/LIN_semantics.ma
7  LTL/LTL_semantics.ma
8
9RTL/RTL_semantics.ma:             parametri
10
11ASM/AssemblyProofSplitSplit.ma:   nuove istruzioni
12  ASM/AssemblyProofSplit.ma:       nuove istruzioni
13    ASM/AssemblyProof.ma:         nuove istruzioni
14      ASM/StatusProofSplit.ma     nuove istruzioni
15ASM/Test.ma:                      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.