projects / ieee754fpu.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b5fd7de) | patch
Fill the second nibble of the pattern
authorCesar Strauss <cestrauss@gmail.com>
Mon, 4 Jan 2021 21:08:37 +0000 (18:08 -0300)
committerCesar Strauss <cestrauss@gmail.com>
Mon, 4 Jan 2021 21:08:37 +0000 (18:08 -0300)
commit860c06d27b806ee6ca83c732a9b61358224ab90e
treea9be01b59f32e32e970ade7b7c9bef1e4b627ef5tree
parentb5fd7debb7245ce8ed052733721f7efe20b9899ccommit | diff
Fill the second nibble of the pattern

It should encode the length of the partition.
The first nibble encodes the position within the partition.
src/ieee754/part/formal/proof_partition.py diff | blob | history