From: whitequark <whitequark@whitequark.org>
Date: Thu, 17 Jan 2019 01:43:07 +0000 (+0000)
Subject: formal: extract from toplevel module.
X-Git-Tag: working~74
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=16f90d3585b8a5f71bad05b948f0d481c6080869;p=nmigen.git

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.
---

diff --git a/nmigen/__init__.py b/nmigen/__init__.py
index 473e8de..88596a5 100644
--- a/nmigen/__init__.py
+++ b/nmigen/__init__.py
@@ -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
index 0000000..3d97b33
--- /dev/null
+++ b/nmigen/formal.py
@@ -0,0 +1 @@
+from .hdl.ast import AnyConst, AnySeq, Assert, Assume