projects / ieee754fpu.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cc37b3e) | patch
Start work on improving formal verification of PartitionedSignal
authorCesar Strauss <cestrauss@gmail.com>
Mon, 4 Jan 2021 19:56:25 +0000 (16:56 -0300)
committerCesar Strauss <cestrauss@gmail.com>
Mon, 4 Jan 2021 20:00:28 +0000 (17:00 -0300)
commit5fecfa7c8f181eb182ea0ee18ac1d398061e0e86
tree6cc1f3b1cb137862aae96ccb4dba8c00b17b4689tree
parentcc37b3eed710bc3d8877b6170dcb0d6da183eea2commit | diff
Start work on improving formal verification of PartitionedSignal

The goal is to have a generic approach, decoupled from the actual
implementation of each partitioned operation.
src/ieee754/part/formal/.gitignore [new file with mode: 0644] blob
src/ieee754/part/formal/proof_partition.py [new file with mode: 0644] blob