projects / nmigen.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b50b47d) | patch
lib.fifo: formally verify FIFO contract.
authorwhitequark <whitequark@whitequark.org>
Sat, 19 Jan 2019 00:52:56 +0000 (00:52 +0000)
committerwhitequark <whitequark@whitequark.org>
Sat, 19 Jan 2019 00:52:56 +0000 (00:52 +0000)
commit97b990272e01d144988918e4d0a79199c7018714
tree7c28475d28f2fe20a381b5cc79ec8a1f5fccffadtree
parentb50b47d9846e5b3da7d08a0c095a6dd66bbf91c1commit | diff
lib.fifo: formally verify FIFO contract.
nmigen/lib/fifo.py diff | blob | history
nmigen/test/test_lib_fifo.py diff | blob | history
nmigen/test/tools.py diff | blob | history