02:28 <_whitenotifier-f> [nmigen] whitequark commented on pull request #401: Preserve allow_reset_less when remapping ResetSignal. Closes #400 - https://git.io/Jf114

11:21 <_whitenotifier-f> [nmigen] adamgreig synchronize pull request #401: Preserve allow_reset_less when remapping ResetSignal. Closes #400 - https://git.io/Jf1g4

11:21 <_whitenotifier-f> [nmigen] codecov[bot] edited a comment on pull request #401: Preserve allow_reset_less when remapping ResetSignal. Closes #400 - https://git.io/Jf1gp

11:23 <_whitenotifier-f> [nmigen] codecov[bot] edited a comment on pull request #401: Preserve allow_reset_less when remapping ResetSignal. Closes #400 - https://git.io/Jf1gp

11:23 <_whitenotifier-f> [nmigen] codecov[bot] edited a comment on pull request #401: Preserve allow_reset_less when remapping ResetSignal. Closes #400 - https://git.io/Jf1gp

11:24 <_whitenotifier-f> [nmigen] codecov[bot] edited a comment on pull request #401: Preserve allow_reset_less when remapping ResetSignal. Closes #400 - https://git.io/Jf1gp

11:26 <_whitenotifier-f> [nmigen] adamgreig commented on pull request #401: Preserve allow_reset_less when remapping ResetSignal. Closes #400 - https://git.io/Jf1FS

11:35 <_whitenotifier-f> [nmigen] whitequark commented on pull request #401: Preserve allow_reset_less when remapping ResetSignal. Closes #400 - https://git.io/Jf1Fp

11:43 <_whitenotifier-f> [nmigen] whitequark closed pull request #401: Preserve allow_reset_less when remapping ResetSignal. Closes #400 - https://git.io/Jf1g4

11:43 <_whitenotifier-f> [nmigen/nmigen] whitequark pushed 1 commit to master [+0/-0/±2] https://git.io/Jf1bU

11:43 <_whitenotifier-f> [nmigen/nmigen] adamgreig 02e30b5 - hdl.xfrm: preserve allow_reset_less when transforming ResetSignal.

11:43 <_whitenotifier-f> [nmigen] whitequark closed issue #400: ResetSignal's allow_reset_less fails on renamed reset_less domains - https://git.io/Jf1zx

19:54 <whitequark> Sarayan: https://twitter.com/whitequark/status/1269352227002552320

19:55 <daveshah> sweet!

19:57 <whitequark> thank :)

19:57 <whitequark> next steps: don't emit all of the signals into the VCD on each step; reconstruct localized/elided signals

19:58 <whitequark> oh, need to dump memories too

19:58 <Sarayan> neat

19:58 <Sarayan> very very neat

19:58 <Sarayan> I really need to finish this RE to go back to have fun with nmigen

20:01 <whitequark> one of the nice things I thought about is that with this vcd writer design, you can actually dump signals external to the simulation

20:01 <whitequark> for example, suppose you put part of your sim into cxxsim, but part into python

20:02 <Sarayan> oh neat

20:02 <whitequark> both c++ and python signals will be present

20:02 <Sarayan> or I could add the reference signal I'm supposed to reproduce, when a nice guy with a LA did recordings

20:02 <whitequark> absolutely

20:02 <whitequark> you do something like

20:03 <whitequark> value<16> reference;

20:03 <whitequark> vcd.add("\\reference", debug_item(reference));

20:03 <whitequark> then you modify it as the simulation goes, and it'll get sampled

20:03 <Sarayan> cute

20:03 <smkz> uwaa that vcd writing stuff really neat, whitequark ;;

20:03 <smkz> is really neat *

20:03 <whitequark> :3

20:04 <Sarayan> I need something better than gtkwave though then

20:10 <whitequark> the entire thing is uhm... 170 lines, including the license header https://paste.debian.net/1150621/

20:19 <Sarayan> gtkwave is not 170 lines :-)

20:19 <whitequark> yeah

20:19 <whitequark> gtkwave is solving a pretty complex problem

20:19 <whitequark> in a somewhat horrifying way

20:40 <Sarayan> I don't know

20:41 <Sarayan> I think the problem of displaying and wandering in vcd files is not that complex

20:41 <Sarayan> it probably does more than that, I guess

20:41 <whitequark> pulseview still doesn't have good enough mipmapping

20:41 <Sarayan> but the rest I don't need doesn't justify how unweidly it is for what I want

20:42 <whitequark> unwieldy?

20:43 <Sarayan> I'm probably using it badly, but things like "counting the number of edges in one signal between two edges of another" is annoying

20:43 <Sarayan> or simply getting a duration between two edges

20:44 <whitequark> ohh

20:44 <whitequark> yeah it's actually not good wrt that

20:44 <Sarayan> Like I say, I'm probably using it badly, but discoverability sucks

20:45 <Sarayan> or zoom so that I can see what's going on on a specific signa;

20:46 <Sarayan> In fact at that point I'm not sure what gtkwave is supposed to be about

20:49 <whitequark> about pain

20:49 <whitequark> i am not even joking

20:53 <agg> whitequark: latest cxxsim stuff looks amazing, very excited for it to come to nmigen, are you thinking of allowing python based black boxes at some point? I saw the capi won't currently

20:54 <whitequark> yeah

20:54 <whitequark> this actually depends more on the python side than the cxxrtl side

20:54 <whitequark> right now the way pysim represents processes doesn't mesh very well with the cxxrtl model

20:55 <whitequark> but it's all fixable

20:57 <agg> Sweet