projects / ieee754fpu.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 208e729) | patch
Generate shifted down outputs
authorCesar Strauss <cestrauss@gmail.com>
Wed, 6 Jan 2021 09:41:24 +0000 (06:41 -0300)
committerCesar Strauss <cestrauss@gmail.com>
Wed, 6 Jan 2021 09:41:24 +0000 (06:41 -0300)
commit5aae448ca6cc05d97a0a7095a075b7bad0574178
treecb9d85fe952703a41e99ad18f03e34ed33688a91tree
parent208e7292545592407fb3d6708b15dd77d8498d57commit | diff
Generate shifted down outputs

Align the start of any selected partition to zero, so it can easily be
checked with the expected value.
For partitioned operations with inputs, it is also necessary to generate
shifted down versions of each input.
src/ieee754/part/formal/proof_partition.py diff | blob | history