Ignore:
Timestamp:
Mar 1, 2013, 10:26:31 AM (7 years ago)
Author:
sacerdot
Message:
  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:
1 edited

Legend:

Unmodified
Added
Removed
  • src/BACKEND_BROKEN_FILES

    r2715 r2754  
    1010
    1111ASM/AssemblyProofSplitSplit.ma:   nuove istruzioni
    12   ASM/AssemblyProofSpli.ma:       nuove istruzioni
     12  ASM/AssemblyProofSplit.ma:       nuove istruzioni
    1313    ASM/AssemblyProof.ma:         nuove istruzioni
    1414      ASM/StatusProofSplit.ma     nuove istruzioni
Note: See TracChangeset for help on using the changeset viewer.