Commit 2d1cf62

committed

rename rstep -> rsteps, rred -> rstep

1 parent 07b7e30 commit 2d1cf62Copy full SHA for 2d1cf62

1 file changed

+94

-94

lines changed

smc
- smc_interpreter.v

1 file changed

+94

-94

lines changed

Comments

(0)