projects / soc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1f5069f) | patch
Whitespace
authorCesar Strauss <cestrauss@gmail.com>
Sun, 6 Dec 2020 12:31:31 +0000 (09:31 -0300)
committerCesar Strauss <cestrauss@gmail.com>
Sun, 6 Dec 2020 12:31:31 +0000 (09:31 -0300)
commit5bc4a63a1cfe6bdb76fd1d622d9f9565077beff2
treeba9a3c251436a00b29a1c840d2663f87c0487506tree
parent1f5069f0480c08a4c03838214f9fdc8aef94bac9commit | diff
Whitespace
src/soc/fu/compunits/formal/proof_fu.py diff | blob | history