port/tamarack2/tamarackProof1Script.sml

150         ``!n mpc mem mar pc acc ir arg buf.
151           Tamarack n (mpc,mem,mar,pc,acc,ir,arg,buf)
165         ``!n mpc mem mar pc acc ir arg buf.
166           Tamarack n (mpc,mem,mar,pc,acc,ir,arg,buf)
179         ``!n mpc mem mar pc acc ir arg buf.
180           Tamarack n (mpc,mem,mar,pc,acc,ir,arg,buf)
216         ``!n mpc mem mar pc acc ir arg buf.
217           Tamarack n (mpc,mem,mar,pc,acc,ir,arg,buf)
232         ``!n mpc mem mar pc acc ir arg buf.
233           Tamarack n (mpc,mem,mar,pc,acc,ir,arg,buf)
247         ``!n mpc mem mar pc acc ir arg buf.
248           Tamarack n (mpc,mem,mar,pc,acc,ir,arg,buf)
252             ((mpc (t+1),mem (t+1),mar (t+1),pc (t+1),acc (t+1),arg (t+1)) =
262         ``!n mpc mem mar pc acc ir arg buf.
263           Tamarack n (mpc,mem,mar,pc,acc,ir,arg,buf)
267             ((mpc (t+1),mem (t+1),mar (t+1),pc (t+1),acc (t+1),arg (t+1)) =
277         ``!n mpc mem mar pc acc ir arg buf.
278           Tamarack n (mpc,mem,mar,pc,acc,ir,arg,buf)
292         ``!n mpc mem mar pc acc ir arg buf.
293           Tamarack n (mpc,mem,mar,pc,acc,ir,arg,buf)
307         ``!n mpc mem mar pc acc ir arg buf.
308           Tamarack n (mpc,mem,mar,pc,acc,ir,arg,buf)
322         ``!n mpc mem mar pc acc ir arg buf.
323           Tamarack n (mpc,mem,mar,pc,acc,ir,arg,buf)
337         ``!n mpc mem mar pc acc ir arg buf.
338           Tamarack n (mpc,mem,mar,pc,acc,ir,arg,buf)
352         ``!n mpc mem mar pc acc ir arg buf.
353           Tamarack n (mpc,mem,mar,pc,acc,ir,arg,buf)
359               ADDn (n+3) (arg t,mem t (Bits (0,n) (mar t)))))``);
368         ``!n mpc mem mar pc acc ir arg buf.
369           Tamarack n (mpc,mem,mar,pc,acc,ir,arg,buf)
375               SUBn (n+3) (arg t,mem t (Bits (0,n) (mar t)))))``);
384         ``!n mpc mem mar pc acc ir arg buf.
385           Tamarack n (mpc,mem,mar,pc,acc,ir,arg,buf)