projects / ieee754fpu.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5aae448) | patch
Compare the expected output for all partition sizes
authorCesar Strauss <cestrauss@gmail.com>
Thu, 7 Jan 2021 22:34:20 +0000 (19:34 -0300)
committerCesar Strauss <cestrauss@gmail.com>
Thu, 7 Jan 2021 22:34:20 +0000 (19:34 -0300)
commita080b31887c93fedc6e4879e620e320b81e3c46d
tree8c66cd7dc05cab6382190ee50178a3630737cd07tree
parent5aae448ca6cc05d97a0a7095a075b7bad0574178commit | diff
Compare the expected output for all partition sizes

Optimize for the case where the partition points are equally spaced,
so the possible partition sizes are just multiple of the smaller one.
Otherwise, all combinations of start and end points would have to be
considered.
src/ieee754/part/formal/proof_partition.py diff | blob | history