sorear changed the topic of #riscv to: RISC-V instruction set architecture | https://riscv.org | Logs: https://libera.irclog.whitequark.org/riscv | Matrix: #riscv:catircservices.org
pecastro has quit [Ping timeout: 256 seconds]
MaxGanzII_ has joined #riscv
MaxGanzII_ has quit [Ping timeout: 240 seconds]
ntwk has quit [Read error: Connection reset by peer]
TMM_ has quit [Quit: https://quassel-irc.org - Chat comfortably. Anywhere.]
TMM_ has joined #riscv
ntwk has joined #riscv
cronos has quit [Quit: ZNC - https://znc.in]
KREYREN__ has quit [Remote host closed the connection]
cronos has joined #riscv
KombuchaKip has quit [Quit: Leaving.]
unlord has quit [Ping timeout: 260 seconds]
unlord has joined #riscv
KombuchaKip has joined #riscv
notgull has quit [Ping timeout: 264 seconds]
<sorear> having trouble getting bytefield-svg to build on nixos but the spec compiles fine except for the figures
<jrtc27> the whole riscv doc building stack has way too much webdev-y crap to it, it was annoying enough to get just the psabi doc building on my mac and that doesn't do anything fancy with plugins
Tenkawa has joined #riscv
<jrtc27> there's some docker image so people can pretend it's not a mess
<jrtc27> if you're on an OS and architecture that can run the thing
EchelonX has quit [Quit: Leaving]
Tenkawa has quit [Quit: Was I really ever here?]
vagrantc has joined #riscv
BootLayer has joined #riscv
<sorear> is there more than one cheri slack? the one that got posted on the arch discussion issue tracker doesn't seem to have any recent arch discussions
<jrtc27> that's the public one
<jrtc27> we have our own group-wide private one
<jrtc27> most of the discussions leading up to this draft were either done on the cheri-architecture repo or in google meet calls with codasip people
<jrtc27> which unfortunately means a lot of the rationale behind why things are the way they are in it is missing
<jrtc27> including from my head, so when you ask interesting questions I need to think long and hard how we got to that...
foton has quit [Quit: %Bye, bye, ...%]
foton has joined #riscv
heat has quit [Ping timeout: 240 seconds]
BootLayer has quit [Quit: Leaving]
JanC_ has joined #riscv
JanC has quit [Killed (lithium.libera.chat (Nickname regained by services))]
JanC_ is now known as JanC
ntwk has quit [Quit: ntwk]
handsome_feng has joined #riscv
khem has quit [Quit: Connection closed for inactivity]
crossdev has joined #riscv
<sorear> switchable endianness CHERI
davidlt has joined #riscv
davidlt has quit [Remote host closed the connection]
davidlt has joined #riscv
shamoe has quit [Quit: Connection closed for inactivity]
vagrantc has quit [Quit: leaving]
cmaiolino2 has quit [Quit: WeeChat 4.0.4]
hightower2 has quit [Remote host closed the connection]
pecastro has joined #riscv
Andre_Z has joined #riscv
Andre_Z has quit [Client Quit]
jacklsw has joined #riscv
MaxGanzII_ has joined #riscv
heat has joined #riscv
ln5 has joined #riscv
jacklsw has quit [Remote host closed the connection]
jobol has joined #riscv
yae has joined #riscv
jmdaemon has quit [Ping timeout: 256 seconds]
MaxGanzII__ has joined #riscv
psydroid has joined #riscv
MaxGanzII_ has quit [Ping timeout: 240 seconds]
Andre_Z has joined #riscv
Tenkawa has joined #riscv
handsome_feng has quit [Quit: Connection closed for inactivity]
crossdev has quit [Remote host closed the connection]
crossdev has joined #riscv
erg_ has joined #riscv
crossdev has quit [Ping timeout: 256 seconds]
ntwk has joined #riscv
alexghiti has quit [Ping timeout: 264 seconds]
heat has quit [Read error: Connection reset by peer]
heat has joined #riscv
yae has quit [Ping timeout: 264 seconds]
Andre_Z has quit [Quit: Leaving.]
Andre_Z has joined #riscv
davidlt has quit [Ping timeout: 264 seconds]
epony has quit [Remote host closed the connection]
epony has joined #riscv
knielsen has quit [Ping timeout: 252 seconds]
Andre_Z has quit [Quit: Leaving.]
knielsen has joined #riscv
BootLayer has joined #riscv
radu242753435752 has joined #riscv
bjoto1 has quit [Ping timeout: 252 seconds]
bjoto has joined #riscv
alexghiti has joined #riscv
epony has quit [Ping timeout: 264 seconds]
Stat_headcrabed has joined #riscv
Stat_headcrabed has quit [Quit: Stat_headcrabed]
radu242753435752 has quit [Ping timeout: 264 seconds]
ntwk has quit [Quit: ntwk]
epony has joined #riscv
shamoe has joined #riscv
Andre_Z has joined #riscv
erg_ has quit [Ping timeout: 256 seconds]
___nick___ has joined #riscv
jobol has quit [Quit: Leaving]
vagrantc has joined #riscv
khem has joined #riscv
bjoto has quit [Ping timeout: 252 seconds]
Andre_Z has quit [Quit: Leaving.]
bjoto has joined #riscv
jmdaemon has joined #riscv
___nick___ has quit [Quit: https://quassel-irc.org - Chat comfortably. Anywhere.]
___nick___ has joined #riscv
___nick___ has quit [Client Quit]
___nick___ has joined #riscv
<sorear> neat
TMM_ has quit [Quit: https://quassel-irc.org - Chat comfortably. Anywhere.]
TMM_ has joined #riscv
anonpreet has joined #riscv
erg_ has joined #riscv
BootLayer has quit [Quit: Leaving]
foton has quit [Remote host closed the connection]
foton has joined #riscv
MaxGanzII__ has quit [Remote host closed the connection]
vagrantc has quit [Quit: leaving]
jmdaemon has quit [Quit: ZNC 1.8.2 - https://znc.in]
alexghiti has quit [Ping timeout: 256 seconds]
jmdaemon has joined #riscv
alexghiti has joined #riscv
alexghiti has quit [Ping timeout: 261 seconds]
anonpreet has quit [Quit: Leaving]
MaxGanzII__ has joined #riscv
heat has quit [Remote host closed the connection]
heat has joined #riscv
<sorear> Are there any other ISAs supported by binutils or llvm-mc where (a) a sequence of bytes can be interpreted in more than one way, (b) the intepretation state is likely to change within straight-line code [excluding thumb & micromips], (c) the disassembly is actually stateful [sh has statefully overloaded fadd.s and fadd.d opcodes but they're disassembled the same] ?
jmdaemon has quit [Ping timeout: 268 seconds]
Andre_Z has joined #riscv
___nick___ has quit [Ping timeout: 246 seconds]
jmdaemon has joined #riscv
erg_ has quit [Remote host closed the connection]
psydroid has quit [Remote host closed the connection]
epony has quit [Remote host closed the connection]
pecastro has quit [Quit: Lost terminal]
KREYREN has joined #riscv
KREYREN has quit [Remote host closed the connection]
MaxGanzII__ has quit [Ping timeout: 255 seconds]
Andre_Z has quit [Quit: Leaving.]