doc: update COMPAT_SUMMARY to reflect actual status.

doc/COMPAT_SUMMARY.md

@@ -19,172 +19,169 @@ API change legend:
 When describing renames or replacements, `mod` refers to a 3rd-party package `mod` (no nMigen implementation provided), `.mod.item` refers to `nmigen.mod.item`, and "(import `.item`)" means that, while `item` is provided under `nmigen.mod.item`, it is aliased to, and should be imported from a shorter path for readability.
 
 Status legend:
-  - (×) Intended replacement (the API is decided on)
+  - (−) No decision yet, or no replacement implemented
-  - (−) Implemented replacement (the API and compatibility shim are provided)
+  - (+) Implemented replacement (the API and/or compatibility shim are provided)
-  - (+) Verified replacement and/or compatibility shim (the compatibility shim is manually reviewed and has 100% coverage)
+  - (⊕) Verified replacement and/or compatibility shim (the compatibility shim is manually reviewed and/or has 100% test coverage)
-  - (∼) No direct replacement or compatibility shim is provided
+  - (⊙) No direct replacement or compatibility shim is provided
 
 Compatibility summary
 ---------------------
 
-  - (×) `fhdl`
+  - (−) `fhdl`
-    - (×) `bitcontainer` ⇒ `.tools`
+    - (+) `bitcontainer` ⇒ `.tools`
-      - (×) `log2_int` id
+      - (+) `log2_int` id
-      - (×) `bits_for` id
+      - (+) `bits_for` id
-      - (×) `value_bits_sign` → `Value.shape`
+      - (+) `value_bits_sign` → `Value.shape`
-    - (×) `conv_output` ?
+    - (−) `conv_output` ?
-    - (×) `decorators` ⇒ `.fhdl.xfrm`
+    - (+) `decorators` ⇒ `.fhdl.xfrm`
       Note: `transform_*` methods not considered part of public API.
-      - (∼) `ModuleTransformer` **brk**
+      - (⊙) `ModuleTransformer` **brk**
-      - (∼) `ControlInserter` **brk**
+      - (⊙) `ControlInserter` **brk**
-      - (×) `CEInserter` id, `clock_domains=`→`controls=`
+      - (+) `CEInserter` id, `clock_domains=`→`controls=`
-      - (×) `ResetInserter` id, `clock_domains=`→`controls=`
+      - (+) `ResetInserter` id, `clock_domains=`→`controls=`
-      - (×) `ClockDomainsRenamer` → `DomainRenamer`, `cd_remapping=`→`domain_map=`
+      - (+) `ClockDomainsRenamer` → `DomainRenamer`, `cd_remapping=`→`domain_map=`
-    - (∼) `edif` **brk**
+    - (⊙) `edif` **brk**
-    - (×) `module` **obs** → `.fhdl.dsl`
+    - (+) `module` **obs** → `.fhdl.dsl`
-      - (×) `FinalizeError` **obs**
+      - (+) `FinalizeError` **obs**
-      - (×) `Module` **obs** → `.fhdl.dsl.Module`
+      - (+) `Module` **obs** → `.fhdl.dsl.Module`
-    - (∼) `namer` **brk**
+    - (⊙) `namer` **brk**
-    - (×) `simplify` ?
+    - (−) `simplify` ?
-      - (×) `FullMemoryWE` ?
+      - (−) `FullMemoryWE` ?
-      - (×) `MemoryToArray` ?
+      - (−) `MemoryToArray` ?
-      - (×) `SplitMemory` ?
+      - (−) `SplitMemory` ?
-    - (×) `specials` **obs**
+    - (−) `specials` **obs**
-      - (×) `Special` ?
+      - (−) `Special` ?
-      - (×) `Tristate` ?
+      - (−) `Tristate` ?
-      - (×) `TSTriple` → `.genlib.io.TSTriple`, `bits_sign=`→`shape=`
+      - (+) `TSTriple` → `.genlib.io.TSTriple`, `bits_sign=`→`shape=`
-      - (×) `Instance` ?
+      - (−) `Instance` ?
-      - (×) `READ_FIRST`/`WRITE_FIRST`/`NO_CHANGE` ?
+      - (−) `READ_FIRST`/`WRITE_FIRST`/`NO_CHANGE` ?
-      - (×) `_MemoryPort` ?
+      - (−) `_MemoryPort` ?
-      - (×) `Memory` ?
+      - (−) `Memory` ?
-    - (×) `structure` → `.fhdl.ast`
+    - (−) `structure` → `.fhdl.ast`
-      - (×) `DUID` id
+      - (+) `DUID` id
-      - (×) `_Value` → `Value`
+      - (+) `_Value` → `Value`
         Note: values no longer valid as keys in `dict` and `set`; use `ValueDict` and `ValueSet` instead.
-      - (×) `wrap` → `Value.wrap`
+      - (+) `wrap` → `Value.wrap`
-      - (×) `_Operator` → `Operator`
+      - (+) `_Operator` → `Operator`
-      - (×) `Mux` → `Mux`
+      - (+) `Mux` → `Mux`
-      - (×) `_Slice` → `Slice`, `stop=`→`end=`, `.stop`→`.end`
+      - (+) `_Slice` → `Slice`, `stop=`→`end=`, `.stop`→`.end`
-      - (×) `_Part` → `Part`
+      - (+) `_Part` → `Part`
-      - (×) `Cat` id, `.l`→`.operands`
+      - (+) `Cat` id, `.l`→`.operands`
-      - (×) `Replicate` → `Repl`, `v=`→`value=`, `n=`→`count=`, `.v`→`.value`, `.n`→`.count`
+      - (+) `Replicate` → `Repl`, `v=`→`value=`, `n=`→`count=`, `.v`→`.value`, `.n`→`.count`
-      - (×) `Constant` → `Const`, `bits_sign=`→`shape=`
+      - (+) `Constant` → `Const`, `bits_sign=`→`shape=`
-      - (×) `Signal` id, `bits_sign=`→`shape=`, `attr=`→`attrs=`, `name_override=`∼, `related=`, `variable=`∼
+      - (+) `Signal` id, `bits_sign=`→`shape=`, `attr=`→`attrs=`, `name_override=`∼, `related=`, `variable=`∼
-      - (×) `ClockSignal` id, `cd=`→`domain=`
+      - (+) `ClockSignal` id, `cd=`→`domain=`
-      - (×) `ResetSignal` id, `cd=`→`domain=`
+      - (+) `ResetSignal` id, `cd=`→`domain=`
-      - (×) `_Statement` → `Statement`
+      - (+) `_Statement` → `Statement`
-      - (×) `_Assign` → `Assign`, `l=`→`lhs=`, `r=`→`rhs=`
+      - (+) `_Assign` → `Assign`, `l=`→`lhs=`, `r=`→`rhs=`
-      - (×) `_check_statement` **obs** → `Statement.wrap`
+      - (-) `_check_statement` **obs** → `Statement.wrap`
-      - (×) `If` **obs** → `.fhdl.dsl.Module.If`
+      - (+) `If` **obs** → `.fhdl.dsl.Module.If`
-      - (×) `Case` **obs** → `.fhdl.dsl.Module.Switch`
+      - (+) `Case` **obs** → `.fhdl.dsl.Module.Switch`
-      - (×) `_ArrayProxy` ?
+      - (−) `_ArrayProxy` ?
-      - (×) `Array` ?
+      - (−) `Array` ?
-      - (×) `ClockDomain` → `.fhdl.cd.ClockDomain`
+      - (+) `ClockDomain` → `.fhdl.cd.ClockDomain`
-      - (×) `_ClockDomainList` ?
+      - (−) `_ClockDomainList` ?
-      - (×) `SPECIAL_INPUT`/`SPECIAL_OUTPUT`/`SPECIAL_INOUT` ?
+      - (−) `SPECIAL_INPUT`/`SPECIAL_OUTPUT`/`SPECIAL_INOUT` ?
-      - (∼) `_Fragment` **brk** → `.fhdl.ir.Fragment`
+      - (⊙) `_Fragment` **brk** → `.fhdl.ir.Fragment`
-    - (×) `tools` **brk**
+    - (−) `tools` **brk**
-      - (×) `list_signals` ?
+      - (−) `list_signals` ?
-      - (×) `list_targets` ?
+      - (−) `list_targets` ?
-      - (×) `list_inputs` ?
+      - (−) `list_inputs` ?
-      - (×) `group_by_targets` ?
+      - (−) `group_by_targets` ?
-      - (∼) `list_special_ios` **brk**
+      - (⊙) `list_special_ios` **brk**
-      - (∼) `list_clock_domains_expr` **brk**
+      - (⊙) `list_clock_domains_expr` **brk**
-      - (×) `list_clock_domains` ?
+      - (−) `list_clock_domains` ?
-      - (×) `is_variable` ?
+      - (−) `is_variable` ?
-      - (∼) `generate_reset` **brk**
+      - (⊙) `generate_reset` **brk**
-      - (∼) `insert_reset` **brk**
+      - (⊙) `insert_reset` **brk**
-      - (∼) `insert_resets` **brk** → `.fhdl.xfrm.ResetInserter`
+      - (⊙) `insert_resets` **brk** → `.fhdl.xfrm.ResetInserter`
-      - (∼) `lower_basics` **brk**
+      - (⊙) `lower_basics` **brk**
-      - (∼) `lower_complex_slices` **brk**
+      - (⊙) `lower_complex_slices` **brk**
-      - (∼) `lower_complex_parts` **brk**
+      - (⊙) `lower_complex_parts` **brk**
-      - (∼) `rename_clock_domain_expr` **brk**
+      - (⊙) `rename_clock_domain_expr` **brk**
-      - (∼) `rename_clock_domain` **brk** → `.fhdl.xfrm.DomainRenamer`
+      - (⊙) `rename_clock_domain` **brk** → `.fhdl.xfrm.DomainRenamer`
-      - (∼) `call_special_classmethod` **brk**
+      - (⊙) `call_special_classmethod` **brk**
-      - (∼) `lower_specials` **brk**
+      - (⊙) `lower_specials` **brk**
-    - (×) `tracer` **brk**
+    - (−) `tracer` **brk**
-      - (×) `get_var_name` ?
+      - (−) `get_var_name` ?
-      - (×) `remove_underscore` ?
+      - (−) `remove_underscore` ?
-      - (×) `get_obj_var_name` ?
+      - (−) `get_obj_var_name` ?
-      - (×) `index_id` ?
+      - (−) `index_id` ?
-      - (×) `trace_back` ?
+      - (−) `trace_back` ?
-    - (×) `verilog`
+    - (−) `verilog`
-      - (×) `DummyAttrTranslate` ?
+      - (−) `DummyAttrTranslate` ?
-      - (×) `convert` **obs** → `.back.verilog.convert`
+      - (−) `convert` **obs** → `.back.verilog.convert`
-    - (∼) `visit` **brk** → `.fhdl.xfrm`
+    - (⊙) `visit` **brk** → `.fhdl.xfrm`
-      - (∼) `NodeVisitor` **brk**
+      - (⊙) `NodeVisitor` **brk**
-      - (∼) `NodeTransformer` **brk** → `.fhdl.xfrm.ValueTransformer`/`.fhdl.xfrm.StatementTransformer`
+      - (⊙) `NodeTransformer` **brk** → `.fhdl.xfrm.ValueTransformer`/`.fhdl.xfrm.StatementTransformer`
-  - (×) `genlib`
+  - (−) `genlib`
-    - (×) `cdc` ?
+    - (−) `cdc` ?
-      - (×) `MultiRegImpl` ?
+      - (−) `MultiRegImpl` ?
-      - (×) `MultiReg` id
+      - (+) `MultiReg` id
-      - (×) `PulseSynchronizer` ?
+      - (−) `PulseSynchronizer` ?
-      - (×) `BusSynchronizer` ?
+      - (−) `BusSynchronizer` ?
-      - (×) `GrayCounter` ?
+      - (−) `GrayCounter` ?
-      - (×) `GrayDecoder` ?
+      - (−) `GrayDecoder` ?
-      - (×) `ElasticBuffer` ?
+      - (−) `ElasticBuffer` ?
-      - (×) `lcm` ?
+      - (−) `lcm` ?
-      - (×) `Gearbox` ?
+      - (−) `Gearbox` ?
-    - (×) `coding` ?
+    - (−) `coding` ?
-      - (×) `Encoder` ?
+      - (−) `Encoder` ?
-      - (×) `PriorityEncoder` ?
+      - (−) `PriorityEncoder` ?
-      - (×) `Decoder` ?
+      - (−) `Decoder` ?
-      - (×) `PriorityDecoder` ?
+      - (−) `PriorityDecoder` ?
-    - (×) `divider` ?
+    - (−) `divider` ?
-      - (×) `Divider`
+      - (−) `Divider` ?
-    - (×) `fifo` ?
+    - (−) `fifo` ?
-      - (×) `SyncFIFO` ?
+      - (−) `SyncFIFO` ?
-      - (×) `SyncFIFOBuffered` ?
+      - (−) `SyncFIFOBuffered` ?
-      - (×) `AsyncFIFO` ?
+      - (−) `AsyncFIFO` ?
-      - (×) `AsyncFIFOBuffered` ?
+      - (−) `AsyncFIFOBuffered` ?
-      - (×) `_FIFOInterface` ?
+      - (−) `_FIFOInterface` ?
-    - (×) `fsm` **obs**
+    - (+) `fsm` **obs**
-      - (×) `AnonymousState` **obs**
+      - (+) `AnonymousState` **obs**
-      - (×) `NextState` **obs**
+      - (+) `NextState` **obs**
-      - (×) `NextValue` **obs**
+      - (+) `NextValue` **obs**
-      - (×) `_LowerNext` **obs**
+      - (+) `_LowerNext` **obs**
-      - (×) `FSM` **obs**
+      - (+) `FSM` **obs**
-    - (×) `io` ?
+    - (−) `io` ?
-      - (×) `DifferentialInput` ?
+      - (−) `DifferentialInput` ?
-      - (×) `DifferentialOutput` ?
+      - (−) `DifferentialOutput` ?
-      - (×) `CRG` ?
+      - (−) `CRG` ?
-      - (×) `DDRInput` ?
+      - (−) `DDRInput` ?
-      - (×) `DDROutput` ?
+      - (−) `DDROutput` ?
-    - (×) `misc` ?
+    - (−) `misc` ?
-      - (×) `split` ?
+      - (−) `split` ?
-      - (×) `displacer` ?
+      - (−) `displacer` ?
-      - (×) `chooser` ?
+      - (−) `chooser` ?
-      - (×) `timeline` ?
+      - (−) `timeline` ?
-      - (×) `WaitTimer` ?
+      - (−) `WaitTimer` ?
-      - (×) `BitSlip` ?
+      - (−) `BitSlip` ?
-    - (×) `record` ?
+    - (−) `record` ?
-      - (×) `DIR_NONE` ?
+      - (−) `DIR_NONE`/`DIR_S_TO_M`/`DIR_M_TO_S` ?
-      - (×) `DIR_S_TO_M` ?
+      - (−) `set_layout_parameters` ?
-      - (×) `DIR_M_TO_S` ?
+      - (−) `layout_len` ?
-      - (×) `set_layout_parameters` ?
+      - (−) `layout_get` ?
-      - (×) `layout_len` ?
+      - (−) `layout_partial` ?
-      - (×) `layout_get` ?
+      - (−) `Record` ?
-      - (×) `layout_partial` ?
+    - (−) `resetsync` ?
-      - (×) `Record` ?
+      - (−) `AsyncResetSynchronizer` ?
-    - (×) `resetsync` ?
+    - (−) `roundrobin` ?
-      - (×) `AsyncResetSynchronizer` ?
+      - (−) `SP_WITHDRAW`/`SP_CE` ?
-    - (×) `roundrobin` ?
+      - (−) `RoundRobin` ?
-      - (×) `SP_WITHDRAW` ?
+    - (−) `sort` ?
-      - (×) `SP_CE` ?
+      - (−) `BitonicSort` ?
-      - (×) `RoundRobin` ?
+  - (-) `sim` **obs** → `.back.pysim`
-    - (×) `sort` ?
+    - (⊙) `core` **brk**
-      - (×) `BitonicSort` ?
+    - (⊙) `vcd` **brk** → `vcd`
-  - (×) `sim` **obs** → `.back.pysim`
-    - (∼) `core` **brk**
-    - (∼) `vcd` **brk** → `vcd`
     Note: only items directly under `nmigen.compat.sim`, not submodules, are provided.
-    - (×) `Simulator` **brk**
+    - (⊙) `Simulator` **brk**
-    - (×) `run_simulation` **obs** → `.back.pysim.Simulator`
+    - (+) `run_simulation` **obs** → `.back.pysim.Simulator`
-    - (×) `passive` **obs** → `.fhdl.ast.Passive`
+    - (−) `passive` **obs** → `.fhdl.ast.Passive`
-  - (×) `build` ?
+  - (−) `build` ?
-  - (×) `util` **obs**
+  - (+) `util` **obs**
-    - (×) `misc` ⇒ `.tools`
+    - (+) `misc` ⇒ `.tools`
-      - (×) `flat_iteration` → `.flatten`
+      - (+) `flat_iteration` → `.flatten`
-      - (∼) `xdir` **brk**
+      - (⊙) `xdir` **brk**
-      - (∼) `gcd_multiple` **brk**
+      - (⊙) `gcd_multiple` **brk**
-    - (∼) `treeviz` **brk**
+    - (⊙) `treeviz` **brk**