sb0_ changed the topic of #m-labs to: https://m-labs.hk :: Logs http://irclog.whitequark.org/m-labs
zng has joined #m-labs
<whitequark> sb0: rjo: so, I was not happy with the migen FIFO code. i could not convince myself that it is correct.
<whitequark> so i wrote a formal spec.
<whitequark> and guess what? there is an incredibly tricky bug in it.
<whitequark> see if you can spot it.
<GitHub-m-labs> [artiq] sbourdeauducq commented on issue #1249: This is correct. 2 is a 32-bit integer which you are raising to the 48th power modulo 2**32, which yields 0. Same problem with shifting 1.... https://github.com/m-labs/artiq/issues/1249#issuecomment-454607387
<GitHub-m-labs> [artiq] sbourdeauducq commented on issue #1249: And the constant folding passes are being done, but they are consistent with the type system. https://github.com/m-labs/artiq/issues/1249#issuecomment-454607680
<_whitenotifier-c> [m-labs/nmigen] whitequark pushed 1 commit to master [+0/-0/±1] https://git.io/fhWlf
<_whitenotifier-c> [m-labs/nmigen] whitequark 68c3707 - Travis: install SymbiYosys and Yices2.
<_whitenotifier-c> [nmigen] Error. The Travis CI build could not complete due to an error - https://travis-ci.org/m-labs/nmigen/builds/480165446?utm_source=github_status&utm_medium=notification
<_whitenotifier-c> [m-labs/nmigen] whitequark pushed 1 commit to master [+0/-0/±1] https://git.io/fhWlZ
<_whitenotifier-c> [m-labs/nmigen] whitequark b043adf - Travis: install SymbiYosys and Yices2.
<_whitenotifier-c> [nmigen] Error. The Travis CI build could not complete due to an error - https://travis-ci.org/m-labs/nmigen/builds/480166194?utm_source=github_status&utm_medium=notification
<_whitenotifier-c> [m-labs/nmigen] whitequark pushed 1 commit to master [+0/-0/±1] https://git.io/fhWlo
<_whitenotifier-c> [m-labs/nmigen] whitequark bfe246a - Travis: install SymbiYosys and Yices2.
<_whitenotifier-c> [nmigen] Success. The Travis CI build passed - https://travis-ci.org/m-labs/nmigen/builds/480167917?utm_source=github_status&utm_medium=notification
<_whitenotifier-c> [nmigen] Success. 80.08% remains the same compared to 6191760 - https://codecov.io/gh/m-labs/nmigen/commit/bfe246a1278bc50ffd6aaae01a2be06e26027092
<_whitenotifier-c> [nmigen] Success. Coverage not affected when comparing 6191760...bfe246a - https://codecov.io/gh/m-labs/nmigen/commit/bfe246a1278bc50ffd6aaae01a2be06e26027092
Gurty has quit [Read error: Connection timed out]
Gurty has joined #m-labs
Gurty has quit [Changing host]
Gurty has joined #m-labs
Gurty has quit [Read error: Connection timed out]
Gurty has joined #m-labs
<sb0> whitequark: the decrement should use the modulo
<sb0> whitequark: if you're rewriting async fifos you should read this http://www.sunburst-design.com/papers/CummingsSNUG2002SJ_FIFO1.pdf
Gurty has quit [Read error: Connection timed out]
Gurty has joined #m-labs
_whitelogger has joined #m-labs
proteusguy has joined #m-labs
proteusguy has quit [Ping timeout: 258 seconds]
proteusguy has joined #m-labs
Gurty has quit [Read error: Connection timed out]
Gurty has joined #m-labs
rohitksingh_work has joined #m-labs
<GitHub-m-labs> [migen] sbourdeauducq pushed 1 new commit to master: https://github.com/m-labs/migen/commit/57c44674c2a6c38bd01804e69db61a9efd287524
<GitHub-m-labs> migen/master 57c4467 Sebastien Bourdeauducq: sayma_amc: add gth_clk200 pins
proteusguy has quit [Remote host closed the connection]
<bb-m-labs> build #365 of migen is complete: Success [build successful] Build details are at http://buildbot.m-labs.hk/builders/migen/builds/365
proteusguy has joined #m-labs
proteusguy has quit [Ping timeout: 258 seconds]
proteusguy has joined #m-labs
rohitksingh_wor1 has joined #m-labs
rohitksingh_wor1 has quit [Client Quit]
rohitksingh_work has quit [Ping timeout: 258 seconds]
proteusguy has quit [Ping timeout: 250 seconds]
<GitHub-m-labs> [artiq] jordens pushed 1 new commit to master: https://github.com/m-labs/artiq/commit/4e142dfbeb94e0ac7676b74dac517a53119f56b9
<GitHub-m-labs> artiq/master 4e142df Robert Jördens: doc/installing: cleanup and fixes...
<GitHub-m-labs> [artiq] jordens pushed 1 new commit to release-4: https://github.com/m-labs/artiq/commit/4f5f0538b7d6685a03ac2a468b389536e6f4f0b1
<GitHub-m-labs> artiq/release-4 4f5f053 Robert Jördens: doc/installing: cleanup and fixes...
<bb-m-labs> build #2267 of artiq-board is complete: Success [build successful] Build details are at http://buildbot.m-labs.hk/builders/artiq-board/builds/2267
<bb-m-labs> build #2268 of artiq-board is complete: Success [build successful] Build details are at http://buildbot.m-labs.hk/builders/artiq-board/builds/2268
<bb-m-labs> build #994 of artiq-win64-test is complete: Success [build successful] Build details are at http://buildbot.m-labs.hk/builders/artiq-win64-test/builds/994
<bb-m-labs> build #2833 of artiq is complete: Success [build successful] Build details are at http://buildbot.m-labs.hk/builders/artiq/builds/2833
<bb-m-labs> build #2269 of artiq-board is complete: Success [build successful] Build details are at http://buildbot.m-labs.hk/builders/artiq-board/builds/2269
<bb-m-labs> build #2270 of artiq-board is complete: Success [build successful] Build details are at http://buildbot.m-labs.hk/builders/artiq-board/builds/2270
<bb-m-labs> build #995 of artiq-win64-test is complete: Success [build successful] Build details are at http://buildbot.m-labs.hk/builders/artiq-win64-test/builds/995
<bb-m-labs> build #2834 of artiq is complete: Success [build successful] Build details are at http://buildbot.m-labs.hk/builders/artiq/builds/2834
proteusguy has joined #m-labs
<whitequark> sb0: yeah.
rohitksingh has joined #m-labs
m4ssi has joined #m-labs
<_whitenotifier-c> [m-labs/nmigen] whitequark pushed 1 commit to master [+0/-0/±1] https://git.io/fhlk3
<_whitenotifier-c> [m-labs/nmigen] whitequark 935bf2d - back.rtlil: rename \sig$next to $next$sig.
<_whitenotifier-c> [nmigen] Success. The Travis CI build passed - https://travis-ci.org/m-labs/nmigen/builds/480419390?utm_source=github_status&utm_medium=notification
<_whitenotifier-c> [nmigen] Success. 80.08% remains the same compared to bfe246a - https://codecov.io/gh/m-labs/nmigen/commit/935bf2d8cff6523e1032d4d01885ae80c0f2c340
<_whitenotifier-c> [nmigen] Success. Coverage not affected when comparing bfe246a...935bf2d - https://codecov.io/gh/m-labs/nmigen/commit/935bf2d8cff6523e1032d4d01885ae80c0f2c340
<sb0> whitequark: nothing is using the replace feature anymore though...
<whitequark> sb0: what was using it?
<whitequark> it has somewhat strange behavior when combined with FWFT, too
rohitksingh has quit [Ping timeout: 244 seconds]
rohitksingh has joined #m-labs
<GitHub-m-labs> [artiq] whitequark commented on issue #1249: Thanks. If constant folding is implemented correctly, it never changes semantics of the code being compiled. As such, your assertions about constant folding happening or not are irrelevant (unless you are trying to highlight a bug in constant folding passes, that is.) https://github.com/m-labs/artiq/issues/1249#issuecomment-454854096
<_whitenotifier-c> [m-labs/nmigen] whitequark pushed 3 commits to master [+2/-0/±3] https://git.io/fhllf
<_whitenotifier-c> [m-labs/nmigen] whitequark f242500 - back.rtlil: slightly nicer naming for $next signals. NFC.
<_whitenotifier-c> [m-labs/nmigen] whitequark cb2f18e - hdl.ast: fix naming of Signal.like() signals when tracer fails.
<_whitenotifier-c> [m-labs/nmigen] whitequark b78a2be - lib.fifo: port sync FIFO queues from Migen.
<_whitenotifier-c> [nmigen] Success. The Travis CI build passed - https://travis-ci.org/m-labs/nmigen/builds/480490033?utm_source=github_status&utm_medium=notification
<_whitenotifier-c> [nmigen] Success. 80.42% (+0.33%) compared to 935bf2d - https://codecov.io/gh/m-labs/nmigen/commit/b78a2be9f6f464dd3f1b7a4e0e6eace510a9203d
<_whitenotifier-c> [nmigen] Success. 91.39% of diff hit (target 80.08%) - https://codecov.io/gh/m-labs/nmigen/commit/b78a2be9f6f464dd3f1b7a4e0e6eace510a9203d
<key2_> rjo: sounds like jtagspi of openocd is a bit broken now that they updated the flash definition, you had a look ?
<rjo> key2_: no.
m4ssi has quit [Remote host closed the connection]
<GitHub-m-labs> [artiq] jbqubit opened issue #1250: idle_kernel doesn't run at power-on https://github.com/m-labs/artiq/issues/1250
rohitksingh has quit [Remote host closed the connection]
X-Scale has quit [Ping timeout: 245 seconds]
hartytp has joined #m-labs
X-Scale has joined #m-labs
mauz555 has joined #m-labs
hartytp has quit [Ping timeout: 256 seconds]
iwxzr has quit [Quit: WeeChat 2.1]
Gurty has quit [Ping timeout: 252 seconds]
cr1901_modern has quit [Quit: Leaving.]
cr1901_modern has joined #m-labs