projects / nmigen.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
back.pysim: fix behavior of initial cycle for sync processes.
[nmigen.git] / nmigen / lib / fifo.py
2019-01-25 whitequarkback.pysim: fix behavior of initial cycle for sync... blob | commitdiff | raw
2019-01-22 whitequarklib.fifo: in FIFOInterface.read(), check readable on... blob | commitdiff | raw | diff to current
2019-01-22 whitequarklib.fifo: fix typo in AsyncFIFO documentation. blob | commitdiff | raw
2019-01-21 whitequarklib.fifo: add AsyncFIFO and AsyncFIFOBuffered. blob | commitdiff | raw | diff to current
2019-01-19 whitequarklib.fifo: fix simulation read/write methods to take... blob | commitdiff | raw | diff to current
2019-01-19 whitequarklib.fifo: formally verify FIFO contract. blob | commitdiff | raw | diff to current
2019-01-17 whitequarklib.fifo: add basic formal specification. blob | commitdiff | raw | diff to current
2019-01-16 whitequarklib.fifo: port sync FIFO queues from Migen. blob | commitdiff | raw | diff to current