Differenze

Queste sono le differenze tra la revisione selezionata e la versione attuale della pagina.

--- informatica:ae:ocamldiplog [08/04/2011 alle 13:17 (15 anni fa)] – [Strumenti per l'analisi del codice D-RISC] Marco Danelutto
+++ informatica:ae:ocamldiplog [15/12/2011 alle 09:08 (14 anni fa)] (versione attuale) – [Esecuzione di codice] Marco Danelutto
@@ Linea 5: / Linea 5: @@
 significative, inviate il codice modificato al docente che lo renderà disponibile su questa pagina.
+E' disponibile una versione che corregge parte dei problemi della versione originale discussa nel seguito (realizzata da Nicola Corti). La versione include un [[file_asm.ml|asm.ml]] e un [[file_drisc.ml|drisc.ml]] modificati ed espansi. La documentazione di questa versione estesa è disponibile su [[http://backus.di.unipi.it/~marcod/AE1011/Corti/doc/index.html|questo]] link.
 ==== Documentazione ====
 La documentazione generata con ocamldoc si trova su [[http://backus.di.unipi.it/~marcod/AE1011/DocDRISCocaml/|questa pagina]].
@@ Linea 138: / Linea 139: @@
 ==== Esecuzione di codice =====
-Utilizzando il codice del file [[execdrisc|drisc.ml]] si può analizzare l'esecuzione di codice D-RISC (per il momento una istruzione alla volta, è da completare).
+Per eseguire del codice DRISC, utilizzate gli strumenti (New: Dicembre 2011) disponibili su [[http://backus.di.unipi.it/~marcod/wiki/doku.php?id=drisc|questa]] pagina.