ChanServ changed the topic of #nmigen to: nMigen hardware description language · code at https://github.com/nmigen · logs at https://freenode.irclog.whitequark.org/nmigen
<_whitenotifier-3> [nmigen] awygle synchronize pull request #329: Implement solution to AsyncFIFO resets, as in #328 - https://git.io/JvVCG
<_whitenotifier-3> [nmigen] codecov[bot] edited a comment on pull request #329: Implement solution to AsyncFIFO resets, as in #328 - https://git.io/JvVCE
<_whitenotifier-3> [nmigen] awygle commented on pull request #329: Implement solution to AsyncFIFO resets, as in #328 - https://git.io/JvokP
<_whitenotifier-3> [nmigen] codecov[bot] edited a comment on pull request #329: Implement solution to AsyncFIFO resets, as in #328 - https://git.io/JvVCE
<_whitenotifier-3> [nmigen] Success. Absolute coverage decreased by -0.09% but relative coverage increased by +17.52% compared to 2f8669c - https://codecov.io/gh/nmigen/nmigen/compare/2f8669cad6a2452432bfd9b65fdb7427017ac668...939ca68b5e43adcf9ad1ba47c33006a06afacd68
<_whitenotifier-3> [nmigen] codecov[bot] edited a comment on pull request #329: Implement solution to AsyncFIFO resets, as in #328 - https://git.io/JvVCE
<_whitenotifier-3> [nmigen] awygle reviewed pull request #329 commit - https://git.io/JvokD
Degi has quit [Ping timeout: 265 seconds]
Degi has joined #nmigen
_whitelogger has joined #nmigen
<_whitenotifier-3> [nmigen] whitequark commented on pull request #329: Implement solution to AsyncFIFO resets, as in #328 - https://git.io/Jvomg
<_whitenotifier-3> [nmigen] whitequark reviewed pull request #329 commit - https://git.io/JvomA
<_whitenotifier-3> [nmigen] whitequark reviewed pull request #329 commit - https://git.io/JvoYZ
<_whitenotifier-3> [nmigen] whitequark reviewed pull request #329 commit - https://git.io/JvoYn
proteus-guy has quit [Ping timeout: 260 seconds]
<_whitenotifier-3> [nmigen] awygle synchronize pull request #329: Implement solution to AsyncFIFO resets, as in #328 - https://git.io/JvVCG
<_whitenotifier-3> [nmigen] codecov[bot] edited a comment on pull request #329: Implement solution to AsyncFIFO resets, as in #328 - https://git.io/JvVCE
<_whitenotifier-3> [nmigen] codecov[bot] edited a comment on pull request #329: Implement solution to AsyncFIFO resets, as in #328 - https://git.io/JvVCE
<_whitenotifier-3> [nmigen] Success. Absolute coverage decreased by -0.09% but relative coverage increased by +17.52% compared to 2f8669c - https://codecov.io/gh/nmigen/nmigen/compare/2f8669cad6a2452432bfd9b65fdb7427017ac668...8ed065493cc95e6a431ded65ef1d67ca128d11ee
<_whitenotifier-3> [nmigen] codecov[bot] edited a comment on pull request #329: Implement solution to AsyncFIFO resets, as in #328 - https://git.io/JvVCE
q3k has quit [Ping timeout: 272 seconds]
proteus-guy has joined #nmigen
<awygle> Does the nmigen formal stuff map 1:1 to the Yosys formal stuff? I assume yes
_franck_ has joined #nmigen
q3k has joined #nmigen
<_whitenotifier-3> [nmigen] Fatsie commented on issue #185: ASIC support tracking issue - https://git.io/JvoCo
proteus-guy has quit [Ping timeout: 256 seconds]
proteus-guy has joined #nmigen
proteus-guy has quit [Ping timeout: 265 seconds]
proteus-guy has joined #nmigen
proteus-guy has quit [Ping timeout: 268 seconds]
proteus-guy has joined #nmigen
proteus-guy has quit [Ping timeout: 240 seconds]
proteus-guy has joined #nmigen
proteus-guy has quit [Ping timeout: 260 seconds]
electronic_eel has quit [Ping timeout: 256 seconds]
electronic_eel_ has joined #nmigen
proteus-guy has joined #nmigen
electronic_eel_ has quit [Ping timeout: 260 seconds]
electronic_eel has joined #nmigen
Asu has joined #nmigen
Ultrasauce has quit [Quit: Ultrasauce]
Ultrasauce has joined #nmigen
Asu has quit [Remote host closed the connection]