| *** tpb <[email protected]> has joined #yosys | 00:00 | |
| *** GenTooMan <GenTooMan!~cyberman@2601:547:437f:e5c6:21f:5bff:fefe:a883> has quit IRC (Ping timeout: 245 seconds) | 02:45 | |
| *** GenTooMan <GenTooMan!~cyberman@2601:547:437f:e5c6:21f:5bff:fefe:a883> has joined #yosys | 03:03 | |
| *** Tokamak_ <[email protected]> has joined #yosys | 04:39 | |
| *** Tokamak_ <[email protected]> has quit IRC (Quit: Tokamak_) | 05:51 | |
| *** hrberg <[email protected]> has quit IRC (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) | 08:20 | |
| *** hrberg <[email protected]> has joined #yosys | 08:20 | |
| *** hrberg <[email protected]> has quit IRC (Client Quit) | 08:24 | |
| *** hrberg <[email protected]> has joined #yosys | 08:27 | |
| *** ec <ec!~ec@gateway/tor-sasl/ec> has quit IRC (Read error: Connection reset by peer) | 09:00 | |
| *** ec <ec!~ec@gateway/tor-sasl/ec> has joined #yosys | 09:01 | |
| *** citypw <citypw!~citypw@gateway/tor-sasl/citypw> has joined #yosys | 11:46 | |
| *** citypw <citypw!~citypw@gateway/tor-sasl/citypw> has quit IRC (Remote host closed the connection) | 12:58 | |
| *** bjork1intosh <bjork1intosh!~bjork@2600:1700:5400:c80:8b3f:ad5f:4344:5782> has joined #yosys | 14:03 | |
| *** bjorkint0sh <bjorkint0sh!~bjork@2600:1700:5400:c80:374e:e7d4:a838:c3cc> has quit IRC (Ping timeout: 260 seconds) | 14:05 | |
| *** bjork1intosh <bjork1intosh!~bjork@2600:1700:5400:c80:8b3f:ad5f:4344:5782> has quit IRC (Ping timeout: 246 seconds) | 18:41 | |
| *** philtom <[email protected]> has quit IRC (Ping timeout: 250 seconds) | 19:07 | |
| *** philtom <[email protected]> has joined #yosys | 19:37 | |
| *** philtom is now known as philtor | 19:37 | |
| somlo | I'm packaging yosys for fedora (where bundling is strongly discouraged). | 19:44 |
|---|---|---|
| somlo | I can build the latest yosys (commit b04d0e0) without any problems against | 19:44 |
| somlo | abc built from upstream commit 66a5fe7 (in f38), but one of the aiger checks | 19:44 |
| somlo | is failing when I use commit e61194b (in rawhide/f39): | 19:44 |
| somlo | make[1]: Leaving directory '/builddir/build/BUILD/yosys-b04d0e09e83102e14a53bb8b8dcc8c35f63b2fbe/tests/opt' | 19:44 |
| somlo | cd tests/aiger && bash run-test.sh "-A /usr/bin/abc" | 19:44 |
| somlo | Checking and_.aag. | 19:44 |
| somlo | Checking buffer.aag. | 19:44 |
| somlo | ... | 19:44 |
| somlo | Checking false.aag. | 19:44 |
| somlo | run-test.sh: line 19: 31937 Segmentation fault (core dumped) $abcprog -q "read -c ${aag%.*}.aig; write ${aag%.*}_ref.v" | 19:44 |
| somlo | I'm guessing the problem is caused by one of the 28 commits by which upstream | 19:44 |
| somlo | is ahead of the "vendored" yosyshq/abc (or rather the 23 commit subset thereof | 19:44 |
| somlo | ending with e61194b). | 19:44 |
| somlo | Before I go the "maximum effort" route and blindly try them all, does anything | 19:44 |
| somlo | here: https://github.com/YosysHQ/abc/compare/yosys-experimental...berkeley-abc:abc:master | 19:44 |
| somlo | look like a good candidate to the eye of a trained expert? :) | 19:44 |
| *** FL4SHK <[email protected]> has quit IRC (Ping timeout: 240 seconds) | 20:20 | |
| somlo | guess I'll bisect upstream commits [039f05c ... e61194b] (everything newer than the vendored yosyshq/abc that's in f39/rawhide), and maybe find the "landmine" :) | 20:21 |
| *** bjorkintosh <bjorkintosh!~bjork@2600:1700:5400:c80:aad1:858e:256d:4ce5> has joined #yosys | 20:32 | |
| tnt | pretty sure that not using the specific abc version specified in yosys is a NO NO. | 20:43 |
| somlo | tnt: it's been working great for several years, so there's that :) Besides, I feel this is a landmine worth defusing for if/when the "vendored" abc is updated/rebased to upstream | 20:52 |
| somlo | tnt: for context, yosyshq/abc is rather minimally divergent from (currently 50-something commits ahead, 28 commits behind) upstream, which to mee is a good sign that important changes are still being pushed | 20:55 |
| somlo | the alternative (completely fork it and stop tracking upstream) would be what would prompt me to give up and go with the "vendored" version, but that doesn't seem to be what's happening | 20:56 |
| somlo | but in that case, I'd expect a replacement or rewrite, rather than a mere (bit-rotting) fork :) | 20:57 |
| tnt | Well yosys updates their vendored in regularely ... but they also know what they're doing and what those patches they carry over are for and why they're there. | 20:58 |
| *** nonchip <[email protected]> has quit IRC (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) | 22:16 | |
| *** nonchip <[email protected]> has joined #yosys | 22:16 | |
| whitequark | somlo: packagers never seem to understand "this specific configuration is supported and others are not"... | 23:05 |
| whitequark | like if you're willing to become an expert in abc's quirks, godspeed, but if you aren't, then why are you expecting others to do the work you invented out of thin air for you? | 23:05 |
| somlo | whitequark: I may be mistaken, but it *seems* yosyshq/abci *is* after all tracking upstream abc in some sort of fashion. In that case, I found a potential issue y'all might be running into when rebasing at some future point (you're welcome, btw). I figured it's worth a quick question, but I'm happy to bisect the upstream commits that are *not* in yosyshq/abc and find which one is going to cause the problem :) | 23:28 |
| whitequark | it's more about getting bug reports and then discovering that the bug is caused by using an unsupported version of abc | 23:29 |
| whitequark | this is one of the reasons why Glasgow defaults to pulling Yosys+abc+nextpnr from https://yowasp.org instead of using the system one... | 23:30 |
| tpb | Title: YoWASP | Unofficial WebAssembly-based packages for Yosys, nextpnr, and more (at yowasp.org) | 23:30 |
| somlo | I'm actually hoping some brave soul will *properly* fork ABC and allow everyone to just switch to the *one true dependency* (instead of this balkanized proliferation of half-assed forks we have now, apparently ;P ) | 23:34 |
Generated by irclog2html.py 2.17.2 by Marius Gedminas - find it at https://mg.pov.lt/irclog2html/!