|
Last change
on this file since 3128 was
2754,
checked in by sacerdot, 8 years ago
|
- WARNING: I commented out one of James's function used in compiler.ma
because it was undefined (partial commit). To be restored.
- 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 | |
|---|
| 1 | Directory esaminate: joint, RTLabs, RTL, ERTLptr, LTL, LIN, ASM |
|---|
| 2 | |
|---|
| 3 | joint/lineariseProof.ma da riparare |
|---|
| 4 | |
|---|
| 5 | LIN/joint_LTL_LIN_semantics.ma: parametri |
|---|
| 6 | LIN/LIN_semantics.ma |
|---|
| 7 | LTL/LTL_semantics.ma |
|---|
| 8 | |
|---|
| 9 | RTL/RTL_semantics.ma: parametri |
|---|
| 10 | |
|---|
| 11 | ASM/AssemblyProofSplitSplit.ma: nuove istruzioni |
|---|
| 12 | ASM/AssemblyProofSplit.ma: nuove istruzioni |
|---|
| 13 | ASM/AssemblyProof.ma: nuove istruzioni |
|---|
| 14 | ASM/StatusProofSplit.ma nuove istruzioni |
|---|
| 15 | ASM/Test.ma: nuove istruzioni |
|---|
| 16 | |
|---|
| 17 | ASM/AssemblyProofSplit.ma working, just veeery slow |
|---|
| 18 | ASM/AssemblyProofSplitSplit.ma |
|---|
| 19 | |
|---|
| 20 | ======================================================== |
|---|
| 21 | |
|---|
| 22 | ERTLptr/ERTLtoERTLptrOK.ma: ci sta lavorando mauro |
|---|
Note: See
TracBrowser
for help on using the repository browser.
