00:34
lf has quit [Ping timeout: 240 seconds]
00:35
lf has joined #amaranth-lang
01:18
FFY00_ has quit [Remote host closed the connection]
01:18
FFY00_ has joined #amaranth-lang
03:31
Degi_ has joined #amaranth-lang
03:32
Degi has quit [Ping timeout: 256 seconds]
03:32
Degi_ is now known as Degi
05:11
notgull has joined #amaranth-lang
05:20
peeps[zen] has quit [*.net *.split]
05:20
notgull has quit [*.net *.split]
05:20
Degi has quit [*.net *.split]
05:20
Wanda[cis] has quit [*.net *.split]
05:20
dyniec has quit [*.net *.split]
05:20
jjsuperpower has quit [*.net *.split]
05:20
jn has quit [*.net *.split]
05:20
_alice has quit [*.net *.split]
05:20
crzwdjk has quit [*.net *.split]
05:20
Stary has quit [*.net *.split]
05:20
Psenteee has quit [*.net *.split]
05:20
asjackson has quit [*.net *.split]
05:20
jfng[m] has quit [*.net *.split]
05:20
zyp[m] has quit [*.net *.split]
05:20
oter has quit [*.net *.split]
05:20
key2 has quit [*.net *.split]
05:20
chaoticryptidz has quit [*.net *.split]
05:20
josuah has quit [*.net *.split]
05:20
Ekho has quit [*.net *.split]
05:20
ktemkin has quit [*.net *.split]
05:20
yuriks has quit [*.net *.split]
05:20
miek has quit [*.net *.split]
05:20
skipwich has quit [*.net *.split]
05:20
balrog has quit [*.net *.split]
05:20
Wolfvak has quit [*.net *.split]
05:20
pie_ has quit [*.net *.split]
05:20
ormiret has quit [*.net *.split]
05:20
benreynwar has quit [*.net *.split]
05:20
tpw_rules has quit [*.net *.split]
05:20
gruetzkopf has quit [*.net *.split]
05:20
ChanServ has quit [*.net *.split]
05:21
qookie has quit [*.net *.split]
05:21
electronic_eel has quit [*.net *.split]
05:21
FireFly has quit [*.net *.split]
05:21
richardeoin has quit [*.net *.split]
05:21
feldim2425_ has quit [*.net *.split]
05:21
pbsds has quit [*.net *.split]
05:21
mindw0rk has quit [*.net *.split]
05:21
sugarbeet has quit [*.net *.split]
05:21
vup has quit [*.net *.split]
05:21
lambda has quit [*.net *.split]
05:21
ebb has quit [*.net *.split]
05:21
Xesxen has quit [*.net *.split]
05:21
_catircservices has quit [*.net *.split]
05:21
agg has quit [*.net *.split]
05:21
Bluefoxicy has quit [*.net *.split]
05:21
bob_twinkles has quit [*.net *.split]
05:21
toshywoshy has quit [*.net *.split]
05:21
gatecat has quit [*.net *.split]
05:21
Abhishek_ has quit [*.net *.split]
05:21
_whitenotifier-7 has quit [*.net *.split]
05:21
GenTooMan has quit [*.net *.split]
05:21
jess has quit [*.net *.split]
05:21
marcan has quit [*.net *.split]
05:21
FFY00_ has quit [*.net *.split]
05:21
frgo has quit [*.net *.split]
05:21
Raito_Bezarius has quit [*.net *.split]
05:21
sorear has quit [*.net *.split]
05:21
ovf has quit [*.net *.split]
05:21
eigenform has quit [*.net *.split]
05:21
indy has quit [*.net *.split]
05:21
tucanae47 has quit [*.net *.split]
05:21
cyrozap_ has quit [*.net *.split]
05:21
trabucayre has quit [*.net *.split]
05:21
nak_ has quit [*.net *.split]
05:21
merry has quit [*.net *.split]
05:21
nyanotech has quit [*.net *.split]
05:21
DX-MON has quit [*.net *.split]
05:21
esden has quit [*.net *.split]
05:21
LoveMHz has quit [*.net *.split]
05:21
XgF has quit [*.net *.split]
05:21
cr1901 has quit [*.net *.split]
05:21
_whitenotifier-5 has quit [*.net *.split]
05:21
SpaceCoaster has quit [*.net *.split]
05:21
Darius has quit [*.net *.split]
05:21
mithro has quit [*.net *.split]
05:21
sauce has quit [*.net *.split]
05:21
swym4 has quit [*.net *.split]
05:21
tcal has quit [*.net *.split]
05:21
tannewt has quit [*.net *.split]
05:21
byteit101 has quit [*.net *.split]
05:21
Lord_Nightmare has quit [*.net *.split]
05:21
mobius has quit [*.net *.split]
05:21
leptonix has quit [*.net *.split]
05:21
anuejn has quit [*.net *.split]
05:21
alanvgreen has quit [*.net *.split]
05:21
nimh has quit [*.net *.split]
05:21
mwk has quit [*.net *.split]
05:21
TD-Linux has quit [*.net *.split]
05:21
smkz has quit [*.net *.split]
05:21
V has quit [*.net *.split]
05:21
roflincopter has quit [*.net *.split]
05:21
lethalbit has quit [*.net *.split]
05:22
notgull has joined #amaranth-lang
05:22
Abhishek_ has joined #amaranth-lang
05:22
Degi has joined #amaranth-lang
05:22
FFY00_ has joined #amaranth-lang
05:22
frgo has joined #amaranth-lang
05:22
feldim2425_ has joined #amaranth-lang
05:22
qookie has joined #amaranth-lang
05:22
cr1901 has joined #amaranth-lang
05:22
Raito_Bezarius has joined #amaranth-lang
05:22
sorear has joined #amaranth-lang
05:22
peeps[zen] has joined #amaranth-lang
05:22
_whitenotifier-7 has joined #amaranth-lang
05:22
Lord_Nightmare has joined #amaranth-lang
05:22
_whitenotifier-5 has joined #amaranth-lang
05:22
jfng[m] has joined #amaranth-lang
05:22
byteit101 has joined #amaranth-lang
05:22
zyp[m] has joined #amaranth-lang
05:22
Wanda[cis] has joined #amaranth-lang
05:22
mwk has joined #amaranth-lang
05:22
dyniec has joined #amaranth-lang
05:22
nak_ has joined #amaranth-lang
05:22
miek has joined #amaranth-lang
05:22
cyrozap_ has joined #amaranth-lang
05:22
oter has joined #amaranth-lang
05:22
nyanotech has joined #amaranth-lang
05:22
mindw0rk has joined #amaranth-lang
05:22
jjsuperpower has joined #amaranth-lang
05:22
pbsds has joined #amaranth-lang
05:22
skipwich has joined #amaranth-lang
05:22
TD-Linux has joined #amaranth-lang
05:22
balrog has joined #amaranth-lang
05:22
electronic_eel has joined #amaranth-lang
05:22
SpaceCoaster has joined #amaranth-lang
05:22
mobius has joined #amaranth-lang
05:22
jn has joined #amaranth-lang
05:22
Wolfvak has joined #amaranth-lang
05:22
key2 has joined #amaranth-lang
05:22
GenTooMan has joined #amaranth-lang
05:22
_alice has joined #amaranth-lang
05:22
sugarbeet has joined #amaranth-lang
05:22
chaoticryptidz has joined #amaranth-lang
05:22
richardeoin has joined #amaranth-lang
05:22
ovf has joined #amaranth-lang
05:22
jess has joined #amaranth-lang
05:22
leptonix has joined #amaranth-lang
05:22
Darius has joined #amaranth-lang
05:22
vup has joined #amaranth-lang
05:22
_catircservices has joined #amaranth-lang
05:22
asjackson has joined #amaranth-lang
05:22
FireFly has joined #amaranth-lang
05:22
anuejn has joined #amaranth-lang
05:22
smkz has joined #amaranth-lang
05:22
lambda has joined #amaranth-lang
05:22
josuah has joined #amaranth-lang
05:22
Bluefoxicy has joined #amaranth-lang
05:22
bob_twinkles has joined #amaranth-lang
05:22
eigenform has joined #amaranth-lang
05:22
marcan has joined #amaranth-lang
05:22
pie_ has joined #amaranth-lang
05:22
tucanae47 has joined #amaranth-lang
05:22
toshywoshy has joined #amaranth-lang
05:22
crzwdjk has joined #amaranth-lang
05:22
Stary has joined #amaranth-lang
05:22
indy has joined #amaranth-lang
05:22
agg has joined #amaranth-lang
05:22
Psenteee has joined #amaranth-lang
05:22
Ekho has joined #amaranth-lang
05:22
merry has joined #amaranth-lang
05:22
DX-MON has joined #amaranth-lang
05:22
esden has joined #amaranth-lang
05:22
LoveMHz has joined #amaranth-lang
05:22
V has joined #amaranth-lang
05:22
ormiret has joined #amaranth-lang
05:22
benreynwar has joined #amaranth-lang
05:22
XgF has joined #amaranth-lang
05:22
roflincopter has joined #amaranth-lang
05:22
gatecat has joined #amaranth-lang
05:22
yuriks has joined #amaranth-lang
05:22
tpw_rules has joined #amaranth-lang
05:22
gruetzkopf has joined #amaranth-lang
05:22
ktemkin has joined #amaranth-lang
05:22
ebb has joined #amaranth-lang
05:22
trabucayre has joined #amaranth-lang
05:22
mithro has joined #amaranth-lang
05:22
lethalbit has joined #amaranth-lang
05:22
tannewt has joined #amaranth-lang
05:22
ChanServ has joined #amaranth-lang
05:22
nimh has joined #amaranth-lang
05:22
tcal has joined #amaranth-lang
05:22
alanvgreen has joined #amaranth-lang
05:22
swym4 has joined #amaranth-lang
05:22
sauce has joined #amaranth-lang
05:22
Xesxen has joined #amaranth-lang
05:22
mwk has quit [*.net *.split]
05:22
TD-Linux has quit [*.net *.split]
05:22
smkz has quit [*.net *.split]
05:22
V has quit [*.net *.split]
05:22
roflincopter has quit [*.net *.split]
05:22
lethalbit has quit [*.net *.split]
05:22
TD-Linux has joined #amaranth-lang
05:22
smkz has joined #amaranth-lang
05:22
mwk has joined #amaranth-lang
05:22
V has joined #amaranth-lang
05:22
roflincopter has joined #amaranth-lang
05:22
lethalbit has joined #amaranth-lang
05:24
byteit101 has quit [*.net *.split]
05:24
Lord_Nightmare has quit [*.net *.split]
05:24
mobius has quit [*.net *.split]
05:24
leptonix has quit [*.net *.split]
05:24
anuejn has quit [*.net *.split]
05:24
nimh has quit [*.net *.split]
05:24
alanvgreen has quit [*.net *.split]
05:24
cr1901 has quit [*.net *.split]
05:24
_whitenotifier-5 has quit [*.net *.split]
05:24
SpaceCoaster has quit [*.net *.split]
05:24
Darius has quit [*.net *.split]
05:24
mithro has quit [*.net *.split]
05:24
sauce has quit [*.net *.split]
05:24
swym4 has quit [*.net *.split]
05:24
tcal has quit [*.net *.split]
05:24
tannewt has quit [*.net *.split]
05:24
oter has quit [Read error: Connection reset by peer]
05:24
byteit101 has joined #amaranth-lang
05:24
Lord_Nightmare has joined #amaranth-lang
05:24
alanvgreen has joined #amaranth-lang
05:24
anuejn has joined #amaranth-lang
05:24
mobius has joined #amaranth-lang
05:24
leptonix has joined #amaranth-lang
05:24
nimh has joined #amaranth-lang
05:24
cr1901 has joined #amaranth-lang
05:24
_whitenotifier-5 has joined #amaranth-lang
05:24
Darius has joined #amaranth-lang
05:24
SpaceCoaster has joined #amaranth-lang
05:24
mithro has joined #amaranth-lang
05:24
sauce has joined #amaranth-lang
05:24
swym4 has joined #amaranth-lang
05:24
tcal has joined #amaranth-lang
05:24
tannewt has joined #amaranth-lang
05:24
oter has joined #amaranth-lang
05:28
nak_ has quit [*.net *.split]
05:28
nyanotech has quit [*.net *.split]
05:28
DX-MON has quit [*.net *.split]
05:28
esden has quit [*.net *.split]
05:28
LoveMHz has quit [*.net *.split]
05:28
XgF has quit [*.net *.split]
05:28
_catircservices has quit [*.net *.split]
05:28
Bluefoxicy has quit [*.net *.split]
05:28
toshywoshy has quit [*.net *.split]
05:28
bob_twinkles has quit [*.net *.split]
05:28
agg has quit [*.net *.split]
05:28
gatecat has quit [*.net *.split]
05:28
Abhishek_ has quit [*.net *.split]
05:28
feldim2425_ has quit [*.net *.split]
05:28
mindw0rk has quit [*.net *.split]
05:28
pbsds has quit [*.net *.split]
05:28
sugarbeet has quit [*.net *.split]
05:28
vup has quit [*.net *.split]
05:28
lambda has quit [*.net *.split]
05:28
ebb has quit [*.net *.split]
05:28
Xesxen has quit [*.net *.split]
05:28
qookie has quit [*.net *.split]
05:28
electronic_eel has quit [*.net *.split]
05:28
richardeoin has quit [*.net *.split]
05:28
FireFly has quit [*.net *.split]
05:29
_catircservices has joined #amaranth-lang
05:29
Bluefoxicy has joined #amaranth-lang
05:29
bob_twinkles has joined #amaranth-lang
05:29
gatecat has joined #amaranth-lang
05:29
agg has joined #amaranth-lang
05:29
toshywoshy has joined #amaranth-lang
05:29
Abhishek_ has joined #amaranth-lang
05:31
electronic_eel has joined #amaranth-lang
05:31
qookie has joined #amaranth-lang
05:31
richardeoin has joined #amaranth-lang
05:31
FireFly has joined #amaranth-lang
05:31
XgF has joined #amaranth-lang
05:31
nak_ has joined #amaranth-lang
05:31
esden has joined #amaranth-lang
05:31
DX-MON has joined #amaranth-lang
05:31
nyanotech has joined #amaranth-lang
05:31
LoveMHz has joined #amaranth-lang
05:33
feldim2425_ has joined #amaranth-lang
05:33
mindw0rk has joined #amaranth-lang
05:33
sugarbeet has joined #amaranth-lang
05:33
pbsds has joined #amaranth-lang
05:33
vup has joined #amaranth-lang
05:33
lambda has joined #amaranth-lang
05:33
Xesxen has joined #amaranth-lang
05:33
ebb has joined #amaranth-lang
05:33
ebb has quit [Max SendQ exceeded]
05:34
cyrozap_ has quit [*.net *.split]
05:34
trabucayre has quit [*.net *.split]
05:34
merry has quit [*.net *.split]
05:36
cyrozap_ has joined #amaranth-lang
05:36
trabucayre has joined #amaranth-lang
05:36
merry has joined #amaranth-lang
05:38
ebb has joined #amaranth-lang
05:42
cyrozap_ has quit [*.net *.split]
05:42
merry has quit [*.net *.split]
05:42
trabucayre has quit [*.net *.split]
05:42
_whitenotifier-7 has quit [*.net *.split]
05:42
GenTooMan has quit [*.net *.split]
05:42
jess has quit [*.net *.split]
05:42
marcan has quit [*.net *.split]
05:42
FFY00_ has quit [*.net *.split]
05:42
frgo has quit [*.net *.split]
05:42
Raito_Bezarius has quit [*.net *.split]
05:42
sorear has quit [*.net *.split]
05:42
ovf has quit [*.net *.split]
05:42
eigenform has quit [*.net *.split]
05:42
indy has quit [*.net *.split]
05:42
tucanae47 has quit [*.net *.split]
05:43
cyrozap_ has joined #amaranth-lang
05:43
FFY00_ has joined #amaranth-lang
05:43
merry has joined #amaranth-lang
05:43
trabucayre has joined #amaranth-lang
05:43
frgo has joined #amaranth-lang
05:43
Raito_Bezarius has joined #amaranth-lang
05:43
sorear has joined #amaranth-lang
05:43
_whitenotifier-7 has joined #amaranth-lang
05:43
jess has joined #amaranth-lang
05:43
GenTooMan has joined #amaranth-lang
05:43
ovf has joined #amaranth-lang
05:43
eigenform has joined #amaranth-lang
05:43
marcan has joined #amaranth-lang
05:43
tucanae47 has joined #amaranth-lang
05:43
indy has joined #amaranth-lang
05:44
notgull has quit [Ping timeout: 256 seconds]
05:56
_whitenotifier-7 has quit [*.net *.split]
05:56
GenTooMan has quit [*.net *.split]
05:56
jess has quit [*.net *.split]
05:56
marcan has quit [*.net *.split]
06:01
GenTooMan has joined #amaranth-lang
06:01
_whitenotifier-7 has joined #amaranth-lang
06:01
jess has joined #amaranth-lang
06:01
marcan has joined #amaranth-lang
07:04
frgo has quit [Quit: Leaving...]
08:11
oter has quit [Remote host closed the connection]
08:12
oter has joined #amaranth-lang
08:13
oter has quit [Remote host closed the connection]
08:20
oter has joined #amaranth-lang
08:47
jfng[m] has quit [Quit: Idle timeout reached: 172800s]
11:36
<
_whitenotifier-7 >
[amaranth-lang/amaranth] daniestevez d8f70be - xilinx: use FDPE instances to implement get_async_ff_sync()
11:37
<
_whitenotifier-5 >
[amaranth-lang/amaranth-lang.github.io] github-merge-queue[bot] 5af3fb0 - Deploying to main from @ amaranth-lang/amaranth@d8f70be4d9892c3feb838a1bb4e4d528300dfbed 🚀
11:43
<
_whitenotifier-5 >
[amaranth-lang/amaranth] whitequark 78b90fb - build.plat,vendor: fix toolchain environment variable check.
11:44
<
_whitenotifier-7 >
[amaranth-lang/amaranth-lang.github.io] github-merge-queue[bot] 6aa79d7 - Deploying to main from @ amaranth-lang/amaranth@78b90fbafafc176dbcc52858ae5b1b15bdeb1fe2 🚀
11:47
Chips4MakersakaS has quit [Quit: Idle timeout reached: 172800s]
12:17
nak_ has quit [Ping timeout: 256 seconds]
12:19
nak has joined #amaranth-lang
14:58
byteit101 has joined #amaranth-lang
14:58
byteit101 has quit [Client Quit]
15:44
<
Wanda[cis] >
hm, or not; presumably we need to track the deprecated stuff somewhere?
15:53
<
whitequark[cis] >
that's what the tracking issues are for
16:03
<
whitequark[cis] >
also, I guess we need to un-deprecate add_process and deprecate add_sync_process now
16:03
<
whitequark[cis] >
I suppose I can write that RFC
16:04
vegard_e[m] has joined #amaranth-lang
16:04
<
vegard_e[m] >
not folding that into RFC 36?
16:06
<
whitequark[cis] >
well, RFC 36 could take a while, and I'd hate everyone to rewrite their testbenches only to discover they have to undo half the changes now
16:07
<
zyp[m] >
fair point
16:13
<
_whitenotifier-5 >
[amaranth-lang/amaranth] whitequark ace7aea - lib.wiring: track member source locations.
16:14
<
_whitenotifier-5 >
[amaranth-lang/amaranth-lang.github.io] github-merge-queue[bot] b6fe01c - Deploying to main from @ amaranth-lang/amaranth@ace7aea375f0abea88a16c01ce86139c03dbdbef 🚀
16:22
<
Wanda[cis] >
Catherine: I'll write an implementation then
16:22
<
Wanda[cis] >
the RFC is just "undeprecate add_process, deprecate add_sync_process", right?
16:25
<
Wanda[cis] >
the nice part is that we can kill my combustible warning code, since Settle/Delay/Tick within sync process is not any more deprecated than add_sync_process itself
16:43
<
whitequark[cis] >
thanks
16:48
<
Wanda[cis] >
what's the RFC title and filename going to be?
16:51
<
whitequark[cis] >
I haven't started yet >.>
16:51
<
whitequark[cis] >
want to write the RFC too?
16:52
<
Wanda[cis] >
not really
16:52
<
Wanda[cis] >
(I don't feel I followed all the rationale closely enough)
16:55
<
Wanda[cis] >
actually
16:55
<
whitequark[cis] >
I feel like allocating the number may be a little premature >.>
16:55
<
Wanda[cis] >
are we sure we want to make an RFC, and not just vote on amending RFC 27 on monday?
16:56
<
whitequark[cis] >
yeah we could do that instead
16:56
<
whitequark[cis] >
good point
16:56
<
Wanda[cis] >
whitequark[cis]: ... perhaps, I tend to do it a lot
16:56
<
Wanda[cis] >
saves a push --force
16:57
<
Wanda[cis] >
as we know, nothing bad ever came of speculative execution
17:33
<
whitequark[cis] >
all right, here's your number 47
17:46
chaoticryptidz has joined #amaranth-lang
19:07
notgull has joined #amaranth-lang
19:12
notgull has quit [Ping timeout: 264 seconds]
19:25
<
tpw_rules >
is the icestorm stuff on pypi?
19:31
<
tpw_rules >
i guess it's not possible to make iceprog work in there
20:29
notgull has joined #amaranth-lang
20:34
notgull has quit [Ping timeout: 255 seconds]
20:58
notgull has joined #amaranth-lang
21:12
notgull has quit [Ping timeout: 246 seconds]