+++ /dev/null
-
-#import edu.berkeley.fleet
-
-#ship adder : AdderShip
-#ship memread : MemReadShip
-#ship memwrite : MemWriteShip
-#ship one : OneProducerShip
-#ship halt : HaltShip
-
-#memory { 000, 100, 200, 300, 400, 500 }
-
-one.out -> adder.in1
-one.out -> adder.in2
-adder.out -> memread.addr
-memread.data -> adder.in1
-one.out -> adder.in2
-adder.out -> halt.in