projects / ieee754fpu.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: def9d37) | patch
Use styles in write_gtkw to simplify the trace description
authorCesar Strauss <cestrauss@gmail.com>
Sun, 10 Jan 2021 21:18:17 +0000 (18:18 -0300)
committerCesar Strauss <cestrauss@gmail.com>
Sun, 10 Jan 2021 21:18:17 +0000 (18:18 -0300)
commite039b6d881e589d89c7812863f84519ca08ca4e2
treedcf37c9487e74e69a6e3b337361a9d3e71398ddatree
parentdef9d3725d092926eaabf8ecefb72b3510e249eecommit | diff
Use styles in write_gtkw to simplify the trace description
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