Skip to content

Assignment operator in forall_inst args

@hbarbosa, @hjsc and I discussed and decided that the arguments of the forall_inst rule should be printed as equalities and not as assignments:

image

Edited by Lachnitt
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information