ownergit repository hosting
last changeFri, 12 Aug 2022 07:54:36 +0000 (00:54 -0700)
2022-08-12 Jacob Lifshaychange all uses of dataclass to plain_data master
2022-07-06 Jacob Lifshaychange to correct branch
2022-07-06 Jacob Lifshaychange nmigen from programmerjake's repo to upstream...
2022-07-04 Jacob Lifshayclean up remaining fixmes for fma
2022-07-04 Jacob Lifshayadd f8 fma tests -- f16 takes >8hr to run with bitwuzla
2022-07-04 Jacob Lifshayworking on implementing fma, f16 rtz formal proof seems...
2022-07-04 Jacob Lifshayadd FPFormat.get_exponent_value to get an unbiased...
2022-07-04 Jacob Lifshaymisc bug fixes and cleanup in
2022-07-04 Jacob Lifshayadd tests for non-power-of-2 shifts for MultiShift...
2022-07-04 Jacob Lifshayfix MultiShift* classes to correctly calculate shift...
2022-07-02 Jacob Lifshaystart implementing fp fused-mul-add pipeline
2022-07-02 Jacob Lifshaydisable fadd f32 formal proofs by default -- they're...
2022-07-01 Jacob Lifshayfix copyright years
2022-07-01 Luke Kenneth... update README, include links to source code
2022-07-01 Jacob Lifshaychange gitlab-ci to show test names
2022-07-01 Jacob Lifshayfix my name
20 months ago ls180-24jan2020
6 weeks ago master
3 years ago messy-div-pipe-works