projects / ieee754fpu.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Convert all bitwise logical ops to return PartitionedSignal
[ieee754fpu.git] / src / ieee754 / fsgnj / formal /
2020-01-28 Michael NolanUse nmigen's built in formal runner instead of mine tree | commitdiff
2020-01-28 Michael NolanUpdate gitignore in formal directories to ignore proof... tree | commitdiff
2020-01-28 Luke Kenneth Casso... allow fsgnj proof to be run from any location tree | commitdiff
2020-01-28 Michael NolanFSGNJ: expandd formal proof to 16 and 64 bits tree | commitdiff
2020-01-28 Michael NolanFSGNJ: Convert proof to use FPNumDecode tree | commitdiff
2020-01-28 Michael NolanAdd formal proof for FSGNJPipeMod module tree | commitdiff