Changeset 3511
- Timestamp:
- Sep 26, 2014, 6:44:28 PM (6 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
LTS/Final.ma
r3510 r3511 103 103 [2: <EQcostlabs in ⊢ (??%?); % | // ] 104 104 qed. 105 cases daemon 106 qed. 105 106 (* TODO: 107 1. Monoide di costo: eliminare. 108 2. Discorso I/O, fallimento della block-cost, ipotesi di premisurabilita' 109 sull'assembler 110 3. Integrare la prima passata di Language nel risultato finale 111 4. Chiudere il demone 112 5. Cambi al control flow: Paolo's trick (label = coppia label-pezzo di stato) 113 6. Rappresentabilita' di I, [[ ]] e stati astratti =⇒ instrumentazione 114 *)
Note: See TracChangeset
for help on using the changeset viewer.