#amaranth-lang on 2023-02-12 — irc logs at libera.irclog.whitequark.org

2023-02-03 03:01 whitequark changed the topic of #amaranth-lang to: Amaranth hardware definition language · weekly meetings on Mondays at 1700 UTC · code https://github.com/amaranth-lang · logs https://libera.irclog.whitequark.org/amaranth-lang

00:24 lf has quit [Ping timeout: 248 seconds]

00:24 lf_ has joined #amaranth-lang

00:27 jjsuperpower has joined #amaranth-lang

00:54 jjsuperpower has quit [Ping timeout: 268 seconds]

00:56 jjsuperpower has joined #amaranth-lang

01:06 gruetze_ has quit [Remote host closed the connection]

01:06 XgF has quit [Remote host closed the connection]

01:06 xiretza[m] has quit [Ping timeout: 252 seconds]

01:06 mikolajw has quit [Ping timeout: 252 seconds]

01:06 koschei[m] has quit [Ping timeout: 252 seconds]

01:06 gruetzkopf has joined #amaranth-lang

01:06 XgF has joined #amaranth-lang

01:11 xiretza[m] has joined #amaranth-lang

01:12 jjsuperpower has quit [Remote host closed the connection]

01:12 jjsuperpower has joined #amaranth-lang

01:13 mikolajw has joined #amaranth-lang

01:13 koschei[m] has joined #amaranth-lang

02:33 bl0x_ has joined #amaranth-lang

02:35 bl0x has quit [Ping timeout: 265 seconds]

03:29 jjsuperpower has quit [Remote host closed the connection]

03:29 jjsuperpower has joined #amaranth-lang

04:46 Degi_ has joined #amaranth-lang

04:47 Degi_ is now known as Degi

07:44 jjsuperpower has quit [Ping timeout: 268 seconds]

10:54 <_whitenotifier-9> [amaranth] jeanthom opened pull request #747: Add support for explicit names in properties - https://github.com/amaranth-lang/amaranth/pull/747

10:56 <_whitenotifier-9> [amaranth] whitequark reviewed pull request #747 commit - https://github.com/amaranth-lang/amaranth/pull/747#discussion_r1103779098

10:58 <_whitenotifier-9> [amaranth] codecov-commenter commented on pull request #747: Add support for explicit names in properties - https://github.com/amaranth-lang/amaranth/pull/747#issuecomment-1427001338

11:18 <_whitenotifier-9> [amaranth] jeanthom synchronize pull request #747: Add support for explicit names in properties - https://github.com/amaranth-lang/amaranth/pull/747

11:19 <_whitenotifier-9> [amaranth] jeanthom reviewed pull request #747 commit - https://github.com/amaranth-lang/amaranth/pull/747#discussion_r1103782201

11:21 <_whitenotifier-9> [amaranth] whitequark closed pull request #747: Add support for explicit names in properties - https://github.com/amaranth-lang/amaranth/pull/747

11:21 <_whitenotifier-9> [amaranth-lang/amaranth] whitequark pushed 1 commit to main [+0/-0/±3] https://github.com/amaranth-lang/amaranth/compare/666ee27fd0fa...a7fec279aa38

11:21 <_whitenotifier-9> [amaranth-lang/amaranth] jeanthom a7fec27 - hdl,back: add support for name= in property checks (Assert, ...).

11:21 <_whitenotifier-9> [amaranth] whitequark closed issue #744: Explicit names for Assert/Assume statements - https://github.com/amaranth-lang/amaranth/issues/744

11:21 <_whitenotifier-9> [amaranth] whitequark commented on pull request #747: Add support for explicit names in properties - https://github.com/amaranth-lang/amaranth/pull/747#issuecomment-1427006458

11:22 <_whitenotifier-9> [amaranth-lang/amaranth-lang.github.io] whitequark pushed 1 commit to main [+0/-0/±27] https://github.com/amaranth-lang/amaranth-lang.github.io/compare/69a45da0a767...5c47777a172e

11:22 <_whitenotifier-9> [amaranth-lang/amaranth-lang.github.io] whitequark 5c47777 - Deploying to main from @ amaranth-lang/amaranth@a7fec279aa3882a8b852ced4fa3e8f68f6127fcc 🚀

15:00 pie_ has quit []

15:00 pie_ has joined #amaranth-lang

15:31 pie_ has quit []

15:32 pie_ has joined #amaranth-lang

16:04 pie_ has quit []

16:05 pie_ has joined #amaranth-lang

18:25 jjsuperpower has joined #amaranth-lang

19:58 nelgau_ has quit []

20:36 nelgau has joined #amaranth-lang

20:38 jess has quit [Quit: Lost terminal]

22:50 balrog has quit [Quit: Bye]

22:53 balrog has joined #amaranth-lang

23:39 jesopo has joined #amaranth-lang

23:39 jesopo is now known as jess