cr1901_modern has quit [Ping timeout: 260 seconds]
cr1901_modern has joined #nmigen
<d1b2>
<dub_dub_11> does nmigen support using ISE in a VM?
Degi has quit [Ping timeout: 256 seconds]
Degi has joined #nmigen
electronic_eel has quit [Ping timeout: 264 seconds]
electronic_eel_ has joined #nmigen
PyroPeter_ has joined #nmigen
PyroPeter has quit [Ping timeout: 256 seconds]
PyroPeter_ is now known as PyroPeter
emeb_mac has quit [Quit: Leaving.]
Asu has joined #nmigen
jjeanthom has joined #nmigen
electronic_eel_ is now known as electronic_eel
cr1901_modern has quit [Read error: Connection reset by peer]
miek has quit [Ping timeout: 246 seconds]
miek has joined #nmigen
chipmuenk has joined #nmigen
<whitequark>
no, only native
<whitequark>
well, let me rephrase
<whitequark>
the generated scripts use ISE natively (i don't even know how you'd run it in a VM), but you can run the script remotely
<trabucayre>
whitequark: maybe because ISE is now shipped with VM for windows users
<whitequark>
how does that work
<mwk>
you uh
<mwk>
you get a virtualbox or vmware or something image with linux and preinstalled ISE along with the hypervisor exe
<mwk>
and it's called a "windows version"
<mwk>
as far as I can figure there's nothing more to it
<whitequark>
ok well someone else is going to have the joy of figuring out how the fuck can one use that from scripts
<mwk>
I recommend just putting the scripts inside the VM
<whitequark>
my recommendation is to install the linux version in WSL
<whitequark>
and then run remote builds over ssh into WSL
<mwk>
right, whichever
cr1901_modern has joined #nmigen
<mwk>
also technically the crazy "windows" version is the only way to get support for large spartan 6 devices without the paid license
<mwk>
which is why some folks may want to use it even if they don't particularly want windows
<mwk>
(tbh I don't really know how the thing is supposed to be used officially, I just mounted the damn image on host and copied ISE over, it worked after a little uhhh MAC fix)
<whitequark>
what?
<whitequark>
the linux version is out of sync with the windows one?
<mwk>
well ISE WebPack only supports smol spartan 6
<whitequark>
hm
<mwk>
no, both windows and linux versions are out of sync with the "windows 10" special
<whitequark>
(╯°□°）╯︵ ┻━┻
<mwk>
the windows 10 VM is *not* WebPack, it includes an actual node-locked license file in the VM
<whitequark>
incredible
<mwk>
it supports *all* the Spartan 6 devices, and *only* those (no spartan 3 which is included in normal WebPack)
<whitequark>
who wants to bet they could ship it natively but couldn't figure out how to remove flexlm
<mwk>
heh
<d1b2>
<Darius> wow that is hideous
<d1b2>
<Darius> I mean, even more hideous
<d1b2>
<Darius> I mean, even more hideous
chipmuenk has quit [Quit: chipmuenk]
<d1b2>
<dub_dub_11> It is absolutely horrible
<d1b2>
<dub_dub_11> I think installing nMigen in the VM is probably the play
<d1b2>
<dub_dub_11> Ty
jjeanthom has quit [Ping timeout: 264 seconds]
chipmuenk has joined #nmigen
jjeanthom has joined #nmigen
jjeanthom has quit [Ping timeout: 260 seconds]
jjeanthom has joined #nmigen
phiren has joined #nmigen
phire has quit [*.net *.split]
emeb has joined #nmigen
jjeanthom has quit [Ping timeout: 260 seconds]
<ktemkin>
I have no idea how time works anymore
<ktemkin>
is it meeting-ish time?
<Sarayan>
There is no time, there is only lockdown, and exercise apps
<cr1901_modern>
I'm guessing that depends on how wq is feeling today... if she's awake
<Sarayan>
she's been idle for 3 hours of so
<Sarayan>
Kate: incidentally, what you're using, it's an app, a device, something else?
<Sarayan>
it seems interesting
<ktemkin>
I am really going to need context
<Sarayan>
The exercise thing you were talking about on twitter
<Sarayan>
I *think* it was you, but icbw
<ktemkin>
oh
<ktemkin>
the exercise game I'm playing while my toes are broken?
sorear has quit [Read error: Connection reset by peer]
sorear has joined #nmigen
chipmuenk has quit [Quit: chipmuenk]
alexhw_ has joined #nmigen
alexhw has quit [Ping timeout: 256 seconds]
Asu has quit [Quit: Konversation terminated!]
<d1b2>
<OmniTechnoMancer> Ring fit adventure is fun, I need to actually play it more :/
<d1b2>
<TiltMeSenpai> there's some pretty great speedruns of that game
jjeanthom has joined #nmigen
<d1b2>
<OmniTechnoMancer> Speed running that game sounds impressive, it's tiring just to play it for a bit :/
jjeanthom has quit [Ping timeout: 246 seconds]
<awygle>
oh cool record is still broken
<awygle>
h/t dub_dub_11 for pointing it out
<awygle>
whitequark: so UserValue provides a definition of shape() (which is basically its only user-facing code). ValueCastable doesn't, which breaks Record.shape(). the question is, do we want to implement shape() on Record, or on ValueCastable?
<whitequark>
definitely Record
<whitequark>
UserValue only had shape() because it subclassed Value