update website

Author: rsms

etc/website/isa/op.write.md

@@ -4,6 +4,6 @@ template: template-op
 x-autogenerated: true
 ---
 
-`write ABCDu → reg`
+`write ABCDs → reg`
 
-RA = write dstaddr=RB size=RC fd=Du
+RA = write dstaddr=RB size=RC fd=Ds

etc/website/ops.json

@@ -90,20 +90,6 @@
 		"name": "store1",
 		"semantics": "mem[RB + Cs : 1] = RA -- wrap i64 to i8"
 	},
-	{
-		"id": "PUSH",
-		"args": "Au",
-		"result": "mem",
-		"name": "push",
-		"semantics": "SP -= 8; mem[SP] = Au"
-	},
-	{
-		"id": "POP",
-		"args": "A",
-		"result": "reg",
-		"name": "pop",
-		"semantics": "A = mem[SP]; SP += 8"
-	},
 	{
 		"id": "ADD",
 		"args": "ABCu",
@@ -337,10 +323,10 @@
 	},
 	{
 		"id": "WRITE",
-		"args": "ABCDu",
+		"args": "ABCDs",
 		"result": "reg",
 		"name": "write",
-		"semantics": "RA = write dstaddr=RB size=RC fd=Du"
+		"semantics": "RA = write dstaddr=RB size=RC fd=Ds"
 	},
 	{
 		"id": "READ",