diff options
| author | Camil Staps | 2017-07-18 20:50:08 +0000 |
|---|---|---|
| committer | Camil Staps | 2017-07-18 20:50:08 +0000 |
| commit | 4d2c1f78e2cb61cdf0b087b6483cc15fbefa0ffa (patch) | |
| tree | 8a2b5dc02bdcea37cd94d23311f3f938b6fd0ee7 /ABC/Machine/Instructions.dcl | |
| parent | Raw instructions (diff) | |
Added divI
Diffstat (limited to 'ABC/Machine/Instructions.dcl')
| -rw-r--r-- | ABC/Machine/Instructions.dcl | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/ABC/Machine/Instructions.dcl b/ABC/Machine/Instructions.dcl index 6c3c8b8..f0cc5b2 100644 --- a/ABC/Machine/Instructions.dcl +++ b/ABC/Machine/Instructions.dcl @@ -57,6 +57,7 @@ update_b :: BSrc BDst State -> State addI :: State -> State decI :: State -> State +divI :: State -> State gtI :: State -> State incI :: State -> State ltI :: State -> State |