projects / nmigen.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: be2c686) | patch
formal→asserts
authorwhitequark <cz@m-labs.hk>
Mon, 19 Aug 2019 20:23:24 +0000 (20:23 +0000)
committerwhitequark <cz@m-labs.hk>
Mon, 19 Aug 2019 20:23:24 +0000 (20:23 +0000)
commit1816086bb285b873322de9c34116ad45d2c4bc39
treeba4e730655c84ef9987f63ffbda47346b0f2b1a8tree
parentbe2c68633ed3d814f0425a08d797d9a90c6d8985commit | diff
formal→asserts

Closes #171.
nmigen/asserts.py [new file with mode: 0644] blob
nmigen/formal.py [deleted file] blob | history
nmigen/hdl/ast.py diff | blob | history
nmigen/lib/fifo.py diff | blob | history
nmigen/test/test_lib_coding.py diff | blob | history
nmigen/test/test_lib_fifo.py diff | blob | history