projects / ieee754fpu.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4a5f5fe) | patch
Allow a variable number of operands in the proof driver
authorCesar Strauss <cestrauss@gmail.com>
Sat, 16 Jan 2021 17:06:41 +0000 (14:06 -0300)
committerCesar Strauss <cestrauss@gmail.com>
Sat, 16 Jan 2021 17:13:22 +0000 (14:13 -0300)
commitee128d0400ab81418b27be56915d50c0b75483d1
tree9523e5adf94901b57b68190061559982b2aa9812tree
parent4a5f5fedddb68de9704cfb9c9991d93d32af8e47commit | diff
Allow a variable number of operands in the proof driver

It can now check unary operations, as well as binary.

Check the "all" method by defining an operation that applies it to
its argument.
src/ieee754/part/formal/proof_partition.py diff | blob | history