sail/test/mono/pass/castrequnion, branch sail2Formal specification language for ISAsMonomorphisation: improve cast insertion and nexp rewriting on variants2019-01-31T11:14:52+00:00Brian Campbell2019-01-31T11:14:52+00:00e62896cecd575134a85def6815fe552f3154ea01
It now pushes casts into lets and constructor applications, and so
supports the case needed for RISC-V.
It now pushes casts into lets and constructor applications, and so
supports the case needed for RISC-V.