update docs

diff --git a/ships/Fifo.ship b/ships/Fifo.ship
index 875565e..663c524 100644 (file)
--- a/ships/Fifo.ship
+++ b/ships/Fifo.ship
@@ -9,7 +9,7 @@ data  out:  out
 
 == TeX ==============================================================
 
-The {\tt Fifo} ship is a simple fifo.  Values delivered to the {\tt
+The {\tt Fifo} ship is a simple fifo.  Word-sized delivered to the {\tt
 in} port are enqueued into the fifo, and values which arrive at the
 end of the fifo are provided to the {\tt out} port.
 

diff --git a/ships/Lut3.ship b/ships/Lut3.ship
index 25056ee..72a51dd 100644 (file)
--- a/ships/Lut3.ship
+++ b/ships/Lut3.ship
@@ -18,9 +18,9 @@ NOR
 
 == TeX ==============================================================
 
-This ship implements a 3-input {\bf L}ook {\bf U}p {\bf T}able.  The
-least significant eight bits of the {\tt inLut} value form a truth
-table with three inputs and one output.
+This ship implements a bitwise 3-input {\bf L}ook {\bf U}p {\bf
+T}able.  The least significant eight bits of the {\tt inLut} value
+form a truth table with three inputs and one output.
 
 When values are available at all four inputs they are consumed and a
 value is produced at {\tt out}.  Each bit of {\tt out} is produced by
@@ -34,9 +34,6 @@ bit}.  This three-bit number, ranging from 0 to 7 (decimal), is used
 as a bit index into {\tt inLut}'s value (whose least significant bit
 is considered ``bit zero'').
 
-The ship-specific constants refer to commonly-used truth tables for
-{\it two-input} functions; these constant truth tables are invariant
-under input {\tt in3}.
 
 == Fleeterpreter ====================================================
   public void service() {

diff --git a/ships/Memory.ship b/ships/Memory.ship
index c24f5f8..6600dd5 100644 (file)
--- a/ships/Memory.ship
+++ b/ships/Memory.ship
@@ -53,7 +53,8 @@ memory at that address is provided at {\tt out}.
 When a word is delivered to {\tt inAddrWrite} and {\tt inDataWrite},
 the word at {\tt inDataWrite} is written to the address specified by
 {\tt inAddrWrite}.  Once the word is successfully committed to memory,
-a value (undefined) is provided at {\tt out}.
+the value {\tt inAddr+inStride} is provided at {\tt out} (that is, the
+address of the next word to be written).
 
 \subsection*{To Do}