projects / nmigen.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fb3465a) | patch
cross-reference to symbiyosys in README,
authorLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Sun, 1 May 2022 10:13:25 +0000 (11:13 +0100)
committerLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Sun, 1 May 2022 10:13:25 +0000 (11:13 +0100)
commit350855293f6380c220e75fdf7b0fbd4a8088603d
tree6f994e6482e369c932e1d06bacfb1f2677135d3ctree
parentfb3465a905e850fd84d944372e9f70c64335f73ecommit | diff
cross-reference to symbiyosys in README,
mentioning that Formal Correctness Proofs may be written and run from nmigen
README.md diff | blob | history