hdl.ast: implement Initial.
authorwhitequark <cz@m-labs.hk>
Thu, 15 Aug 2019 02:53:07 +0000 (02:53 +0000)
committerwhitequark <cz@m-labs.hk>
Thu, 15 Aug 2019 02:53:07 +0000 (02:53 +0000)
commite1aa314d6eef992881bcb316e0dd82913e848905
tree6a5cd714eb44c0f95845b882bb58e5566255512f
parent37fb67c0fd51638fb724d74669d5acef644a2177
hdl.ast: implement Initial.

This is the last remaining part for first-class formal support.
nmigen/back/pysim.py
nmigen/back/rtlil.py
nmigen/formal.py
nmigen/hdl/ast.py
nmigen/hdl/xfrm.py
nmigen/lib/fifo.py
nmigen/test/test_hdl_ast.py
nmigen/test/test_lib_fifo.py