Mercurial Mercurial > hg > tm / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned
authorChristian Urban <christian dot urban at kcl dot ac dot uk>
Mon, 18 Feb 2013 13:33:00 +0000
changeset 182 0329bc0bceec
parent 181 4d54702229fd
child 183 4cf023ee2f4c
tuned
turing.scala file | annotate | diff | comparison | revisions 
--- a/turing.scala	Mon Feb 18 13:28:51 2013 +0000
+++ b/turing.scala	Mon Feb 18 13:33:00 2013 +0000
@@ -210,11 +210,6 @@
   Abacus(Dec(in1, jump) :: tm.p)
 }
 
-def Mult(in1: Int, in2: Int, out: Int, tmp: Int, jump: Int) = {
-  val tm = Plus(in2, out, tmp, -1).shift(1, -1).adjust(-1, 0)
-  Abacus(Dec(in1, jump) :: tm.p)
-}
-
 def Expo(in1: Int, in2: Int, out: Int, tmp: Int, jump: Int) = {
   val tm = Plus(in2, out, tmp, -1).shift(1, -1).adjust(-1, 0)
   Abacus(Dec(in1, jump) :: tm.p)
tm