Thursday, 2024-01-25

*** tpb <[email protected]> has joined #yosys00:00
*** skipwich <skipwich!~skipwich@user/skipwich> has quit IRC (Ping timeout: 276 seconds)00:06
*** skipwich <skipwich!~skipwich@user/skipwich> has joined #yosys00:19
*** notgull <notgull!~notgull@ec2-50-112-148-23.us-west-2.compute.amazonaws.com> has quit IRC (Ping timeout: 264 seconds)01:24
*** lexano <[email protected]> has quit IRC (Ping timeout: 264 seconds)02:00
*** bjorkint0sh <bjorkint0sh!~bjork@2600:1700:5400:c80:c341:eebf:eace:5066> has joined #yosys04:11
*** bjorkintosh <bjorkintosh!~bjork@user/bjorkintosh> has quit IRC (Ping timeout: 276 seconds)04:12
*** emeb_mac <[email protected]> has quit IRC (Quit: Leaving.)07:00
*** FabM <[email protected]> has joined #yosys08:15
*** lexano <[email protected]> has joined #yosys12:29
*** chaoticryptidz <chaoticryptidz!~quassel@static.62.145.21.65.clients.your-server.de> has quit IRC (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)12:53
*** chaoticryptidz <chaoticryptidz!~quassel@static.62.145.21.65.clients.your-server.de> has joined #yosys12:53
*** emeb_mac <[email protected]> has joined #yosys14:03
*** FabM <FabM!~FabM@armadeus/team/FabM> has quit IRC (Ping timeout: 256 seconds)15:59
*** lofty <[email protected]> has quit IRC (Quit: ZNC - https://znc.in)18:34
*** lofty <[email protected]> has joined #yosys18:38
*** sugarbeet <[email protected]> has quit IRC (Ping timeout: 256 seconds)19:14
*** sugarbeet <[email protected]> has joined #yosys19:15
*** ec <ec!~ec@gateway/tor-sasl/ec> has quit IRC (Remote host closed the connection)19:30
*** ec <ec!~ec@gateway/tor-sasl/ec> has joined #yosys19:53
*** Guest77 <[email protected]> has joined #yosys20:41
Guest77Is this the right place to ask Mistral questions or am I in the wrong place?20:43
loftyGuest77: I mean, there's #prjmistral20:44
loftybut I'm happy to answer Mistral questions here too20:44
Guest77I think I'm mostly just trying to understand the nature of .bt format generated by its decompile step, and if there's a better way to read it than examining it in a text editor20:46
lofty...there's no way of looking at a bitstream that looks "nice" because they're intrinsically messy things :p20:47
Guest77that's kind of what I figured, I've mostly managed to stay on 'compiling' side of things rather than the 'decompiling' side of things20:47
Guest77but that .bt format *is* purely an invention of the mistral project and not shared by anything else?20:48
loftyyes20:48
Guest77that's what I wanted to know, thanks!20:48
loftyother projects sometimes have fasm, e.g. project x-ray20:48
loftybut .bt is what the mistral tooling "speaks"20:49
loftyand, well, it doesn't make much sense IMO to try to share it because there's nobody to share it with20:49
loftyquartus doesn't have an equivalent, for example20:50
loftynot something as low-level as this, anyway.20:50
Guest77that's about what I expected, I'm counting myself lucky that something like Mistral exists at all20:51
loftyI won't ask what you're using it for20:52
Guest77I think I'm okay for now, I'll come back if I have more questions. Thanks for the help!20:53
loftyno problem.20:53
*** Guest77 <[email protected]> has left #yosys20:53
*** cr1901 <cr1901!~cr1901@2601:8d:8600:226:b1e9:8870:2e59:1332> has quit IRC (Quit: Leaving)22:23
*** cr1901 <cr1901!~cr1901@2601:8d:8600:226:909:34b4:931e:9f8a> has joined #yosys22:28
*** nonchip <[email protected]> has quit IRC (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)23:24
*** nonchip <[email protected]> has joined #yosys23:24

Generated by irclog2html.py 2.17.2 by Marius Gedminas - find it at https://mg.pov.lt/irclog2html/!