Differenze

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

--- informatica:ae:ocamldiplog [08/04/2011 alle 13:03 (14 anni fa)] – Marco Danelutto
+++ informatica:ae:ocamldiplog [15/12/2011 alle 09:08 (13 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]].
 ==== Analisi delle dipendenze ====
 Il codice che segue serve a trovare le dipendenze logiche in codice D-RISC. Il software funziona come dovuto su assembler privo di salti (ovvero non
@@ Linea 27: / Linea 30: @@
 </code>
-**Interprete** Lanciate un interprete ocaml da riga di comando. Caricate il file **asm.ml** con il comando <code>#use "asm.ml";;</code>(il simbolo # //non è// il prompt dell'interprete, ma il segno che state inserendo una direttiva). Quindi caricate il programma, con il comando <code>#use "prog.ml";;</code>.
+**Interprete** Lanciate un interprete ocaml da riga di comando. Caricate il file [[asmsource|asm.ml]] con il comando <code>#use "asm.ml";;</code>(il simbolo # //non è// il prompt dell'interprete, ma il segno che state inserendo una direttiva). Quindi caricate il programma, con il comando <code>#use "prog.ml";;</code>.
 **Uso del tool** A questo punto potete:
@@ Linea 133: / Linea 136: @@
 marcod@macuntu:~/Documents/Didattica/Architetture/Sim$
 </code>
+==== Esecuzione di codice =====
+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.