01:56
frgo has joined #amaranth-lang
02:00
frgo has quit [Ping timeout: 246 seconds]
02:09
nimh has quit [Ping timeout: 252 seconds]
02:10
nimh has joined #amaranth-lang
03:05
jjsuperpower has quit [Ping timeout: 244 seconds]
03:40
Degi has quit [Ping timeout: 276 seconds]
03:41
Degi has joined #amaranth-lang
05:01
frgo has joined #amaranth-lang
05:06
frgo has quit [Ping timeout: 272 seconds]
05:55
jjsuperpower has joined #amaranth-lang
06:15
frgo has joined #amaranth-lang
06:20
frgo has quit [Ping timeout: 260 seconds]
07:07
frgo has joined #amaranth-lang
07:24
cr1901_ has joined #amaranth-lang
07:24
cr1901 has quit [Ping timeout: 276 seconds]
07:25
frgo has quit [Remote host closed the connection]
07:29
frgo has joined #amaranth-lang
07:34
frgo has quit [Remote host closed the connection]
07:50
frgo has joined #amaranth-lang
09:10
frgo has quit [Remote host closed the connection]
09:21
frgo has joined #amaranth-lang
09:27
frgo has quit [Remote host closed the connection]
09:41
frgo has joined #amaranth-lang
10:32
weshu has joined #amaranth-lang
11:04
weshu has quit [Quit: Client closed]
11:20
d_olex_ has joined #amaranth-lang
12:48
d_olex_ has quit [Ping timeout: 252 seconds]
13:18
jjsuperpower_ has joined #amaranth-lang
13:20
jjsuperpower has quit [Ping timeout: 276 seconds]
13:45
<
vup >
is there a generic way to get the numeric limits of a shape? Something akin to `std::numeric_limits<Shape>::{max,min}()`
13:46
<
vup >
if not, does this seem like a reasonable thing that would be worth to write a small RFC about?
14:09
zyp[m] has joined #amaranth-lang
14:09
<
zyp[m] >
since we can already cast a range to a shape, how about a `Shape.as_range()` to do the inverse so that e.g. `signed(3).as_range() -> range(-4, 4)`?
14:14
<
vup >
yeah, that seems like a reasonable API. And even leaves open a way for future extension to non power of two signals.
15:55
frgo has quit [Remote host closed the connection]
16:11
cr1901__ has joined #amaranth-lang
16:15
cr1901_ has quit [Ping timeout: 276 seconds]
16:32
frgo has joined #amaranth-lang
17:03
frgo has quit [Remote host closed the connection]
17:13
frgo has joined #amaranth-lang
17:30
frgo has quit [Remote host closed the connection]
17:46
frgo has joined #amaranth-lang
17:51
frgo has quit [Ping timeout: 248 seconds]
17:51
frgo_ has joined #amaranth-lang
17:56
frgo_ has quit [Ping timeout: 246 seconds]
17:56
cr1901__ is now known as cr1901
18:23
frgo has joined #amaranth-lang
18:41
frgo has quit [Remote host closed the connection]
18:56
frgo has joined #amaranth-lang
19:01
frgo has quit [Ping timeout: 248 seconds]
19:28
frgo has joined #amaranth-lang
19:33
frgo has quit [Ping timeout: 272 seconds]
20:00
frgo has joined #amaranth-lang
20:05
frgo has quit [Ping timeout: 276 seconds]
20:31
frgo has joined #amaranth-lang
20:36
frgo has quit [Ping timeout: 252 seconds]
21:20
frgo has joined #amaranth-lang
21:24
frgo has quit [Ping timeout: 244 seconds]
21:26
jjsuperpower_ has quit [Ping timeout: 248 seconds]
21:48
jjsuperpower_ has joined #amaranth-lang
21:58
jjsuperpower_ has quit [Ping timeout: 260 seconds]
21:59
frgo has joined #amaranth-lang
22:03
frgo has quit [Ping timeout: 244 seconds]
23:12
galibert[m] has quit [Quit: Idle timeout reached: 172800s]