Allow the formal engine to perform a same-cycle result in the ALU
[soc.git] / src / soc / fu / cr / formal / .gitignore
2020-05-20 Michael NolanBegin adding CR proof