|
Last change
on this file since 2649 was
2645,
checked in by sacerdot, 8 years ago
|
- some broken back-end files repaires, several still to go
- the string datatype has been refined into three different data
types: string (for backend comments); identifierTag; ErrorMessage?
- all axioms of type String have been turned into constructors of one of the
three datatypes. In this way we do not have axioms to be implemented in
the extracted files
|
|
File size:
950 bytes
|
| Line | |
|---|
| 1 | Directory esaminate: joint, RTLabs, RTL, ERTLptr, LTL, LIN, ASM |
|---|
| 2 | |
|---|
| 3 | joint/linearise.ma: prova rotta |
|---|
| 4 | joint/lineariseProof.ma |
|---|
| 5 | LTL/LTLToLIN.ma |
|---|
| 6 | joint/stacksize.ma: mancano tailcall |
|---|
| 7 | |
|---|
| 8 | LIN/joint_LTL_LIN_semantics.ma: parametri |
|---|
| 9 | LIN/LIN_semantics.ma |
|---|
| 10 | LTL/LTL_semantics.ma |
|---|
| 11 | LIN/LINToASM.ma: FCOND rotto, deve fare cose diverse ora? |
|---|
| 12 | |
|---|
| 13 | ERTL/liveness.ma: FCOND rotto |
|---|
| 14 | ERTL/Interference.ma |
|---|
| 15 | ERTL/ERTLToLTL.ma |
|---|
| 16 | |
|---|
| 17 | RTL/RTL_semantics.ma: parametri |
|---|
| 18 | RTL/RTLTailcall.ma FCOND rotto, cosa fare con sto codice? |
|---|
| 19 | RTL/RTLToERTL.ma |
|---|
| 20 | |
|---|
| 21 | RTLabs/RTLabsToRTL.ma prova rotta (Ferruccio?) ci sta lavorando Paolo |
|---|
| 22 | |
|---|
| 23 | ASM/AssemblyProofSplit.ma |
|---|
| 24 | ASM/AssemblyProofSplitSplit.ma |
|---|
| 25 | ASM/CostProofs.ma mancano tailcall |
|---|
| 26 | |
|---|
| 27 | ASM/Policy.ma zzzzzzzz |
|---|
| 28 | |
|---|
| 29 | ======================================================== |
|---|
| 30 | |
|---|
| 31 | ERTLptr/ERTLtoERTLptrOK.ma: ci sta lavorando mauro |
|---|
Note: See
TracBrowser
for help on using the repository browser.
