formal→asserts
authorwhitequark <whitequark@whitequark.org>
Mon, 19 Aug 2019 20:23:24 +0000 (20:23 +0000)
committerwhitequark <whitequark@whitequark.org>
Mon, 19 Aug 2019 20:23:24 +0000 (20:23 +0000)
commit32bfbb11cbe9721674082b600eb10ca8656c0178
treeba4e730655c84ef9987f63ffbda47346b0f2b1a8
parent2770db6de817462852a4c2e923fcb6a691c145da
formal→asserts

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