projects / nmigen.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 198efca) | patch
formal: extract from toplevel module.
authorwhitequark <whitequark@whitequark.org>
Thu, 17 Jan 2019 01:43:07 +0000 (01:43 +0000)
committerwhitequark <whitequark@whitequark.org>
Thu, 17 Jan 2019 01:43:07 +0000 (01:43 +0000)
commit16f90d3585b8a5f71bad05b948f0d481c6080869
treec3459e6f5a06a6c7e656d63aef38e84f8250236etree
parent198efcad31bac1791f5baa65c382a15b6f5125f5commit | 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