Jiuyang Liu
Jiuyang Liu
Hi, Andrew, I added yosys Miter based LEC for all those modules. I don't know what value should be set to `DivSqrtRecF64_div` and `DivSqrtRecF64_sqrt` in yosys script `equiv_simple -seq ???`,...
> rather than committing the reference .fir files, can you just make it possible to generate them all easily? Yes, I thought a good idea about this. But didn’t implemented,...
In these LEC has been running for 300 hours in my server. ``` MulAddRecFNMiterSpec_MulAddRecF32_mul MulAddRecFNMiterSpec_MulAddRecF64_mul MulRecFNMiterSpec_MulRecF32 MulAddRecFNMiterSpec_MulAddRecF32 MulAddRecFNMiterSpec_MulAddRecF64 MulRecFNMiterSpec_MulRecF64 ``` I think they yosys may not be able to handle...
LEC has been running for 630h, I think they can not finish this year. But can we get those merged this year? ;P I think FMA test is good enough...
> I would kill that lec run, it's unlikely to ever finish. Kill after 2800 hours I finally decided to kill this. ;p someone need to solve the np problem....
Seems [sideloadly](https://iosgods.com/topic/130167-windowsmacosm1ios-15-introducing-sideloadly-working-cydia-impactor-alternative/#comments) supported M1 sideload. maybe it is possible for altstore do so?
> It makes sense to rename the release branch to 0.13, because there needs to be a place for people to find 0.13 even after we release 1.0. But we...
> My concern is if we create v1.0-release that some changes will go there, and some will go to master, and we'll have to fix that up. It seems simpler...
TLB doc is merged, plz rebase to master.