| *** tpb has joined #yosys | 00:00 | |
| *** emeb has quit IRC | 00:05 | |
| *** tux3 has quit IRC | 00:06 | |
| *** emeb_mac has joined #yosys | 00:19 | |
| *** craigo has quit IRC | 01:03 | |
| *** craigo has joined #yosys | 01:06 | |
| *** craigo has quit IRC | 01:06 | |
| *** tux3 has joined #yosys | 01:14 | |
| *** lambda has quit IRC | 01:31 | |
| *** lambda has joined #yosys | 02:00 | |
| *** az0re has quit IRC | 02:00 | |
| *** citypw has joined #yosys | 02:01 | |
| *** az0re has joined #yosys | 03:01 | |
| *** Degi has quit IRC | 03:12 | |
| *** Degi has joined #yosys | 03:12 | |
| *** oldtopman has quit IRC | 03:33 | |
| *** BinaryLust has quit IRC | 05:08 | |
| *** futarisIRCcloud has quit IRC | 05:45 | |
| *** emeb_mac has quit IRC | 05:47 | |
| *** BinaryLust has joined #yosys | 05:50 | |
| *** Kamilion has quit IRC | 06:25 | |
| *** forrestv has quit IRC | 06:26 | |
| *** X-Scale` has joined #yosys | 06:27 | |
| *** X-Scale has quit IRC | 06:29 | |
| *** X-Scale` is now known as X-Scale | 06:29 | |
| *** forrestv has joined #yosys | 06:30 | |
| *** kgugala has quit IRC | 06:31 | |
| *** Kamilion has joined #yosys | 06:35 | |
| *** kgugala_ has joined #yosys | 06:57 | |
| *** futarisIRCcloud has joined #yosys | 07:06 | |
| *** vidbina has joined #yosys | 07:25 | |
| *** Asu has joined #yosys | 07:37 | |
| *** jakobwenzel has joined #yosys | 08:22 | |
| *** jakobwenzel has quit IRC | 08:31 | |
| *** kraiskil_ has joined #yosys | 08:31 | |
| *** kgugala has joined #yosys | 08:35 | |
| *** kgugala_ has quit IRC | 08:36 | |
| *** kraiskil_ has quit IRC | 08:37 | |
| *** kraiskil_ has joined #yosys | 08:49 | |
| *** X-Scale` has joined #yosys | 09:04 | |
| *** X-Scale has quit IRC | 09:06 | |
| *** X-Scale` is now known as X-Scale | 09:06 | |
| *** BinaryLust has quit IRC | 09:59 | |
| *** proteusguy has quit IRC | 10:08 | |
| *** proteusguy has joined #yosys | 10:22 | |
| *** vidbina has quit IRC | 10:34 | |
| *** markus-k has quit IRC | 11:06 | |
| *** markus-k has joined #yosys | 11:10 | |
| *** Cerpin has quit IRC | 11:43 | |
| *** kgugala has quit IRC | 12:09 | |
| *** kgugala has joined #yosys | 12:09 | |
| *** X-Scale has quit IRC | 13:23 | |
| *** X-Scale` has joined #yosys | 13:24 | |
| *** X-Scale` is now known as X-Scale | 13:25 | |
| *** Laksen has joined #yosys | 13:32 | |
| somlo | has anyone encountered "ABC: malloc(): largebin double linked list corrupted (bk)" during an "8.48.18.4. Executing ABC9_EXE pass" ? | 13:58 |
|---|---|---|
| ZirconiumX | Report it as a bug | 14:00 |
| somlo | ZirconiumX: I'll need a bit of help before doing that -- I'm using ABCEXTERNAL (with abc git commit 97c826a from *today*); I wanted to re-run the test with abc commit fd2c9b1 as shown in the yosys Makefile's $ABCREV, but the weird thing is I can't find that commit in upstream ABC's git log | 14:06 |
| ZirconiumX | somlo: because "upstream ABC" is now YosysHQ/abc | 14:06 |
| ZirconiumX | https://github.com/YosysHQ/abc/commit/fd2c9b1c19216f6b756f88b18f5ca67b759ca128 | 14:07 |
| tpb | Title: Remove ABC_NO_RLIMIT macro, use defined(__wasm) instead. · YosysHQ/abc@fd2c9b1 · GitHub (at github.com) | 14:07 |
| somlo | hmmm... that's going to complicate packaging, but good to know | 14:08 |
| somlo | so on a scale from "bundling for convenience" to "full-on libreoffice vs. openoffice fork", where does yosyshq/abc stand, roughly speaking ? | 14:10 |
| whitequark | more former than latter | 14:10 |
| whitequark | abc had pull requests with no activity for years | 14:10 |
| whitequark | on top of being a pretty awful codebase to work with in first place | 14:10 |
| ZirconiumX | A lot of good ideas in there, but the only person who can understand Mishchenko's code seems to be Mishchenko himself | 14:12 |
| whitequark | yep | 14:13 |
| somlo | do you expect you'll still be tracking berkeley-abc? Right now I see 7 commits on top of berkeley, which is not too horrific. Is it still a goal to keep divergence to a minimum ? | 14:22 |
| whitequark | someone could submit the WASI patches on top of berkeley-abc | 14:27 |
| ZirconiumX | But whether they'd get merged is...another question | 14:28 |
| whitequark | yeah that's why i won't be the one doing it | 14:28 |
| ZirconiumX | It's possible - depending on what your packaging team thinks - to carry these patches on top of berkeley-abc/abc | 14:28 |
| ZirconiumX | I suppose WASI isn't as important to...Fedora, I think you're using? | 14:29 |
| somlo | ZirconiumX: that's what I was wondering -- carrying the patches on top of berkeley makes sense, as long as the set is likely to remain more or less bounded | 14:29 |
| whitequark | you don't even need them if you don't arget WASM | 14:29 |
| ZirconiumX | https://github.com/YosysHQ/abc/commit/f2316ab7c818c5d5519a12d34b17b4845521d3f2 | 14:30 |
| tpb | Title: Gia_ManDupPermFlop to behave as Gia_ManDupPerm · YosysHQ/abc@f2316ab · GitHub (at github.com) | 14:30 |
| ZirconiumX | On the other hand, this is necessary for Yosys | 14:30 |
| ZirconiumX | Because ABC has a bug in sequential synthesis | 14:30 |
| ZirconiumX | ... | 14:31 |
| ZirconiumX | https://github.com/berkeley-abc/abc/commit/fb8d13a1c50f3ff7f6975551bc55104600b7980f | 14:31 |
| tpb | Title: Merge pull request #65 from FPGeh/fix_seq_synth · berkeley-abc/abc@fb8d13a · GitHub (at github.com) | 14:31 |
| ZirconiumX | It got merged | 14:31 |
| somlo | yeah, I wasn't seeing it on the list of deltas between upstream and yosyshq/abc :) | 14:32 |
| ZirconiumX | Okay, so, it *should* work fine with upstream berkeley-abc/abc | 14:32 |
| ZirconiumX | But obviously the ABCREV should be changed | 14:32 |
| somlo | ok, so with yosys 8b074cc and upstream ABC I'm getting that ABC malloc error... Guess that's really on ABC, not yosys | 14:33 |
| ZirconiumX | Yep | 14:34 |
| somlo | ok, I'll file a bug against berkeley-abc, see what happens... Thanks for the the context and back-story on how the moving parts fit together :) | 14:36 |
| *** jfcaron has joined #yosys | 14:55 | |
| *** citypw has quit IRC | 15:02 | |
| somlo | https://github.com/berkeley-abc/abc/issues/84 | 15:03 |
| tpb | Title: double free or corruption error during yosys abc9 techmap pass · Issue #84 · berkeley-abc/abc · GitHub (at github.com) | 15:03 |
| az0re | ZirconiumX> A lot of good ideas in there, but the only person who can understand Mishchenko's code seems to be Mishchenko himself | 15:14 |
| az0re | Hah, true, although I've found him to be very helpful if you just ask | 15:14 |
| ZirconiumX | What's a code comment, anyway? | 15:15 |
| ZirconiumX | /s | 15:15 |
| sorear | a "code smell", I am told | 15:15 |
| qu1j0t3 | lol | 15:16 |
| ZirconiumX | I've often found that I've found the Venn diagram between people who believe code should be self-documenting and people who do not write self-documenting code to be a near-perfect circle | 15:19 |
| ZirconiumX | I will confess to having been in that circle at one point | 15:20 |
| qu1j0t3 | yeah i remember being about 16 and never writing comments | 15:23 |
| *** Cerpin has joined #yosys | 15:30 | |
| somlo | "if it was hard to write, it should, rightfully, be hard to understand", right? ;) | 16:08 |
| *** jakobwenzel has joined #yosys | 16:16 | |
| qu1j0t3 | eek. | 16:19 |
| qu1j0t3 | i first encountered that around 1982/3:) | 16:19 |
| qu1j0t3 | "Real Programmers don't eat quiche." | 16:19 |
| *** jakobwenzel has quit IRC | 16:45 | |
| *** jakobwenzel has joined #yosys | 16:48 | |
| *** Laksen has quit IRC | 16:54 | |
| *** jakobwenzel has quit IRC | 16:55 | |
| *** zkms has quit IRC | 17:13 | |
| *** zkms has joined #yosys | 17:13 | |
| *** BinaryLust has joined #yosys | 17:13 | |
| *** zkms has quit IRC | 17:14 | |
| *** zkms has joined #yosys | 17:15 | |
| *** kraiskil_ has quit IRC | 17:26 | |
| *** rlee287 has joined #yosys | 17:38 | |
| *** kraiskil_ has joined #yosys | 17:40 | |
| *** kraiskil_ has quit IRC | 18:02 | |
| *** zkms has quit IRC | 18:13 | |
| *** zkms has joined #yosys | 18:14 | |
| *** zkms has quit IRC | 18:16 | |
| *** smkz has joined #yosys | 18:34 | |
| *** BinaryLust has quit IRC | 19:12 | |
| *** vidbina has joined #yosys | 19:13 | |
| *** BinaryLust has joined #yosys | 19:21 | |
| *** Cerpin has quit IRC | 19:54 | |
| *** vidbina has quit IRC | 19:57 | |
| *** rlee287 has quit IRC | 20:04 | |
| *** kraiskil_ has joined #yosys | 20:09 | |
| *** Cerpin has joined #yosys | 20:16 | |
| *** kraiskil_ has quit IRC | 20:19 | |
| *** Asu has quit IRC | 20:29 | |
| *** Asuu has joined #yosys | 20:29 | |
| *** BinaryLust has quit IRC | 20:53 | |
| *** jakobwenzel has joined #yosys | 20:58 | |
| *** jakobwenzel has quit IRC | 21:07 | |
| *** emeb has joined #yosys | 21:17 | |
| *** proteusguy has quit IRC | 21:31 | |
| *** proteusguy has joined #yosys | 21:43 | |
| *** jfcaron has quit IRC | 22:00 | |
| *** smkz has quit IRC | 22:45 | |
| *** smkz has joined #yosys | 22:46 | |
| *** Asuu has quit IRC | 23:19 | |
| *** BinaryLust has joined #yosys | 23:40 | |
| *** emeb has quit IRC | 23:47 | |
| *** emeb_mac has joined #yosys | 23:59 | |
Generated by irclog2html.py 2.17.2 by Marius Gedminas - find it at https://mg.pov.lt/irclog2html/!