projects / nmigen.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0199ce8) | patch
formal: extract from toplevel module.
authorwhitequark <cz@m-labs.hk>
Thu, 17 Jan 2019 01:43:07 +0000 (01:43 +0000)
committerwhitequark <cz@m-labs.hk>
Thu, 17 Jan 2019 01:43:07 +0000 (01:43 +0000)
commitc5c4bb61be3c9ca6a939638f1257a098ba6b2c60
treec3459e6f5a06a6c7e656d63aef38e84f8250236etree
parent0199ce8375fbc258a6e787bd92157684fa2b0c2bcommit | diff
formal: extract from toplevel module.

The nMigen formal language is about to get *much* larger and will
keep growing faster than the rest of nMigen language, so it makes
good sense to extract it. Further, this makes it easier to qualify
formal keywords like `formal.AnyConst()` without directly importing
hdl.ast.
nmigen/__init__.py diff | blob | history
nmigen/formal.py [new file with mode: 0644] blob