2019-06-01 |
whitequark | Travis: update install script.
|
commit | commitdiff | tree |
2019-06-01 |
whitequark | vendor.ice40_hx1k_blink_evn: implement.
|
commit | commitdiff | tree |
2019-06-01 |
whitequark | vendor.icestick: implement.
|
commit | commitdiff | tree |
2019-06-01 |
whitequark | vendor.fpga.lattice_ice40: implement.
|
commit | commitdiff | tree |
2019-06-01 |
whitequark | build.plat: implement.
|
commit | commitdiff | tree |
2019-06-01 |
whitequark | build.res: always return a Pin record.
|
commit | commitdiff | tree |
2019-06-01 |
whitequark | build.res: accept a list of clocks in ConstraintManager...
|
commit | commitdiff | tree |
2019-05-26 |
whitequark | back.rtlil: allow specifying platform for convert().
|
commit | commitdiff | tree |
2019-05-26 |
whitequark | Add versioneer.
|
commit | commitdiff | tree |
2019-05-26 |
whitequark | hdl.ir: silence unused elaboratable warning on interpreter...
|
commit | commitdiff | tree |
2019-05-25 |
whitequark | build.dsl: make Pins and DiffPairs iterable.
|
commit | commitdiff | tree |
2019-05-25 |
whitequark | build.dsl: improve repr of Pins() and DiffPairs().
|
commit | commitdiff | tree |
2019-05-25 |
whitequark | hdl.rec: allow providing fields during construction.
|
commit | commitdiff | tree |
2019-05-25 |
whitequark | Consider Instances a part of containing fragment for...
|
commit | commitdiff | tree |
2019-05-15 |
whitequark | hdl.ir: when adding sync domain to a design, also add...
|
commit | commitdiff | tree |
2019-05-13 |
whitequark | hdl.ir: during port propagation, defs should take priority...
|
commit | commitdiff | tree |
2019-05-13 |
whitequark | back.rtlil: assign undriven signals to their reset...
|
commit | commitdiff | tree |
2019-05-12 |
whitequark | hdl: make all public Value classes other than Record...
|
commit | commitdiff | tree |
2019-05-12 |
whitequark | hdl.ir: only pull explicitly specified ports to toplevel...
|
commit | commitdiff | tree |
2019-04-24 |
whitequark | build.dsl: style. NFC.
|
commit | commitdiff | tree |
2019-04-22 |
whitequark | back.verilog: allow stripping the src attribute, for...
|
commit | commitdiff | tree |
2019-04-22 |
whitequark | compat.fhdl.specials: fix TSTriple.
|
commit | commitdiff | tree |
2019-04-22 |
whitequark | hdl.ir: rework named port handling for Instances.
|
commit | commitdiff | tree |
2019-04-21 |
whitequark | Remove examples/tbuf.py.
|
commit | commitdiff | tree |
2019-04-21 |
whitequark | hdl.ir: detect elaboratables that are created but not...
|
commit | commitdiff | tree |
2019-04-21 |
whitequark | back.rtlil: emit `nmigen.hierarchy` attribute.
|
commit | commitdiff | tree |
2019-04-21 |
whitequark | hdl.ast: improve tests for exceptional conditions.
|
commit | commitdiff | tree |
2019-04-21 |
whitequark | hdl.ast: accept Signals with identical min/max bounds.
|
commit | commitdiff | tree |
2019-04-21 |
whitequark | back.rtlil: only expand legalized values in Array/Part...
|
commit | commitdiff | tree |
2019-04-21 |
whitequark | hdl.rec: implement Record.connect.
|
commit | commitdiff | tree |
2019-04-20 |
whitequark | back.rtlil: allow record slices on LHS.
|
commit | commitdiff | tree |
2019-04-19 |
whitequark | hdl.rec: fix slicing of records.
|
commit | commitdiff | tree |
2019-04-18 |
whitequark | hdl.xfrm: handle classes that inherit from Record.
|
commit | commitdiff | tree |
2019-04-15 |
whitequark | lib.io: rework TSTriple/Tristate interface to use pin_layout...
|
commit | commitdiff | tree |
2019-04-10 |
whitequark | hdl.ast: fix some type checks.
|
commit | commitdiff | tree |
2019-04-10 |
whitequark | hdl.xfrm: allow using FragmentTransformer on any elaboratable.
|
commit | commitdiff | tree |
2019-04-09 |
whitequark | hdl: remove deprecated get_fragment() and lower() methods.
|
commit | commitdiff | tree |
2019-04-03 |
whitequark | hdl.ast: handle a common typo, such as Signal(1, True).
|
commit | commitdiff | tree |
2019-03-28 |
whitequark | test_sim: add missing add_process().
|
commit | commitdiff | tree |
2019-03-28 |
whitequark | back.rtlil: fix off-by-one in Part legalization.
|
commit | commitdiff | tree |
2019-03-25 |
whitequark | hdl.ast: fix typo.
|
commit | commitdiff | tree |
2019-03-03 |
whitequark | lib.fifo: register GrayEncoder output before CDC.
|
commit | commitdiff | tree |
2019-03-03 |
whitequark | tracer: factor out get_var_name(default=).
|
commit | commitdiff | tree |
2019-03-03 |
whitequark | hdl.rec: remove __slots__.
|
commit | commitdiff | tree |
2019-02-14 |
whitequark | hdl.ir: raise a more descriptive error on non-elaboratable...
|
commit | commitdiff | tree |
2019-01-26 |
whitequark | back.rtlil: accept ast.Const as cell parameter.
|
commit | commitdiff | tree |
2019-01-26 |
whitequark | hdl.ast: fix ValueKey for Cat.
|
commit | commitdiff | tree |
2019-01-26 |
whitequark | compat.fhdl.module: fix typo.
|
commit | commitdiff | tree |
2019-01-26 |
whitequark | compat.fhdl.specials: fix __all__ list.
|
commit | commitdiff | tree |
2019-01-26 |
whitequark | compat.genlib.resetsync: add shim for AsyncResetSynchronizer.
|
commit | commitdiff | tree |
2019-01-26 |
whitequark | compat.fifo: fix _FIFOInterface deprecation wrapper.
|
commit | commitdiff | tree |
2019-01-26 |
whitequark | lib.cdc: add ResetSynchronizer.
|
commit | commitdiff | tree |
2019-01-26 |
whitequark | back.pysim: support async reset.
|
commit | commitdiff | tree |
2019-01-26 |
whitequark | back.pysim: give better names to unnamed fragments...
|
commit | commitdiff | tree |
2019-01-26 |
whitequark | examples: update for newer API.
|
commit | commitdiff | tree |
2019-01-26 |
whitequark | back.rtlil: accept any elaboratable, not just fragments.
|
commit | commitdiff | tree |
2019-01-26 |
whitequark | compat: suppress deprecation warnings that are internal...
|
commit | commitdiff | tree |
2019-01-26 |
whitequark | test.compat: reenable tests converting to Verilog.
|
commit | commitdiff | tree |
2019-01-26 |
whitequark | compat.sim: fix deprecated stdlib import.
|
commit | commitdiff | tree |
2019-01-26 |
whitequark | hdl.ir: rename .get_fragment() to .elaborate().
|
commit | commitdiff | tree |
2019-01-26 |
whitequark | test.compat: import tests from Migen as appropriate.
|
commit | commitdiff | tree |
2019-01-26 |
whitequark | hdl.ast: fix shape calculation for *.
|
commit | commitdiff | tree |
2019-01-25 |
whitequark | back.pysim: fix behavior of initial cycle for sync...
|
commit | commitdiff | tree |
2019-01-22 |
whitequark | lib.fifo: in FIFOInterface.read(), check readable on...
|
commit | commitdiff | tree |
2019-01-22 |
whitequark | compat.genlib.fifo: adjust _FIFOInterface shim to not...
|
commit | commitdiff | tree |
2019-01-22 |
whitequark | lib.fifo: fix typo in AsyncFIFO documentation.
|
commit | commitdiff | tree |
2019-01-21 |
whitequark | lib.fifo: add AsyncFIFO and AsyncFIFOBuffered.
|
commit | commitdiff | tree |
2019-01-21 |
whitequark | back.pysim: wake up processes before ever committing...
|
commit | commitdiff | tree |
2019-01-20 |
whitequark | compat.genlib.cdc: add missing import.
|
commit | commitdiff | tree |
2019-01-20 |
whitequark | compat.genlib.cdc: add GrayCounter and GrayDecoder...
|
commit | commitdiff | tree |
2019-01-20 |
whitequark | lib.coding: add GrayEncoder and GrayDecoder.
|
commit | commitdiff | tree |
2019-01-20 |
whitequark | lib.coding: add width as attribute to all coders.
|
commit | commitdiff | tree |
2019-01-19 |
whitequark | lib.fifo: use memory in the FIFO model.
|
commit | commitdiff | tree |
2019-01-19 |
whitequark | lib.fifo: use model equivalence to simplify formal...
|
commit | commitdiff | tree |
2019-01-19 |
whitequark | hdl.ast: implement shape for modulo operator.
|
commit | commitdiff | tree |
2019-01-19 |
whitequark | hdl.ast: add Value.implies.
|
commit | commitdiff | tree |
2019-01-19 |
whitequark | hdl.xfrm: mark internal registers used in lowering...
|
commit | commitdiff | tree |
2019-01-19 |
whitequark | doc: update COMPAT_SUMMARY.
|
commit | commitdiff | tree |
2019-01-19 |
whitequark | fhdl.specials: add compatibility shim for Tristate.
|
commit | commitdiff | tree |
2019-01-19 |
whitequark | lib.fifo: fix simulation read/write methods to take...
|
commit | commitdiff | tree |
2019-01-19 |
whitequark | compat.genlib.fifo: add aliases for SyncFIFO, SyncFIFOBuffered.
|
commit | commitdiff | tree |
2019-01-19 |
whitequark | lib.fifo: formally verify FIFO contract.
|
commit | commitdiff | tree |
2019-01-19 |
whitequark | hdl.ast: give Assert and Assume their own src_loc.
|
commit | commitdiff | tree |
2019-01-18 |
whitequark | back.rtlil: only emit each AnyConst/AnySeq cell once.
|
commit | commitdiff | tree |
2019-01-17 |
whitequark | lib.fifo: add basic formal specification.
|
commit | commitdiff | tree |
2019-01-17 |
whitequark | hdl.ast: allow sampling ClockSignal, ResetSignal.
|
commit | commitdiff | tree |
2019-01-17 |
whitequark | hdl.ast: add Past, Stable, Rose, Fell.
|
commit | commitdiff | tree |
2019-01-17 |
whitequark | formal: extract from toplevel module.
|
commit | commitdiff | tree |
2019-01-17 |
whitequark | hdl.xfrm: add SampleLowerer.
|
commit | commitdiff | tree |
2019-01-17 |
whitequark | hdl.ast: add Sample.
|
commit | commitdiff | tree |
2019-01-16 |
whitequark | lib.fifo: port sync FIFO queues from Migen.
|
commit | commitdiff | tree |
2019-01-16 |
whitequark | hdl.ast: fix naming of Signal.like() signals when tracer...
|
commit | commitdiff | tree |
2019-01-16 |
whitequark | back.rtlil: slightly nicer naming for $next signals...
|
commit | commitdiff | tree |
2019-01-16 |
whitequark | back.rtlil: rename \sig$next to $next$sig.
|
commit | commitdiff | tree |
2019-01-16 |
whitequark | Travis: install SymbiYosys and Yices2.
|
commit | commitdiff | tree |
2019-01-15 |
whitequark | Unbreak 655d02d5.
|
commit | commitdiff | tree |
2019-01-14 |
whitequark | lib.io: pass pin to platform.get_tristate().
|
commit | commitdiff | tree |
2019-01-14 |
whitequark | hdl.ir: allow explicitly requesting flattening.
|
commit | commitdiff | tree |
2019-01-14 |
whitequark | lib.io: lower to platform-independent tristate buffer.
|
commit | commitdiff | tree |
2019-01-14 |
whitequark | hdl: make ClockSignal and ResetSignal usable on LHS.
|
commit | commitdiff | tree |
next |