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)
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
nmigen/formal.py [new file with mode: 0644]

index 473e8de6e82434ddf4f3f20f881db3b2eebeb655..88596a58c361f0595ee57d9fa1fbbddf9dc9d5c0 100644 (file)
@@ -1,4 +1,4 @@
-from .hdl.ast import Value, Const, C, AnyConst, AnySeq, Mux, Cat, Repl, Array, Signal, ClockSignal, ResetSignal, Assert, Assume
+from .hdl.ast import Value, Const, C, Mux, Cat, Repl, Array, Signal, ClockSignal, ResetSignal
 from .hdl.dsl import Module
 from .hdl.cd import ClockDomain
 from .hdl.ir import Fragment, Instance
diff --git a/nmigen/formal.py b/nmigen/formal.py
new file mode 100644 (file)
index 0000000..3d97b33
--- /dev/null
@@ -0,0 +1 @@
+from .hdl.ast import AnyConst, AnySeq, Assert, Assume