| *** tpb has joined #yosys | 00:00 | |
| dormito | anyone seen yosys-abc abort on certain inputs? | 00:29 |
|---|---|---|
| *** twnqx has quit IRC | 00:44 | |
| *** rohitksingh has quit IRC | 00:58 | |
| *** emeb_mac has joined #yosys | 01:09 | |
| *** dormito has quit IRC | 01:16 | |
| *** dormito has joined #yosys | 01:20 | |
| *** rohitksingh has joined #yosys | 01:34 | |
| *** emeb has quit IRC | 01:57 | |
| *** X-Scale` has joined #yosys | 02:07 | |
| *** X-Scale has quit IRC | 02:09 | |
| *** X-Scale` is now known as X-Scale | 02:09 | |
| *** voxadam has joined #yosys | 02:28 | |
| *** citypw_ has joined #yosys | 02:57 | |
| *** rohitksingh has quit IRC | 03:22 | |
| *** rohitksingh has joined #yosys | 03:27 | |
| *** X-Scale` has joined #yosys | 04:31 | |
| *** X-Scale has quit IRC | 04:32 | |
| *** X-Scale` is now known as X-Scale | 04:32 | |
| *** ZipCPU has joined #yosys | 04:38 | |
| *** emily has joined #yosys | 05:07 | |
| *** rohitksingh has quit IRC | 05:35 | |
| *** _whitelogger has quit IRC | 05:43 | |
| *** _whitelogger has joined #yosys | 05:45 | |
| *** N2TOH_ has joined #yosys | 06:08 | |
| *** N2TOH has quit IRC | 06:12 | |
| *** N2TOH has joined #yosys | 06:18 | |
| *** N2TOH_ has quit IRC | 06:21 | |
| *** phantomcircuit has quit IRC | 06:48 | |
| *** phantomcircuit has joined #yosys | 06:48 | |
| *** _whitelogger has quit IRC | 06:48 | |
| *** _whitelogger has joined #yosys | 06:51 | |
| *** emeb_mac has quit IRC | 06:54 | |
| *** az0re has joined #yosys | 06:57 | |
| *** rohitksingh has joined #yosys | 07:35 | |
| *** Jybz has joined #yosys | 08:08 | |
| *** dys has joined #yosys | 08:15 | |
| *** rohitksingh has quit IRC | 08:16 | |
| *** rohitksingh has joined #yosys | 08:28 | |
| *** rohitksingh has quit IRC | 08:34 | |
| *** dys has quit IRC | 08:39 | |
| *** dys has joined #yosys | 09:08 | |
| *** _whitelogger has quit IRC | 09:58 | |
| attie | dormito: yes, there's an upstream bug waiting to be fixed iirc | 09:59 |
| attie | https://github.com/YosysHQ/yosys/issues/1675 does it look like this? if so there's a workaround (remove lutpack from the abc script) | 10:00 |
| tpb | Title: ABC: execution of command "..." failed: return code 134. · Issue #1675 · YosysHQ/yosys · GitHub (at github.com) | 10:00 |
| dormito | attie: so I only found/started using yosys a couple week ago. But I tried bumping the ABC rev used to the head of the berkeley-abc repo, and the issue seems to have gone away (I only found two public repos the demonstraite th problem atm) | 10:00 |
| *** _whitelogger has joined #yosys | 10:00 | |
| attie | it might be fixed or it might still appear in different cases. this bug is one of those elusive ones that go away if you change one wire in your design | 10:03 |
| dormito | I can build project trellis's picorv32_versa5g, and the tinyFPGA BX bootloader. | 10:03 |
| dormito | I didn't change either design | 10:04 |
| daveshah | I can't see any obvious commits in abc that might fix the problem beyond the revision Yosys uses | 10:05 |
| dormito | and yeah. the issue seems to what I was running into | 10:05 |
| daveshah | Oh, actually, there is a "fix" that Yosys misses | 10:05 |
| daveshah | https://github.com/berkeley-abc/abc/commit/53f223806f1c570b62a180e0eb3aed3a974c1677 | 10:05 |
| tpb | Title: Temporary commenting out of the assertion. · berkeley-abc/abc@53f2238 · GitHub (at github.com) | 10:05 |
| dormito | lol, they just disable the assertion? | 10:06 |
| attie | hahaha | 10:06 |
| daveshah | yes, that appears to be it | 10:06 |
| attie | I guess that "works" | 10:06 |
| daveshah | I guess the Yosys abc version should be bumped anyway | 10:06 |
| dormito | I don't know jack about their code.... but it builds... so maybe it's correct?... one can hope | 10:06 |
| daveshah | abc does have quite a few assertions that are about optimality rather than correctness, and this looks like one of them | 10:07 |
| *** N2TOH has quit IRC | 10:29 | |
| *** N2TOH has joined #yosys | 10:40 | |
| *** _whitelogger has quit IRC | 11:01 | |
| *** _whitelogger has joined #yosys | 11:03 | |
| *** az0re has quit IRC | 12:04 | |
| *** twnqx has joined #yosys | 12:55 | |
| *** voxadam has quit IRC | 13:17 | |
| *** Jybz has quit IRC | 13:30 | |
| *** Jybz has joined #yosys | 13:31 | |
| *** ZipCPU has quit IRC | 15:19 | |
| *** citypw_ has quit IRC | 15:35 | |
| *** Jybz has quit IRC | 15:54 | |
| *** develonepi3 has joined #yosys | 15:57 | |
| *** Jybz has joined #yosys | 16:13 | |
| *** emeb has joined #yosys | 16:25 | |
| *** develonepi3 has quit IRC | 16:56 | |
| *** dys has quit IRC | 17:04 | |
| *** Jybz has quit IRC | 18:20 | |
| *** voxadam has joined #yosys | 19:03 | |
| *** twnqx has quit IRC | 19:23 | |
| *** dys has joined #yosys | 19:35 | |
| *** rohitksingh has joined #yosys | 19:49 | |
| *** awordnot has quit IRC | 20:01 | |
| *** awordnot has joined #yosys | 20:14 | |
| *** awordnot has quit IRC | 20:35 | |
| *** awordnot has joined #yosys | 20:51 | |
| *** awordnot has quit IRC | 20:57 | |
| *** awordnot has joined #yosys | 21:03 | |
| *** Sarayan has quit IRC | 21:13 | |
| *** Sarayan has joined #yosys | 21:14 | |
| *** awordnot has quit IRC | 21:58 | |
| *** awordnot has joined #yosys | 21:59 | |
| *** awordnot has quit IRC | 22:06 | |
| *** awordnot has joined #yosys | 22:07 | |
| *** awordnot has quit IRC | 22:26 | |
| *** awordnot has joined #yosys | 22:27 | |
| *** fevv8[m] has joined #yosys | 23:52 | |
Generated by irclog2html.py 2.13.1 by Marius Gedminas - find it at mg.pov.lt!