projects / ieee754fpu.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3f8b14e) | patch
Factor-out the code to make equally spaced partition points
authorCesar Strauss <cestrauss@gmail.com>
Sun, 10 Jan 2021 20:28:23 +0000 (17:28 -0300)
committerCesar Strauss <cestrauss@gmail.com>
Sun, 10 Jan 2021 20:35:29 +0000 (17:35 -0300)
commitfeadebe6551a27c63899563d430135775982be5b
tree281aadcff4ad1816f8fce5d34dea7a8cdadd70eftree
parent3f8b14e155dff27e72f66605fed7833349d396bdcommit | diff
Factor-out the code to make equally spaced partition points
src/ieee754/part/formal/proof_partition.py diff | blob | history
src/ieee754/part_cmp/experiments/formal/proof_partitioned_eq.py diff | blob | history
src/ieee754/part_cmp/formal/proof_partitioned_eq_gt_ge.py diff | blob | history