00:36 <Astro-_> @sb10q no, the cora is properly resetable

01:05 <cr1901_modern> sb10q: How's the cora as a dev board in your experience? I got my hands on one recently, but haven't used it yet

02:41 <mtrbot-ml> [mattermost] <sb10q> @astro how about this https://git.m-labs.hk/M-Labs/zc706/issues/8 ?

02:41 <mtrbot-ml> [mattermost] <sb10q> this systematically happens atm

02:41 <mtrbot-ml> [mattermost] <sb10q> even after a fresh zc706 power cycle

02:41 <mtrbot-ml> [mattermost] <sb10q> 1st attempt fails like this 2nd succeeeds

02:42 <mtrbot-ml> [mattermost] <sb10q> also JTAG disconnects more or less at the same time as the firmware prints "Eth On"

02:56 <mtrbot-ml> [mattermost] <sb10q> does the cora also exhibit xilinxⓇ behavior like this?

04:15 <_whitenotifier-5> [nmigen-stdio] HarryHo90sHK reviewed pull request #2 commit - https://git.io/JeAas

04:18 <_whitenotifier-5> [nmigen-stdio] HarryHo90sHK reviewed pull request #2 commit - https://git.io/JeAaZ

05:13 <N3RGY> I'm trying to do some stuff with SolveSpace and running into an issue with groups. Let's say I want to make a 3x3 grid of 10mm circles. I don't know ahead of time how far apart they'll need to be - that depends on geometry that hasn't been created yet. I create a circle, constraint diameter to 10mm, make a 3x translated group in X direction, make another 3x translated group in Y direction. The first group has 1 DOF (width between circles), the s

05:13 <N3RGY> econd group has 1 DOF (height between circles). Now, if I try to constrain the width of the grid, it only allows me to create a reference dimension. If I try to turn the reference dimension into a constraint, it complains "redundant constraint". But it's not redundant - it's exactly constraining the 1 DOF of the inner group. Constraining the height works fine (presumably because the height comes from the outermost translate group). What am I doi

05:13 <N3RGY> ng wrong?

05:47 <N3RGY_> @whitequark don't think you were logged in when I posted a question about SolveSpace earlier. Seems like you might be my best bet for an answer :) Pasting here - https://paste.best/p/Gp8bm-jZIQs=

09:30 <_whitenotifier-5> [nmigen-stdio] whitequark reviewed pull request #2 commit - https://git.io/JeAiD

09:59 <_whitenotifier-5> [m-labs/nmigen-boards] whitequark pushed 1 commit to master [+1/-0/±0] https://git.io/JeAPk

09:59 <_whitenotifier-5> [m-labs/nmigen-boards] whitequark 6b19d22 - Add Lattice ECP5-5G Evaluation Board stub.

14:00 <_whitenotifier-5> [nmigen] peteut opened issue #288: Signal.__doc__: Mention `range`'s `Shape.cast`able Variant - https://git.io/JeAMH

19:17 <_whitenotifier-5> [nmigen] JarrettBillingsley opened issue #289: Finding out what resources an nMigen module uses in the output design - https://git.io/JeA7j

21:36 <_whitenotifier-5> [nmigen] ZirconiumX commented on issue #289: Finding out what resources an nMigen module uses in the output design - https://git.io/JeAF2

21:51 <_whitenotifier-5> [nmigen] whitequark commented on issue #289: Finding out what resources an nMigen module uses in the output design - https://git.io/JeAFS