projects / ieee754fpu.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2c8486e) | patch
Start proof for PartitionedSignal equals operator
authorCesar Strauss <cestrauss@gmail.com>
Sun, 10 Jan 2021 19:43:57 +0000 (16:43 -0300)
committerCesar Strauss <cestrauss@gmail.com>
Sun, 10 Jan 2021 20:14:14 +0000 (17:14 -0300)
commit3f8b14e155dff27e72f66605fed7833349d396bd
tree258512e9a8e71ad011802a154e48ff49c278e2cftree
parent2c8486ef0da23feabe88a8b1a9cfb613fa76b716commit | diff
Start proof for PartitionedSignal equals operator

The idea is to make use of operator.* to abstract away the operation.
Start with binary comparison operators.
src/ieee754/part/formal/proof_partition.py diff | blob | history