*** tpb <[email protected]> has joined #yosys | 00:00 | |
*** skipwich <skipwich!~skipwich@user/skipwich> has quit IRC (Ping timeout: 276 seconds) | 00:06 | |
*** skipwich <skipwich!~skipwich@user/skipwich> has joined #yosys | 00: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 #yosys | 04: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 #yosys | 08:15 | |
*** lexano <[email protected]> has joined #yosys | 12: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 #yosys | 12:53 | |
*** emeb_mac <[email protected]> has joined #yosys | 14: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 #yosys | 18:38 | |
*** sugarbeet <[email protected]> has quit IRC (Ping timeout: 256 seconds) | 19:14 | |
*** sugarbeet <[email protected]> has joined #yosys | 19: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 #yosys | 19:53 | |
*** Guest77 <[email protected]> has joined #yosys | 20:41 | |
Guest77 | Is this the right place to ask Mistral questions or am I in the wrong place? | 20:43 |
---|---|---|
lofty | Guest77: I mean, there's #prjmistral | 20:44 |
lofty | but I'm happy to answer Mistral questions here too | 20:44 |
Guest77 | I 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 editor | 20:46 |
lofty | ...there's no way of looking at a bitstream that looks "nice" because they're intrinsically messy things :p | 20:47 |
Guest77 | that's kind of what I figured, I've mostly managed to stay on 'compiling' side of things rather than the 'decompiling' side of things | 20:47 |
Guest77 | but that .bt format *is* purely an invention of the mistral project and not shared by anything else? | 20:48 |
lofty | yes | 20:48 |
Guest77 | that's what I wanted to know, thanks! | 20:48 |
lofty | other projects sometimes have fasm, e.g. project x-ray | 20:48 |
lofty | but .bt is what the mistral tooling "speaks" | 20:49 |
lofty | and, well, it doesn't make much sense IMO to try to share it because there's nobody to share it with | 20:49 |
lofty | quartus doesn't have an equivalent, for example | 20:50 |
lofty | not something as low-level as this, anyway. | 20:50 |
Guest77 | that's about what I expected, I'm counting myself lucky that something like Mistral exists at all | 20:51 |
lofty | I won't ask what you're using it for | 20:52 |
Guest77 | I think I'm okay for now, I'll come back if I have more questions. Thanks for the help! | 20:53 |
lofty | no problem. | 20:53 |
*** Guest77 <[email protected]> has left #yosys | 20: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 #yosys | 22:28 | |
*** nonchip <[email protected]> has quit IRC (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) | 23:24 | |
*** nonchip <[email protected]> has joined #yosys | 23:24 |
Generated by irclog2html.py 2.17.2 by Marius Gedminas - find it at https://mg.pov.lt/irclog2html/!