whitequark[cis] changed the topic of #amaranth-lang to: Amaranth hardware definition language · weekly meetings: Amaranth each Mon 1700 UTC, Amaranth SoC each Fri 1700 UTC · play https://amaranth-lang.org/play/ · code https://github.com/amaranth-lang · logs https://libera.irclog.whitequark.org/amaranth-lang · Matrix #amaranth-lang:matrix.org
lf has quit [Ping timeout: 260 seconds]
lf has joined #amaranth-lang
lf has quit [Ping timeout: 240 seconds]
lf has joined #amaranth-lang
Degi_ has joined #amaranth-lang
Degi has quit [Ping timeout: 264 seconds]
Degi_ is now known as Degi
<cr1901> Does amaranth have anything in CI to publish to Github Releases, or is it a manual process?
<cr1901> (Not sure if it makes a difference compared to tags, other than amaranth Releases are a subset of all Tags?)
<tpw_rules> i had to poke wq to do it once but i don't think so
<tpw_rules> s/but/so/
jjsuperpower_ has quit [Ping timeout: 252 seconds]
<whitequark[cis]> it's a manual process cause i keep forgetting to automate it
<cr1901> I've automated it before, but only for Rust projects, not for wheels/sdists (altho Amaranth releases only have the source code right now)
<tpw_rules> that's the only thing i've figured out how to make github actions do lol (for a nix project)
<_whitenotifier-5> [amaranth] wanda-phi opened pull request #1191: docs: Add more links for past releases. - https://github.com/amaranth-lang/amaranth/pull/1191
<_whitenotifier-5> [amaranth] codecov[bot] commented on pull request #1191: docs: Add more links for past releases. - https://github.com/amaranth-lang/amaranth/pull/1191#issuecomment-1983135967
jfng[m] has quit [Quit: Idle timeout reached: 172800s]
notgull has joined #amaranth-lang
<_whitenotifier-5> [rfcs] wanda-phi opened pull request #54: RFC 54: Initial and reset values on memory read ports. - https://github.com/amaranth-lang/rfcs/pull/54
<_whitenotifier-5> [rfcs] wanda-phi edited pull request #54: RFC 54: Initial and reset values on memory read ports. - https://github.com/amaranth-lang/rfcs/pull/54
josuah has quit [Ping timeout: 256 seconds]
<_whitenotifier-5> [rfcs] wanda-phi opened pull request #55: RFC 55: New `lib.io` components. - https://github.com/amaranth-lang/rfcs/pull/55
<_whitenotifier-7> [rfcs] wanda-phi edited pull request #55: RFC 55: New `lib.io` components. - https://github.com/amaranth-lang/rfcs/pull/55
<Wanda[cis]> ... okay, this one ended up in a fairly draft-quality state unfortunately
<_whitenotifier-7> [amaranth-soc] jfng opened pull request #76: Implement RFC 49: GPIO peripheral. - https://github.com/amaranth-lang/amaranth-soc/pull/76
jfng[m] has joined #amaranth-lang
<jfng[m]> <_whitenotifier-7> "[amaranth-soc] jfng opened..." <- @libera_tpw_rules:catircservices.org (and others interested) feel free to give this a try! this should implement the current iteration of RFC 49
<_whitenotifier-5> [rfcs] wanda-phi opened pull request #56: RFC 56: Asymmetric memory port width. - https://github.com/amaranth-lang/rfcs/pull/56
<_whitenotifier-5> [rfcs] wanda-phi edited pull request #56: RFC 56: Asymmetric memory port width. - https://github.com/amaranth-lang/rfcs/pull/56
<Wanda[cis]> okay I think I'm done now
galibert[m] has quit [Quit: Idle timeout reached: 172800s]
zyp[m] has quit [Quit: Idle timeout reached: 172800s]
cr1901_ has joined #amaranth-lang
cr1901 has quit [Read error: Connection reset by peer]
Lord_Nightmare has quit [Quit: ZNC - http://znc.in]
Lord_Nightmare has joined #amaranth-lang
Bluefoxicy has quit [Read error: Connection reset by peer]
sporniket has joined #amaranth-lang
<sporniket> good evening, long time no see
<sporniket> just a little update about having a webassembly version of Yices2
<sporniket> I have just suc
<sporniket> I have just succeeded at encapsulating the builds of the various parts into generated makefile
<sporniket> to not spill environment variables like CC, CFLAGS, etc...
Bluefoxicy has joined #amaranth-lang
<sporniket> Once again, I have still no idea whether what I got is working. The next step is to
<sporniket> implement the packaging, and test said packaging
<sporniket> (I roughly imagine that if I can set up a venv and run the formal verification on one of my repository, it would be a good omen)
<sporniket> I will post again when I get some progress, but you can always watch the repo there
<sporniket> bye for now, and take care.
sporniket has quit [Quit: Client closed]